3441 search results - page 173 / 689 » Parallel Logic Programming Systems |
117
click to vote
LICS
1989
IEEE
15 years 6 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
153
Voted
DKE
2010
15 years 3 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
113
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
Reconfigurable computing (RC) systems based on FPGAs are becoming an increasingly attractive solution to building parallel systems of the future. Applications targeting such syste...
124
click to vote
IEEEAMS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
128
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
With the right techniques, multicore architectures may be able to continue the exponential performance trend that elevated the performance of applications of all types for decades...