1833 search results - page 93 / 367 » Mechanized Verification with Sharing |
108
click to vote
ISPA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Wireless Sensor Networks are edging closer to widespread feasibility with recent research showing promising results in developing and adapting new mechanisms to suit thei...
113
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
—A novel scheme for processing packets in a router is presented that provides load sharing among multiple network processors distributed within the router. It is complemented by ...
130
Voted
ISCA
2002
IEEE
15 years 5 months ago
2002
IEEE
We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At...
102
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
The Simultaneous Optical Multiprocessor Exchange Bus (SOME-Bus) is a low-latency, high-bandwidth interconnection network which directly links arbitrary pairs of processor nodes wit...
100
Voted
PACT
1997
Springer
15 years 5 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...