1980 search results - page 105 / 396 » Compositional Model Checking of Real Time Systems |
145
click to vote
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Data caches are essential in modern processors, bridging the widening gap between main memory and processor speeds. However, they yield very complex performance models, which make...
159
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...
105
click to vote
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
We revisit the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a ...
162
click to vote
ICPADS
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract— Content replication and distribution is an effective technology to reduce the response time for web accesses and has been proven quite popular among large Internet cont...
128
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...