1145 search results - page 22 / 229 » The Correctness of an Optimized Code Generation |
CASES
2003
ACM
14 years 25 days ago
2003
ACM
Code size has always been an important issue for all embedded applications as well as larger systems. Code compression techniques have been devised as a way of battling bloated co...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
HOTOS
1997
IEEE
13 years 11 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
SAC
2003
ACM
14 years 24 days ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
A wide range of different capabilities and connection qualities typically characterizes receivers of mobile television services. Receiver driven layered multicast (RDLM) offers an...