9626 search results - page 1834 / 1926 » Invariant Based Programming |
107
click to vote
ICS
2007
Tsinghua U.
15 years 6 months ago
2007
Tsinghua U.
This paper presents Cooperative Cache Partitioning (CCP) to allocate cache resources among threads concurrently running on CMPs. Unlike cache partitioning schemes that use a singl...
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
147
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
140
click to vote
PATMOS
2007
Springer
15 years 6 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...
103
click to vote
PPAM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...