98 search results - page 9 / 20 » Interaction Schemata: Compiling Interactions to Code |
PLDI
2004
ACM
14 years 28 days 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 ...
ASAP
2007
IEEE
13 years 9 months ago
2007
IEEE
In high-level synthesis, as for compilers, an important question is when register assignment should take place. Unlike compilers for which the processor architecture is given, syn...
VSTTE
2005
Springer
14 years 29 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
TLDI
2003
ACM
14 years 23 days ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
DATE
2003
IEEE
14 years 24 days ago
2003
IEEE
The widening gap between processor and memory speeds renders data locality optimization a very important issue in data-intensive embedded applications. Throughout the years hardwa...