1814 search results - page 166 / 363 » D-Stampede: Distributed Programming System for Ubiquitous Co... |
ICA3PP
2005
Springer
14 years 4 months ago
2005
Springer
Shared Memory is an interesting communication paradigm for SMP machines and clusters. Weak consistency models have been proposed to improve efficiency of shared memory applications...
IAT
2010
IEEE
13 years 8 months ago
2010
IEEE
Distributed load managers exhibit thrashing where tasks are repeatedly moved between locations due to incomplete global load information. This paper shows that systems of Autonomou...
EMSOFT
2009
Springer
14 years 5 months ago
2009
Springer
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
EUROPAR
2004
Springer
14 years 2 months ago
2004
Springer
Measurement-based profiling introduces intrusion in program execution. Intrusion effects can be mitigated by compensating for measurement overhead. Techniques for compensation anal...