1894 search results - page 327 / 379 » A TLA Proof System |
127
Voted
NDSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The Border Gateway Protocol (BGP), which is used to distribute routing information between autonomous systems, is an important component of the Internet’s routing infrastructure...
138
Voted
SC
2000
ACM
15 years 8 months ago
2000
ACM
This paper investigates the performance implications of data placement in OpenMP programs running on modern ccNUMA multiprocessors. Data locality and minimization of the rate of r...
134
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
The RAIN (Reliable Array of Independent Nodes) project at Caltech is focusing on creating highly reliable distributed systems by leveraging commercially available personal compute...
129
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
The RAIN (Reliable Array of Independent Nodes) project at Caltech is focusing on creating highly reliable distributed systems by leveraging commercially available personal compute...
142
Voted
CAV
1998
Springer
15 years 8 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...