3387 search results - page 107 / 678 » Model-Checking for Real-Time Systems |
129
Voted
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
168
Voted
PATMOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
140
Voted
RTSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Real-time systems design involves many important choices, including that of the processor. The fastest processors achieve performance by utilizing architectural features that make...
155
Voted
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...
141
click to vote
HUMAN
2003
Springer
15 years 7 months ago
2003
Springer
Delivered end-to-end QoS is often limited by the ineffective resource management at Internet end systems. To overcome this problem, we present a resource allocation framework tha...