2501 search results - page 179 / 501 » Logics with Rank Operators |
95
Voted
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
Energy recovery clocking results in significant energy savings in clock distribution networks as compared to conventional squarewave clocking. However, since energy recovery clock...
142
click to vote
FOSSACS
2001
Springer
15 years 9 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
127
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
148
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
124
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...