3470 search results - page 422 / 694 » Head-Elementary-Set-Free Logic Programs |
177
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
184
click to vote
PASTE
2004
ACM
16 years 3 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
172
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
190
click to vote
FPL
2007
Springer
16 years 25 days ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
162
click to vote
PADL
2004
Springer
16 years 1 days ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...