3441 search results - page 308 / 689 » Parallel Logic Programming Systems |
126
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
With the shrinking of transistors continuing to follow Moore's Law and the non-scalability of conventional outof-order processors, multi-core systems are becoming the design ...
143
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
144
Voted
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
154
click to vote
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
143
Voted
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...