Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232931 ◽

2020 ◽

Author(s):

George Ungureanu ◽

Rodolfo Jordao ◽

Ingo Sander

Keyword(s):

Parallel Simulation ◽

Timed Systems ◽

Dataflow Models

Download Full-text

ACSL as a Parallel Simulation Language

10.21236/ada395503 ◽

1990 ◽

Author(s):

Thomas R. Collins

Keyword(s):

Parallel Simulation ◽

Simulation Language

Download Full-text

Restructuring a parallel simulation to improve cache behavior in a shared-memory multiprocessor

ACM SIGSIM Simulation Digest ◽

10.1145/174134.158480 ◽

1993 ◽

Vol 23 (1) ◽

pp. 159-162

Author(s):

David R. Cheriton ◽

Hendrik A. Goosen ◽

Hugh Holbrook ◽

Philip Machanick

Keyword(s):

Shared Memory ◽

Parallel Simulation ◽

Shared Memory Multiprocessor

Download Full-text

High order Envelope Following method for parallel simulation of Power Converter circuits

2014 IEEE 23rd Conference on Electrical Performance of Electronic Packaging and Systems ◽

10.1109/epeps.2014.7103599 ◽

2014 ◽

Author(s):

Mina Farhan ◽

Emad Gad ◽

Michel Nakhla ◽

Ram Achar

Keyword(s):

Power Converter ◽

Parallel Simulation ◽

Download Full-text

Evaluation of bi-Pass for Parallel Simulation Optimization

2020 Winter Simulation Conference (WSC) ◽

10.1109/wsc48552.2020.9384116 ◽

2020 ◽

Author(s):

Linda Pei ◽

Barry L. Nelson ◽

Susan R. Hunter

Keyword(s):

Simulation Optimization ◽

Parallel Simulation

Download Full-text

Parallel simulation of time-domain acoustic wave propagation

2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) ◽

10.23919/mipro.2019.8756946 ◽

2019 ◽

Author(s):

Jure Mocnik - Berljavac ◽

Jure Slak ◽

Gregor Kosec

Keyword(s):

Wave Propagation ◽

Acoustic Wave ◽

Time Domain ◽

Parallel Simulation ◽

Acoustic Wave Propagation

Download Full-text

Parallel Simulation of Resistive Random Access Memory with Hexahedral Elements

2020 IEEE MTT-S International Conference on Numerical Electromagnetic and Multiphysics Modeling and Optimization (NEMO) ◽

10.1109/nemo49486.2020.9343644 ◽

2020 ◽

Author(s):

Tan-Yi Li ◽

Wenchao Chen ◽

Da-Wei Wang ◽

Qiwei Zhan ◽

Guangrong Li ◽

...

Keyword(s):

Random Access ◽

Random Access Memory ◽

Resistive Random Access Memory ◽

Parallel Simulation ◽

Access Memory ◽

Hexahedral Elements

Download Full-text

Large-scale TCP models using optimistic parallel simulation

Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings. ◽

10.1109/pads.2003.1207431 ◽

2004 ◽

Author(s):

G. Yaun ◽

C.D. Carothers ◽

Shivkumar Kalyanaraman

Keyword(s):

Large Scale ◽

Parallel Simulation

Download Full-text

A Symbolic Decision Procedure for Robust Safety of Timed Systems

14th International Symposium on Temporal Representation and Reasoning (TIME'07) ◽

10.1109/time.2007.39 ◽

2007 ◽

Author(s):

Mani Swaminathan ◽

Martin Franzle

Keyword(s):

Decision Procedure ◽

Download Full-text

Commentary—A Survival Guide for Parallel Simulation

INFORMS Journal on Computing ◽

10.1287/ijoc.5.3.234 ◽

1993 ◽

Vol 5 (3) ◽

pp. 234-235 ◽

Author(s):

Rajive Bagrodia

Keyword(s):

Parallel Simulation

Download Full-text

Parallel Simulation of Pore Networks Using Multicore CPUs

IEEE Transactions on Computers ◽

10.1109/tc.2012.197 ◽

2014 ◽

Vol 63 (6) ◽

pp. 1513-1525 ◽

Author(s):

J. Matadamas-Hernandez ◽

G. Roman-Alonso ◽

F. Rojas-Gonzalez ◽

M.A. Castro-Garcia ◽

Azzedine Boukerche ◽

...

Keyword(s):

Parallel Simulation ◽

Pore Networks ◽

Download Full-text