Výsledky vyhľadávania - 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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…”
Zistit podrobnosti o prístupe

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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text