4192 search results - page 377 / 839 » Probabilistic Logic Programming |
136
Voted
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
164
click to vote
EUROGP
2008
Springer
15 years 8 months ago
2008
Springer
A new class of FPGA-based accelerators is presented for Cartesian Genetic Programming (CGP). The accelerators contain a genetic engine which is reused in all applications. Candidat...
169
click to vote
ECEASST
2008
15 years 6 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
150
Voted
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
129
click to vote
ISSTA
2006
ACM
16 years 3 days ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...