2291 search results - page 206 / 459 » Representational Reasoning and Verification |
112
Voted
ICMCS
1999
IEEE
15 years 5 months ago
1999
IEEE
Many types of pseudo-random signals have been used to embed signatures as watermarks, with spread spectrum signal techniques used to recover the signature from the encrypted data....
84
Voted
DAC
1996
ACM
15 years 5 months ago
1996
ACM
Abstract-- It is impractical to verify multiplier or divider circuits entirely at the bit-level using ordered Binary Decision Diagrams (BDDs), because the BDD representations for t...
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
118
click to vote
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
124
Voted
VL
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...