854 search results - page 143 / 171 » Timing coverification of concurrent embedded real-time syste... |
RTCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
Project ExScal (for Extreme Scale) fielded a 1000+ node wireless sensor network and a 200+ node peer-to-peer ad
107
click to vote
RTCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
Most prior theoretical research on partitioning algorithms for real-time multiprocessor platforms has focused on ensuring that the cumulative computing requirements of the tasks a...
122
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
108
click to vote
PADS
1999
ACM
15 years 4 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
104
click to vote
AC
2002
Springer
14 years 11 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...