Keyword : determinism


DRDet: Efficiently Making Data Races Deterministic
Chen CHEN Kai LU Xiaoping WANG Xu ZHOU Zhendong WU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/10/01
Vol. E97-D  No. 10 ; pp. 2676-2684
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
determinismdata-race detectionalias analysisstatic analysis
 Summary | Full Text:PDF(1.1MB)

Deterministic Message Passing for Distributed Parallel Computing
Xu ZHOU Kai LU Xiaoping WANG Wenzhe ZHANG Kai ZHANG Xu LI Gen LI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/05/01
Vol. E96-D  No. 5 ; pp. 1068-1077
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
determinismmessage-passingdebuggingdistributed computing
 Summary | Full Text:PDF(868.9KB)

Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time
Tsunehiro YOSHINAGA Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/05/01
Vol. E86-A  No. 5 ; pp. 1207-1212
Type of Manuscript:  Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
determinismnondeterminismself-verifying nondeterminismLas Vegasmulti-counter automata
 Summary | Full Text:PDF(183.8KB)

Self-Verifying Nondeterministic and Las Vegas Multihead Finite Automata
Katsushi INOUE Yasunori TANAKA Akira ITO Yue WANG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/05/01
Vol. E84-A  No. 5 ; pp. 1094-1101
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
determinismself-verifying nondeterminismLas Vegas(simple) multihead finite automata
 Summary | Full Text:PDF(253.2KB)