ISSS
2000
IEEE
13 years 9 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...