549 search results - page 3 / 110 » Verification condition generation for conditional informatio... |
ACSD
2001
IEEE
13 years 9 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
SIGIR
2010
ACM
13 years 9 months ago
2010
ACM
PAMI
2010
13 years 4 months ago
2010
—We present a generative model and inference algorithm for 3D nonrigid object tracking. The model, which we call G-flow, enables the joint inference of 3D position, orientation, ...
VLSID
2007
IEEE
14 years 6 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
GLVLSI
2009
IEEE
13 years 3 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...