352 search results - page 29 / 71 » Proof-Checking a Data Link Protocol |
HPCA
2000
IEEE
14 years 27 days ago
2000
IEEE
Efficiency of synchronization mechanisms can limit the parallel performance of many shared-memory applications. In addition, the ever increasing performance gap between processor...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
—Aviation is currently in the process of adopting IP as the network protocol for the Aeronautical Telecommunication Network (ATN), considering the fact that future communication ...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Replication combined with explicit management of data integrity constraints can be used to enhance availability of object-oriented, data-centric distributed systems when node and ...
CORR
1998
Springer
13 years 8 months ago
1998
Springer
Abstract In this paper we describe a hands-on laboratory oriented instructional package that we have developed for data communications and networking. The package consists of a sof...
BCS
2008
13 years 10 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...