4979 search results - page 127 / 996 » Batch codes and their applications |
147
click to vote
CIE
2007
Springer
16 years 18 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
145
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a technique for task response time improvement based on the concept of code motion from the software domain. Relaxed Operation Motion (ROM) is a simple yet powerful app...
139
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. Data compression has been widely applied in many data processing areas. Compression methods use variable-length codes with the shorter codes assigned to symbols or groups...
177
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
A dynamic optimizer is a runtime software system that groups a program’s instruction sequences into traces, optimizes those traces, stores the optimized traces in a softwarebase...
176
click to vote
EMSOFT
2007
Springer
16 years 17 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...