Displaying 1 result from an estimated 1 matches for "psi11_kovacs".
2013 Jun 15
0
[LLVMdev] Symbolic Loop Analysis Pass
...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/