3470 search results - page 413 / 694 » Head-Elementary-Set-Free Logic Programs |
187
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
183
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...
201
click to vote
WDAG
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
361
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
174
click to vote
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...