2062 search results - page 208 / 413 » Derivatives of Logical Formulas |
176
click to vote
FTRTFT
1992
Springer
15 years 8 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
142
click to vote
AAAI
1990
15 years 5 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
122
click to vote
ICTAI
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper a new learning scheme for SAT is proposed. The originality of our approach arises from its ability to achieve clause learning even if no conflict occurs. This clear...
115
Voted
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
—In network-on-chip, computing worst-case delay bound for packet delivery is crucial for designing predictable systems but yet an intractable problem due to complicated resource ...
142
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In systems consisting of multiple clusters of processors which employ space sharing for scheduling jobs, such as our Distributed ASCI1 Supercomputer (DAS), coallocation, i.e., the...