9842 search results - page 642 / 1969 » Compositional timing analysis |
207
click to vote
CVIU
2006
15 years 7 months ago
2006
In this paper, we present a multi-zoom framework for activity analysis in situations requiring combinations of both detailed and coarse views of the scene. The epipolar geometry i...
201
Voted
CSUR
1999
15 years 7 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
165
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Cyberinfrastructures bring together distributed resources to support scientific discoveries. Cyberinfrastructures currently under development are intended to enable the cooperativ...
184
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
180
click to vote
WORDS
2005
IEEE
16 years 25 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...