3546 search results - page 469 / 710 » A Causal Logic of Logic Programming |
108
click to vote
RTAS
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
115
click to vote
DAC
2006
ACM
16 years 8 days ago
2006
ACM
In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...
PADS
2005
ACM
15 years 4 months ago
2005
ACM
In earlier work cloning is proposed as a means for efficiently splitting a running simulation midway through its execution into multiple parallel simulations. In simulation cloni...
112
click to vote
CSCLP
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
117
click to vote
SIGSOFT
2007
ACM
16 years 1 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...