2129 search results - page 102 / 426 » Cutting-Edge Timing Analysis Techniques |
HIPC
2003
Springer
15 years 3 months ago
2003
Springer
The use of feedback control techniques has been gaining importance in real-time scheduling as a means to provide predictable performance in the face of uncertain workload. In this ...
104
click to vote
CIG
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract-- Beside their stunning graphics, modern entertainment systems feature ever-higher levels of immersive userinteraction. Today, this is mostly achieved by virtual (VR) and ...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
ESEC
1995
Springer
15 years 1 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...
TGC
2007
Springer
15 years 4 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...