1362 search results - page 100 / 273 » Model Checking Large Network Protocol Implementations |
142
Voted
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
164
Voted
MOBICOM
2006
ACM
15 years 9 months ago
2006
ACM
Wireless sensor networks are tightly associated with the underlying environment in which the sensors are deployed. The global topology of the network is of great importance to bot...
114
Voted
WDAG
2005
Springer
15 years 9 months ago
2005
Springer
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
132
click to vote
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Applications using multicast service discovery protocols, such as iTunes, have become increasingly popular. However, multicast service discovery protocols generate signif...
165
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we investigate protocols for scheduling applications that consist of large numbers of identical, independent tasks on large-scale computing platforms. By imposing a ...