Simulation Algorithms for Symbolic Automata

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-01090-4_7 ◽

2018 ◽

pp. 109-125 ◽

Author(s):

Lukáš Holík ◽

Ondřej Lengál ◽

Juraj Síč ◽

Margus Veanes ◽

Tomáš Vojnar

Keyword(s):

Simulation Algorithms ◽

Symbolic Automata

Download Full-text

The Simulation Algorithms Based on RL and SFM in Emergency Evacuation

2021 IEEE 6th International Conference on Cloud Computing and Big Data Analytics (ICCCBDA) ◽

10.1109/icccbda51879.2021.9442521 ◽

2021 ◽

Author(s):

Zhenpeng An ◽

Fang Xu ◽

Di Zhang ◽

Ao Xing ◽

Shufeng Yang ◽

...

Keyword(s):

Emergency Evacuation ◽

Simulation Algorithms

Download Full-text

Electromagnetic Transient Simulation Algorithms for Evaluation of Large-Scale Extreme Fast Charging Systems (Distribution Grid Models)

2021 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT) ◽

10.1109/isgt49243.2021.9372222 ◽

2021 ◽

Author(s):

Suman Debnath ◽

Jongchan Choi

Keyword(s):

Large Scale ◽

Transient Simulation ◽

Distribution Grid ◽

Electromagnetic Transient ◽

Fast Charging ◽

Electromagnetic Transient Simulation ◽

Simulation Algorithms

Download Full-text

Abstract Symbolic Automata

ACM SIGPLAN Notices ◽

10.1145/2775051.2676986 ◽

2015 ◽

Vol 50 (1) ◽

pp. 329-341 ◽

Author(s):

Mila Dalla Preda ◽

Roberto Giacobazzi ◽

Arun Lakhotia ◽

Isabella Mastroeni

Keyword(s):

Symbolic Automata

Download Full-text

Recent developments in fermion simulation algorithms

Nuclear Physics B - Proceedings Supplements ◽

10.1016/s0920-5632(96)00606-8 ◽

1997 ◽

Vol 53 (1-3) ◽

pp. 127-133 ◽

Author(s):

K. Jansen

Keyword(s):

Recent Developments ◽

Simulation Algorithms

Download Full-text

Statistical tests for validating geostatistical simulation algorithms

Computers & Geosciences ◽

10.1016/j.cageo.2007.12.012 ◽

2008 ◽

Vol 34 (11) ◽

pp. 1610-1620 ◽

Author(s):

Xavier Emery

Keyword(s):

Statistical Tests ◽

Geostatistical Simulation ◽

Simulation Algorithms

Download Full-text

Off-lattice simulation algorithms for athermal chain molecules under extreme confinement

Journal of Computational Physics ◽

10.1016/j.jcp.2018.08.052 ◽

2018 ◽

Vol 375 ◽

pp. 918-934 ◽

Author(s):

Pablo Miguel Ramos ◽

Nikos Ch. Karayiannis ◽

Manuel Laso

Keyword(s):

Lattice Simulation ◽

Chain Molecules ◽

Simulation Algorithms

Download Full-text

Learning Symbolic Automata

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54577-5_10 ◽

2017 ◽

pp. 173-189 ◽

Author(s):

Samuel Drews ◽

Loris D’Antoni

Keyword(s):

Symbolic Automata

Download Full-text

Efficient Fault Simulation Algorithms for Analyzing Soft Error Propagation in Sequential Circuits

IPSJ Transactions on System LSI Design Methodology ◽

10.2197/ipsjtsldm.6.127 ◽

2013 ◽

Vol 6 (0) ◽

pp. 127-134 ◽

Author(s):

Taiga Takata ◽

Masayoshi Yoshimura ◽

Yusuke Matsunaga

Keyword(s):

Error Propagation ◽

Fault Simulation ◽

Sequential Circuits ◽

Simulation Algorithms

Download Full-text

Stabilized multi-domain simulation algorithms and their application in simulation platform for forging manipulator

Chinese Journal of Mechanical Engineering ◽

10.3901/cjme.2014.01.092 ◽

2014 ◽

Vol 27 (1) ◽

pp. 92-102 ◽

Author(s):

Shunzhou Huang ◽

Yong Zhao ◽

Hao Wang ◽

Zhongqin Lin

Keyword(s):

Simulation Platform ◽

Simulation Algorithms ◽

Forging Manipulator

Download Full-text

OPTIMIZED SIMULATION ALGORITHMS FOR FRACTAL GENERATION AND ANALYSIS

Progress In Electromagnetics Research M ◽

10.2528/pierm10012610 ◽

2010 ◽

Vol 11 ◽

pp. 225-240 ◽

Author(s):

Bruno Camps-Raga ◽

Naz E. Islam

Keyword(s):

Simulation Algorithms

Download Full-text