5374 search results - page 736 / 1075 » The induction of communication protocols |
194
click to vote
ICS
1998
Tsinghua U.
15 years 11 months ago
1998
Tsinghua U.
In this paper we propose the OPTNET, a novel optical network and associated coherence protocol for scalable multiprocessors. The network divides its channels into broadcast and po...
234
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
198
Voted
HPCA
1996
IEEE
15 years 11 months ago
1996
IEEE
Shared virtual memory is a software technique to provide shared memory on a network of computers without special hardware support. Although several relaxed consistency models and ...
198
click to vote
SRDS
1996
IEEE
15 years 11 months ago
1996
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementationsof virtual synchrony usually require...
242
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Wireless sensor nodes lack hardware support for tamperresistance and are often deployed in unattended environments, thus leaving them vulnerable to capture and compromise by an ad...