9842 search results - page 640 / 1969 » Compositional timing analysis |
229
click to vote
VEE
2005
ACM
16 years 24 days ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
194
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
197
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we explore the possibility of using commodity graphics processing units (GPUs) to speedup standard schedulability analysis algorithms. Our long-term goal is to explo...
149
click to vote
PPPJ
2004
ACM
16 years 20 days ago
2004
ACM
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
210
click to vote
ASM
2010
ASM
16 years 11 days ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...