Suchergebnisse - theory of computation: models of computation: (timed OR time) and hybrid models

What’s decidable about parametric timed automata? von André, Étienne

“… Parametric timed automata (PTAs) are a powerful formalism to reason, simulate and formally verify critical real-time systems. After 25 …”
Volltext

Uppaal SMC tutorial von David, Alexandre, Larsen, Kim G., Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted

“… This tutorial paper surveys the main features of Uppaal  SMC, a model checking approach in Uppaal family that allows us to reason on networks of complex real-timed systems with a stochastic semantic …”
Volltext

HpC: A Calculus for Hybrid and Mobile Systems von Xu, Xiong, Talpin, Jean-Pierre, Wang, Shuling, Wu, Hao, Zhan, Bohua, Liu, Xinxin, Zhan, Naijun

“… (discrete computations with predominant continuous dynamics). In the aim of ensuring the correctness and reliability of such heterogeneous infrastructures, we introduce the hybrid π-calculus (HpC …”
Volltext

Bounded model checking of signal temporal logic properties using syntactic separation von Bae, Kyungmin, Lee, Jia

“… This paper presents a new symbolic model checking algorithm for CPS programs that is refutationally complete for general STL properties of bounded signals …”
Volltext

A Hybrid Parallel Processing Strategy for Large-Scale DEA Computation von Chang, Shengqing, Ding, Jingjing, Feng, Chenpeng, Wang, Ruifeng

“… So far, various strategies have been proposed in academia to accelerate the DEA computation, including DEA algorithms such as hierarchical decomposition (HD …”
Volltext

A Hybrid Model for Fast and Probabilistic Urban Pluvial Flood Prediction von Li, Xiaohan, Willems, Patrick

“… ‐time urban flood nowcasting. Aiming at meeting the needs of fast and probabilistic flood modeling, a new hybrid modeling method integrating a suite of lumped hydrological models and logistic regression is proposed …”
Volltext

Deep-learning model using hybrid adaptive trend estimated series for modelling and forecasting sales von Efat, Md. Iftekharul Alam, Hajek, Petr, Abedin, Mohammad Zoynul, Azad, Rahat Uddin, Jaber, Md. Al, Aditya, Shuvra, Hassan, Mohammad Kabir

“… The proposed hybrid model is equipped with a feature-extraction component that automatically detects the patterns and trends in time-series, which makes …”
Volltext

High-dimensional Feature Selection for Power System Congestion Event Prognosis with Enhanced Evolutionary Computation von Xu, J., Jiang, X. X., Liao, S. Y., Ke, D. P., Sun, Y. Z., Yao, L. Z.

“… Power system congestion event prognosis (CEP) based on multivariate time series (MTS) learning is an effective way to improve the warning abilities against risky situations …”
Volltext

Development of a 3D Hybrid Finite-Discrete Element Simulator Based on GPGPU-Parallelized Computation for Modelling Rock Fracturing Under Quasi-Static and Dynamic Loading Conditions von Fukuda, Daisuke, Mohammadnejad, Mojtaba, Liu, Hongyuan, Zhang, Qianbing, Zhao, Jian, Dehkhoda, Sevda, Chan, Andrew, Kodama, Jun-ichi, Fujii, Yoshiaki

“… ) code. The theory and algorithm of the GPGPU-parallelized 3D Y-HFDEM IDE code are first introduced by focusing on the implementation of the contact detection algorithm, which is different from that in …”
Volltext

Multi-objective genetic algorithm for energy-efficient hybrid flow shop scheduling with lot streaming von Chen, Tzu-Li, Cheng, Chen-Yang, Chou, Yi-Han

“… Hybrid flow shop scheduling problems are encountered in many real-world manufacturing operations such as computer assembly, TFT-LCD module assembly, and solar cell manufacturing …”
Volltext

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach von Sitek, Pawel, Wikarek, Jarosław

“… The paper presents an optimization model and its implementation using a hybrid approach for the Capacitated Vehicle Routing Problem with Pick-up and Alternative Delivery (CVRPPAD …”
Volltext

A survey of decision making methods based on two classes of hybrid soft set models von Ma, Xueling, Zhan, Jianming, Ali, Muhammad Irfan, Mehmood, Nayyar

“… To the best of our knowledge, the tool of soft set theory is a new efficacious technique to dispose uncertainties and it focuses on the parameterization, while fuzzy set theory emphasizes the truth …”
Volltext

Solvent Boundary Potentials for Hybrid QM/MM Computations Using Classical Drude Oscillators: A Fully Polarizable Model von Boulanger, Eliot, Thiel, Walter

“… (DO) model for the electronic polarizability of the MM atoms with the generalized solvent boundary Potential (GSBP …”
Weitere Angaben

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets von Motallebi, Hassan, Azgomi, Mohammad Abdollahi

“… the execution and firing of transitions and some modeling facilities for describing some repeatedly encountered aspects of timed and hybrid systems …”
Volltext

Failure-aware resource provisioning for hybrid computation offloading in cloud-assisted edge computing using gravity reference approach von Khaleel, Mustafa Ibrahim

“… This paper tackles the challenges of computation offloading in the cloud–edge paradigm. Although many solutions exist for enhancing …”
Volltext

H2Pregel : A partition-based hybrid hierarchical graph computation approach von Liu, Qiang, Dong, XiaoShe, Chen, Heng, Zhang, Xingjun

“… A partition-based hybrid hierarchical graph computation approach, called H2Pregel is proposed to address the redundant supersteps and inefficient computation problems due to low access locality …”
Volltext

Time for Networks: Mutation Testing for Timed Automata Networks von Cortes, David, Ortiz, James, Basile, Davide, Aranda, Jesus, Perrouin, Gilles, Schobbens, Pierre-Yves

“… Mutation operators and frameworks exist for a variety of programming languages, and model-based mutation testing is gaining traction, particularly for timed safety-critical systems …”
Volltext

A ship motion forecasting approach based on empirical mode decomposition method hybrid deep learning network and quantum butterfly optimization algorithm von Li, Ming-Wei, Xu, Dong-Yang, Geng, Jing, Hong, Wei-Chiang

“… ) hybrid forecasting model of SHM is constructed by integrating a component forecasting model …”
Volltext

Splitwise: Efficient Generative LLM Inference Using Phase Splitting von Patel, Pratyush, Choukse, Esha, Zhang, Chaojie, Shah, Aashaka, Goiri, Inigo, Maleki, Saeed, Bianchini, Ricardo

“… Generative large language model (LLM) applications are growing rapidly, leading to large-scale deployments of expensive and power-hungry GPUs …”
Volltext

Multi-objective solid transportation-location problem with variable carbon emission in inventory management: a hybrid approach von Das, Soumen Kumar, Pervin, Magfura, Roy, Sankar Kumar, Weber, Gerhard Wilhelm

“… The most important strategic issue for several industries is where to find facilities so as to discover a transportation path for optimizing the objectives at the same time …”
Volltext