Sciweavers

2681 search results - page 31 / 537
» Topics in asynchronous systems
Sort
View
PRDC
2002
IEEE
14 years 1 months ago
Asynchronous Active Replication in Three-Tier Distributed Systems
Roberto Baldoni, Carlo Marchetti, Sara Tucci Pierg...
CAV
2000
Springer
94views Hardware» more  CAV 2000»
14 years 1 months ago
IF: A Validation Environment for Timed Asynchronous Systems
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu...
ISCAS
1999
IEEE
142views Hardware» more  ISCAS 1999»
14 years 28 days ago
Behavioral synthesis of asynchronous systems: a methodology
J. O. Dedou, Daniel Chillet, Olivier Sentieys
ICECCS
1996
IEEE
92views Hardware» more  ICECCS 1996»
14 years 25 days ago
Interactive Consistency in Quasi-Asynchronous Systems
André Postma, Thijs Krol