Research output per year
Research output per year
Search results
-
2003
Busy wait analysis
Blieberger, J., Burgstaller, B. & Scholz, B., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rosen, J.-P. & Strohmeier, A. (eds.). Springer Verlag, p. 142-152 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2655).Research output: Chapter in Book/Report/Conference proceeding › Chapter
4 Citations (Scopus) -
Eliminating redundant range checks in GNAT using symbolic evaluation
Blieberger, J. & Burgstaller, B., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rosen, J.-P. & Strohmeier, A. (eds.). Springer Verlag, p. 153-167 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2655).Research output: Chapter in Book/Report/Conference proceeding › Chapter
2 Citations (Scopus)