111 search results - page 5 / 23 » A Certifying Code Generation Phase |
EMSOFT
2005
Springer
13 years 11 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
WSC
1998
13 years 7 months ago
1998
This paper will describe an approach to the development of computer simulations - the 'four phase' approach - which aims to be more accessible than established approache...
AINA
2004
IEEE
13 years 9 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
ICCD
2001
IEEE
14 years 2 months ago
2001
IEEE
This paper deals with low-energy code generation for a highly optimized digital signal processor designed for mobile communication applications. We present a genetic algorithm bas...
PLDI
2004
ACM
13 years 11 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...