Sciweavers

759 search results - page 63 / 152
» A Perspective on Knowledge Compilation
Sort
View
DELTA
2010
IEEE
15 years 2 months ago
Algorithm Transformation for FPGA Implementation
— High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...
Donald G. Bailey, Christopher T. Johnston
CC
2006
Springer
125views System Software» more  CC 2006»
15 years 1 months ago
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions
Abstract. Writing an optimizing back end is expensive, in part because it requires mastery of both a target machine and a compiler's internals. We separate these concerns by i...
João Dias, Norman Ramsey
MICRO
2000
IEEE
162views Hardware» more  MICRO 2000»
15 years 1 months ago
Accurate and efficient predicate analysis with binary decision diagrams
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
John W. Sias, Wen-mei W. Hwu, David I. August
IJCAI
1993
14 years 11 months ago
Anytime Sensing Planning and Action: A Practical Model for Robot Control
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...
Shlomo Zilberstein, Stuart J. Russell
IJES
2007
82views more  IJES 2007»
14 years 9 months ago
Inter-program optimisations for disk energy reduction
: Compiler support for power and energy management is effective in reducing power and energy consumption of programs. Compilers typically take single programs as input without the ...
Jerry Hom, Ulrich Kremer