9316 search results - page 226 / 1864 » Analysis of traceback techniques |
167
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
160
click to vote
LCTRTS
1999
Springer
15 years 9 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
134
click to vote
ADAEUROPE
2003
Springer
15 years 9 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
127
click to vote
ICS
1995
Tsinghua U.
15 years 9 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
145
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...