1227 search results - page 108 / 246 » A Programming Model for Time-Synchronized Distributed Real-T... |
150
Voted
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we study the problem of allocating end-toend bandwidth to each of multiple traffic flows in a largescale network. We adopt the QoS-based Resource Allocation Model...
144
click to vote
RTAS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
184
click to vote
GRAPHICSINTERFACE
2004
15 years 6 months ago
2004
In this paper, a novel hybrid algorithm is presented for the fast construction and high-quality rendering of visual hulls. We combine the strengths of two complementary hardware-a...
149
click to vote
ICALP
1994
Springer
15 years 9 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
129
click to vote
ACSD
2009
IEEE
15 years 11 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...