On the proof of correctness of `yet another asynchronous distributed discrete event simulation algorithm (YADDES)'

被引：0

|

作者：

Arizona State Univ, Tempe, United States ^{[1
]}

机构：

来源：

IEEE Trans Syst Man Cybern Pt A Syst Humans | / 1卷 / 68-80期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] On the proof of correctness of ''yet another asynchronous distributed discrete event simulation algorithm (YADDES)''
Ghosh, S
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1996, 26 (01): : 68 - 80
[2] YADDES. A novel algorithm for deadlock-free distributed discrete-event simulation
Ghosh, Sumi
Debenedictis, Erik
Yu, Meng-Lin
International Journal in Computer Simulation, 1995, 5 (01):
[3] THE YADDES DISTRIBUTED DISCRETE EVENT SIMULATION SPECIFICATION LANGUAGE AND EXECUTION ENVIRONMENTS
PREISS, BR
DISTRIBUTED SIMULATION, 1989, 1989, 21 : 139 - 144
[4] The chaos game revisited: Yet another, but a trivial proof of the algorithm's correctness
Martyn, Tomasz
APPLIED MATHEMATICS LETTERS, 2012, 25 (02) : 206 - 208
[5] AN ASSERTIONAL CORRECTNESS PROOF OF A DISTRIBUTED ALGORITHM
LAMPORT, L
SCIENCE OF COMPUTER PROGRAMMING, 1982, 2 (03) : 175 - 206
[6] A NOVEL ALGORITHM FOR DISCRETE-EVENT SIMULATION - ASYNCHRONOUS DISTRIBUTED DISCRETE-EVENT SIMULATION ALGORITHM FOR CYCLIC CIRCUITS USING A DATA-FLOW NETWORK
DEBENEDICTIS, E
GHOSH, S
YU, ML
COMPUTER, 1991, 24 (06) : 21 - 33
[7] Asynchronous parallel discrete event simulation
Lin, YB
Fishwick, PA
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1996, 26 (04): : 397 - 412
[8] Distributed and asynchronous discrete event systems diagnosis
Benveniste, A
Haar, S
Fabre, E
Jard, C
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 3742 - 3747
[9] An adaptive partitioning algorithm for distributed discrete event simulation systems
Boukerche, A
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2002, 62 (09) : 1454 - 1475
[10] Yet another approach to compositional synthesis of discrete event systems
Malik, Robi
Flordal, Hugo
WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 16 - +

← 1 2 3 4 5 →