1423 search results - page 145 / 285 » Quantum logic as a dynamic logic |
154
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for veriļ¬cation of assertions in a temporal program logic. In this paper we develop a type and eff...
147
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
214
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
167
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
148
click to vote
PRDC
2008
IEEE
16 years 23 days ago
2008
IEEE
Reliability has become a serious concern as systems embrace nanometer technologies. In this paper, we propose a novel approach for organizing redundancy that provides high degree ...