Displaying 1 result from an estimated 1 matches for "zwirchmayr".
2013 Jun 15
0
[LLVMdev] Symbolic Loop Analysis Pass
..., ii and
k, of course only if the needed parameters are known.
What do you think? Would this pass be useful for others except for me?
Is there any related work? I've found [1], but they 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)...