2530 search results - page 153 / 506 » Dynamic topological logic |
117
Voted
SLIP
2009
ACM
15 years 10 months ago
2009
ACM
The present paper is part of a larger effort to redesign, from the ground up, the best possible interconnect topologies for switchless multiprocessor computer systems. We focus he...
129
click to vote
PODC
2003
ACM
15 years 9 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
120
Voted
VR
1993
IEEE
15 years 7 months ago
1993
IEEE
Existing network management systems typically use a combination of textual displays and 2D directed graph representations of network topology. We are designing a network managemen...
119
click to vote
JSAC
2006
15 years 3 months ago
2006
Abstract-- Information about the topology and link-level characteristics of a network is critical for many applications including network diagnostics and management. However, this ...
117
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...