Searching for authors named "Paolo Camurati" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Computing Timed Transition Relations for sequential cycle-based simulation
- … Paolo Camurati y Claudio Passerone z Stefano Quer y y Politecnico di Torino Dip. di Automatica e…
- Add To MetaCart
-
Can BDDs compete with SAT solvers on Bounded Model Checking?
- …ABSTRACT Can BDDs compete with SAT solvers on Bounded Model Checking? Gianpiero Cabodi Paolo…
- Cited by 4 (1 self) – Add To MetaCart
-
Biasing Symbolic Search by means of Dynamic Activity Profiles
- …Biasing Symbolic Search by means of Dynamic Activity Profiles Gianpiero Cabodi Paolo Camurati…
- Cited by 2 (0 self) – Add To MetaCart
-
Verification and Synthesis of Counters based on Symbolic Techniques
- …-89791-849-5/97/0003/$3.50 Verification and Synthesis of Counters based on Symbolic Techniques Gianpiero Cabodi y Paolo Camurati…
- Cited by 2 (0 self) – Add To MetaCart
-
Dynamic Scheduling and Clustering in Symbolic Image Computation
- …Dynamic Scheduling and Clustering in Symbolic Image Computation Gianpiero Cabodi Paolo Camurati…
- Cited by 1 (0 self) – Add To MetaCart
-
The General Product Machine: a New Model for Symbolic FSM Traversal
- … CAMURATI camurati@(email omitted); FULVIO CORNO corno@(email omitted); PAOLO PRINETTO prinetto@(email omitted); MATTEO SONZA…
- Cited by 1 (0 self) – Add To MetaCart
-
Decomposed Symbolic Forward Traversals of Large Finite State Machines
- … Traversals of Large Finite State Machines Stefano Quer y Gianpiero Cabodi y Paolo Camurati z y…
- Cited by 1 (0 self) – Add To MetaCart
-
Improving Symbolic Traversals by means of Activity Profiles
- …Improving Symbolic Traversals by means of Activity Proles Gianpiero Cabodi Paolo Camurati Stefano…
- Cited by 10 (3 self) – Add To MetaCart
-
Disjunctive Partitioning and Partial Iterative Squaring: an effective approach for symbolic traversal of large circuits
- … traversal of large circuits Gianpiero Cabodi y Paolo Camurati # Luciano Lavagno z Stefano Quer y y…
- Cited by 28 (2 self) – Add To MetaCart
-
Improving Symbolic Reachability Analysis by means of Activity Profiles
- …, Paolo Camurati, and Stefano Quer Abstract| Symbolic techniques have undergone major improvements…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
