1167 search results - page 210 / 234 » A Really Temporal Logic |
TABLEAUX
1998
Springer
14 years 26 days ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
ICCAD
1996
IEEE
14 years 25 days ago
1996
IEEE
We present techniques for estimating switching activity and power consumption in register-transfer level (RTL) circuits. Previous work on this topic has ignored the presence of gl...
DAC
1996
ACM
14 years 25 days ago
1996
ACM
1 In this paper, we propose a hybrid approach for estimating the switching activities of the internal nodes in logic circuits. The new approach combines the advantages of the simul...
RTSS
1993
IEEE
14 years 24 days ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
VLDB
1993
ACM
14 years 22 days ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...