search for: lkovacs

Displaying 1 result from an estimated 1 matches for "lkovacs".

Did you mean: kovacs
[LLVMdev] Symbolic Loop Analysis Pass
2013 Jun 15
0
[LLVMdev] Symbolic Loop Analysis Pass
...y do not use LLVM and it seems to specialized to me. Cheers, Sebastian [1]: Knoop, J., Kovács, L., & Zwirchmayr, J. (2012). Symbolic loop bound computation for wcet analysis. In Perspectives of Systems Informatics (pp. 227-242). Springer Berlin, Heidelberg. http://www.complang.tuwien.ac.at/lkovacs/pub/PSI11_Kovacs.pdf -- Mit freundlichen Grüßen / Kind regards Sebastian Dreßler Zuse Institute Berlin (ZIB) Takustraße 7 D-14195 Berlin-Dahlem Germany dressler at zib.de Phone: +49 30 84185-261 http://www.zib.de/