2482 search results - page 245 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
105
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
117
click to vote
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we suggest hardware-assisted data compression as a tool for reducing energy consumption of core-based embedded systems. We propose a novel and e cient architecture ...
132
click to vote
KR
2010
Springer
15 years 7 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
115
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
134
Voted
ESTIMEDIA
2003
Springer
15 years 7 months ago
2003
Springer
Current multimedia applications are characterized by highly dynamic and non-deterministic behavior as well as high-performance requirements. In addition, portable devices demand a...