4126 search results - page 344 / 826 » Set based logic programming |
127
Voted
CC
2003
Springer
15 years 10 months ago
2003
Springer
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
168
click to vote
CONCURRENCY
1998
15 years 4 months ago
1998
Message passing libraries such as Parallel Virtual Machine PVM and Message Passing Interface MPI provide a common Application Programming Interface API to implement parallel...
169
click to vote
ICAI
2010
15 years 2 months ago
2010
- In this article, we present an algorithm which is capable of transforming a gridded dogleg channel routing problem into a constraint programming (CP) problem. The transformed CP ...
108
click to vote
DLT
2008
15 years 6 months ago
2008
An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics rangin...
130
click to vote
IGPL
2008
15 years 4 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...