8398 search results - page 1264 / 1680 » Optimal Software Testing |
243
click to vote
ACL2
2006
ACM
16 years 28 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
201
click to vote
GECCO
2005
Springer
16 years 14 days ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
218
click to vote
ASPLOS
2004
ACM
16 years 11 days ago
2004
ACM
Maintenance is the dominant source of downtime at high availability sites. Unfortunately, the dominant mechanism for reducing this downtime, cluster rolling upgrade, has two short...
206
click to vote
EUROPAR
1997
Springer
15 years 11 months ago
1997
Springer
Instruction scheduling in general, and software pipelining in particular face the di cult task of scheduling operations in the presence of uncertain latencies. The largest contrib...
192
click to vote
LCTRTS
2010
Springer
15 years 9 months ago
2010
Springer
DSP processors usually provide dedicated address generation units (AGUs) to assist address computation. By carefully allocating variables in the memory, DSP compilers take advanta...