393 search results - page 21 / 79 » FIFO Communication Models in Operating Systems for Reconfigu... |
TAAS
2008
13 years 8 months ago
2008
characterization of indulgence in an abstract computing model that encompasses various communication and resilience schemes. We use our characterization to establish several result...
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
Self-calibrating designs are gaining momentum in both the computation and communication worlds. Instead of relying on the worst-case characterisation of design parameters, self-ca...
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
ICPP
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe a generic programming model to design collective communications on SMP clusters. The programming model utilizes shared memory for collective communications and overlap...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...