888 search results - page 10 / 178 » The Power of Temporal Proofs |
IJCAI
2007
14 years 11 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
ISLPED
2006
ACM
15 years 3 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
FASE
2000
Springer
15 years 1 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
TIME
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
53
Voted
GLVLSI
2006
IEEE
15 years 3 months ago
2006
IEEE
ÁÒ Ø × Ô Ô Ö¸ Û ÔÖÓÔÓ× ÒÓÚ Ð Ø ÑÔÓÖ Ð Ö ÙÒ Ò Ý × Ò Ó Ò Ø Ò ÕÙ ÓÖ Ð Ý Ò Ô ÔÓÛ Ö Ñ Ò Ñ Þ Ø ÓÒº Ì ÔÖÓÔÓ× Ò Ó Ò × Ñ...