MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Enric Pastor" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

24 documents found, showing 1 through 10. Next 10 →

ATOM

An Efficient Unique State Coding Algorithm for Signal Transition Graphs
by Enric Pastor, Jordi Cortadella — 1993 — In Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors
…An Efficient Unique State Coding Algorithm for Signal Transition Graphs Enric Pastor and Jordi…
Cited by 5 (4 self) – Add To MetaCart

Structural Methods Applied to the Symbolic Analysis of Petri Nets
by Enric Pastor, Jordi Cortadella — 1998 — In Proc. IEEE/ACM International Workshop on Logic Synthesis
…Structural Methods Applied to the Symbolic Analysis of Petri Nets Enric Pastor Department…
Cited by 2 (0 self) – Add To MetaCart

Polynomial Algorithms for the Synthesis of Hazard-free Circuits from Signal Transition Graphs
by Enric Pastor, Jordi Cortadella — 1993 — In Proceedings of the International Conference on Computer-Aided Design
… Enric Pastor and Jordi Cortadella Department of Computer Architecture Universitat Polit`ecnica de…
Cited by 13 (6 self) – Add To MetaCart

Efficient Encoding Schemes for Symbolic Analysis of Petri Nets
by Enric Pastor, Jordi Cortadella — 1998 — In Proc. Design, Automation and Test in Europe
…Efficient Encoding Schemes for Symbolic Analysis of Petri Nets Enric Pastor Department of Computer…
Cited by 9 (2 self) – Add To MetaCart

Cover Approximations for the Synthesis of Speed-Independent Circuits
by Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig
…Cover Approximations for the Synthesis of Speed-Independent Circuits Enric Pastor Jordi…
Add To MetaCart

Conservative symbolic model-checking of Petri nets for speed-independent circuit verification
by Oriol Roig, Oriol Roig, Jordi Cortadella, Jordi Cortadella, Enric Pastor, Enric Pastor — 1994
… Roig, Jordi Cortadella and Enric Pastor DAC/UPC Report No. RR-94/14 July 1994 This work has been…
Cited by 1 (0 self) – Add To MetaCart

Hierarchical Gate-Level Verification of Speed-Independent Circuits
by Oriol Roig, Jordi Cortadella, Enric Pastor — 1995 — In Asynchronous Design Methodologies
… and Enric Pastor Department of Computer Architecture Universitat Polit`ecnica de Catalunya Gran Capit`a s…
Cited by 3 (2 self) – Add To MetaCart

A New Look at the Conditions for the Synthesis of Speed-independent Circuits
by Enric Pastor, Jordi Cortadella, Oriol Roig — 1994 — IN PROC. FIFTH GREAT LAKES SYMPOSIUM ON VLSI
…A New Look at the Conditions for the Synthesis of Speed-independent Circuits Enric Pastor, Jordi…
Cited by 2 (2 self) – Add To MetaCart

Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets
by Oriol Roig, Jordi Cortadella, Enric Pastor — 1996 — In 16th Int. Conf. on Application and Theory of Petri Nets, volume 935 of LNCS
…, Jordi Cortadella and Enric Pastor Department of Computer Architecture, Universitat Polit`ecnica de…
Cited by 19 (3 self) – Add To MetaCart

Symbolic Petri Net Analysis Using Boolean Manipulation
by Enric Pastor, Oriol Roig, Jordi Cortadella — 1997
…Symbolic Petri Net Analysis Using Boolean Manipulation Enric Pastor, Jordi Cortadella, and Oriol…
Cited by 72 (15 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB