1154 search results - page 125 / 231 » Mathematizing C concurrency |
DAGSTUHL
2004
13 years 10 months ago
2004
A well-studied problem in fault diagnosis is to identify the set of all good processors in a given set {p1, p2, . . . , pn} of processors via asking some processors pi to test whet...
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
C5
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a framework that we are developing to better solve several critical issues that arise when interactive systems are extended to large displays. These issues include slow...
MM
2006
ACM
14 years 3 months ago
2006
ACM
Periodic broadcast protocols enable the efficient streaming of highly popular media files to large numbers of concurrent clients. Most previous periodic broadcast protocols, howe...