15754 search results - page 807 / 3151 » Programs are Knowledge Bases |
192
click to vote
ICLP
2004
Springer
16 years 1 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
201
click to vote
VECPAR
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
204
click to vote
ISCA
2003
IEEE
16 years 27 days ago
2003
IEEE
We describe the Java runtime parallelizing machine (Jrpm), a complete system for parallelizing sequential programs automatically. Jrpm is based on a chip multiprocessor (CMP) with...
217
click to vote
WCRE
2003
IEEE
16 years 27 days ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
207
click to vote
CAV
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...