3521 search results - page 631 / 705 » Algorithmic Control in Concurrent Computations |
117
click to vote
ANSS
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
125
Voted
VLSID
2005
IEEE
15 years 8 months ago
2005
IEEE
During pseudorandom testing, a significant amount of energy and test application time is wasted for generating and for applying “useless” test vectors that do not contribute t...
SIGCOMM
2005
ACM
15 years 8 months ago
2005
ACM
Large-scale distributed systems are hard to deploy, and distributed hash tables (DHTs) are no exception. To lower the barriers facing DHT-based applications, we have created a pub...
113
click to vote
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
101
click to vote
ESA
2005
Springer
15 years 8 months ago
2005
Springer
Chord is a distributed hash table (DHT) that requires only O(logn) links per node and performs searches with latency and message cost O(logn), where n is the number of peers in the...