393 search results - page 31 / 79 » FIFO Communication Models in Operating Systems for Reconfigu... |
FORTE
2008
13 years 10 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
PODC
1990
ACM
14 years 21 days ago
1990
ACM
Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual exclusion protocol for tree structured systems. T...
DFG
2004
Springer
14 years 12 days ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
P2P
2006
IEEE
14 years 2 months ago
2006
IEEE
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
CCGRID
2003
IEEE
14 years 9 days ago
2003
IEEE
Interprocess communication (IPC) is ubiquitous in today's computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the Syst...