9842 search results - page 265 / 1969 » Compositional timing analysis |
132
click to vote
ICPP
2007
IEEE
15 years 10 months ago
2007
IEEE
Providing QoS and performance guarantees to arbitrarily divisible loads has become a significant problem for many cluster-based research computing facilities. While progress is b...
152
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
147
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
104
click to vote
FFA
2010
15 years 1 months ago
2010
Let p be prime and Zpn a degree n unramified extension of the ring of p-adic integers Zp. In this paper we give an overview of some very fast deterministic algorithms for common o...
122
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...