1145 search results - page 146 / 229 » The Correctness of an Optimized Code Generation |
102
click to vote
SAIG
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
103
click to vote
ACIVS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The Full Search Block-Matching Motion Estimation (FSBME) algorithm is often employed in video coding for its regular dataflow and straightforward architectures. By iterat...
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
119
click to vote
ESM
2000
15 years 1 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...