Výsledky vyhledávání - theory of computation: models of computation: (timed OR time) and hybrid models

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

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

Uppaal SMC tutorial Autor 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…”
Získat plný text

HpC: A Calculus for Hybrid and Mobile Systems Autor 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…”
Získat plný text

Bounded model checking of signal temporal logic properties using syntactic separation Autor 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…”
Získat plný text

A Hybrid Parallel Processing Strategy for Large-Scale DEA Computation Autor 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…”
Získat plný text

A Hybrid Model for Fast and Probabilistic Urban Pluvial Flood Prediction Autor 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…”
Získat plný text

Deep-learning model using hybrid adaptive trend estimated series for modelling and forecasting sales Autor 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…”
Získat plný text

High-dimensional Feature Selection for Power System Congestion Event Prognosis with Enhanced Evolutionary Computation Autor 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…”
Získat plný text

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 Autor 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…”
Získat plný text

Multi-objective genetic algorithm for energy-efficient hybrid flow shop scheduling with lot streaming Autor 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…”
Získat plný text

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach Autor 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…”
Získat plný text

A survey of decision making methods based on two classes of hybrid soft set models Autor 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…”
Získat plný text

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

“… (DO) model for the electronic polarizability of the MM atoms with the generalized solvent boundary Potential (GSBP…”
Zjistit podrobnosti o přístupu

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets Autor 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…”
Získat plný text

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

“…This paper tackles the challenges of computation offloading in the cloud–edge paradigm. Although many solutions exist for enhancing…”
Získat plný text

H2Pregel : A partition-based hybrid hierarchical graph computation approach Autor 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…”
Získat plný text

Time for Networks: Mutation Testing for Timed Automata Networks Autor 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…”
Získat plný text

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

“…) hybrid forecasting model of SHM is constructed by integrating a component forecasting model…”
Získat plný text

Splitwise: Efficient Generative LLM Inference Using Phase Splitting Autor 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…”
Získat plný text

Multi-objective solid transportation-location problem with variable carbon emission in inventory management: a hybrid approach Autor 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…”
Získat plný text