717 search results - page 46 / 144 » Kill-safe synchronization abstractions |
123
click to vote
PERVASIVE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Researchers have recently demonstrated display positioning using optical sensors in conjunction with temporally-coded patterns of projected light. This paper extends that...
152
Voted
FASE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
135
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz’ Time-Triggered Architectures (TTA) have been proposed as...
179
Voted
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
163
click to vote
LCPC
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. Loop fusion is a program transformation that merges multiple loops into one. It is e ective for reducing the synchronization overhead of parallel loops and for improving ...