1768 search results - page 117 / 354 » A Logic for Algebraic Effects |
108
Voted
GLVLSI
2008
IEEE
15 years 7 months ago
2008
IEEE
Timing optimizations during logic synthesis has become a necessary step to achieve timing closure in VLSI designs. This often involves “shortening” all paths found in the circ...
95
Voted
ISQED
2005
IEEE
15 years 6 months ago
2005
IEEE
Limited Switch Dynamic Logic (LSDL), a high performance logic circuit, has been modified by introducing a pseudo-nMOS style load. The resultant circuit consumes less power, primar...
149
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
116
Voted
IJCAI
2003
15 years 2 months ago
2003
We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show h...
85
Voted
DEXA
2000
Springer
15 years 5 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...