395 search results - page 30 / 79 » Priority Scheduling of Distributed Systems Based on Model Ch... |
151
Voted
STTT
2010
15 years 8 days ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
112
click to vote
ISPDC
2005
IEEE
15 years 7 months ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...
106
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— A new distributed coordination algorithm for multi-vehicle systems is presented in this paper. The algorithm combines a particular choice of navigation function with Voronoi pa...
128
Voted
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
110
Voted
RTDB
2001
15 years 3 months ago
2001
Research in the concurrency control of real-time data access over mobile networks is receiving growing attention. With possibly lengthy transmission delay and frequent disconnecti...