1341 search results - page 37 / 269 » Dynamic Testimonial Logic |
126
click to vote
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
105
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
153
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
143
click to vote
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
136
click to vote
ISQED
2006
IEEE
15 years 9 months ago
2006
IEEE
— A new low voltage swing circuit technique based on a dual threshold voltage CMOS technology is presented in this paper for simultaneously reducing active and standby mode power...