3515 search results - page 447 / 703 » On the semantics of Strategy Logic |
319
Voted
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
180
click to vote
ICPP
2005
IEEE
16 years 1 months ago
2005
IEEE
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
187
click to vote
CP
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
182
click to vote
ISQED
2003
IEEE
16 years 24 days ago
2003
IEEE
A structurally testable delay fault might become untestable in the functional mode of the circuit due to logic or timing constraints or both. Experimental data suggests that there...
183
click to vote
FPL
2003
Springer
16 years 22 days ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...