1362 search results - page 70 / 273 » Model Checking Large Network Protocol Implementations |
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Growing on-chip wire delays will cause many future microarchitectures to be distributed, in which hardware resources within a single processor become nodes on one or more switched...
147
click to vote
AINA
2006
IEEE
15 years 7 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
138
click to vote
ISADS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper discusses measures to make a distributed system based on the Time-Triggered Architecture resistant to arbitrary node failures. To achieve this, the presented approach i...
172
click to vote
FORTE
2011
14 years 7 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
139
click to vote
COLCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Networked virtual environments (NVE) refer to the category of distributed applications that allow a large number of distributed users to interact with one or more central servers i...