4502 search results - page 513 / 901 » Regular Model Checking |
204
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
The study of information flow analyzes the principles and mechanisms of social information distribution. It is becoming an extremely important research topic in social network re...
105
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
157
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents a chip-level charged device model (CDM) electrostatic discharge (ESD) simulation method. The chip-level simulation is formulated as a DC analysis problem. A ne...
204
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
178
click to vote
FSTTCS
2007
Springer
16 years 29 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...