1972 search results - page 54 / 395 » The Timed Asynchronous Distributed System Model |
CCGRID
2011
IEEE
2011
IEEE
Network-Friendly One-Sided Communication through Multinode Cooperation on Petascale Cray XT5 Systems
12 years 11 months ago
—One-sided communication is important to enable asynchronous communication and data movement for Global Address Space (GAS) programming models. Such communication is typically re...
CONCUR
2001
Springer
14 years 7 days ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
ERSHOV
2003
Springer
14 years 29 days ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
PODC
1998
ACM
13 years 12 months ago
1998
ACM
ÐIn this paper, we explore techniques to detect Byzantine server failures in asynchronous replicated data services. Our goal is to detect arbitrary failures of data servers in a s...
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...