5171 search results - page 504 / 1035 » Deterministic Parallel Processing |
145
click to vote
RTCSA
1999
IEEE
15 years 9 months ago
1999
IEEE
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...
156
click to vote
ICDCS
1997
IEEE
15 years 9 months ago
1997
IEEE
A secure reliable multicast protocol enables a process to send a message to a group of recipients such that all correct destinations receive the same message, despite the maliciou...
112
Voted
IPPS
1997
IEEE
15 years 9 months ago
1997
IEEE
Gossiping is an information dissemination process in which each processor has a distinct item of information and has to collect all the items possessed by the other processors. In...
138
click to vote
TACAS
1997
Springer
15 years 9 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
158
click to vote
IPPS
1994
IEEE
15 years 8 months ago
1994
IEEE
Synchronization primitives for large shared-memory multiprocessors need to minimize latency and contention. Software queue-based locks address these goals, but suffer if a process...