2643 search results - page 103 / 529 » Higher order messaging |
142
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message p...
144
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
116
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Communication latencies have been identified as one of the performance limiting factors of message passing applications in clusters of workstations/multiprocessors. On the receiver...
141
click to vote
CRYPTO
2000
Springer
15 years 8 months ago
2000
Springer
In order to avoid birthday attacks on message authentication schemes, it has been suggested that one add randomness to the scheme. One must be careful about how randomness is added...
111
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
We investigate a new fault ordering heuristic for test generation in full-scan circuits. The heuristic is referred to as the accidental detection index. It associates a value ADI ...