3441 search results - page 180 / 689 » Parallel Logic Programming Systems |
121
click to vote
HPCA
2006
IEEE
16 years 3 months ago
2006
IEEE
Transactional memory (TM) provides an easy-to-use and high-performance parallel programming model for the upcoming chip-multiprocessor systems. Several researchers have proposed a...
120
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
134
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
221
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
157
click to vote
EPIA
2003
Springer
15 years 8 months ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...