MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Abelardo Pardo" – sorted by Relevance.

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

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

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

ATOM

Incremental CTL Model Checking Using BDD Subsetting
by Abelardo Pardo, Gary D. Hachtel — 1998
…Abstract Incremental CTL Model Checking Using BDD Subsetting Abelardo Pardo Mentor Graphics…
Cited by 20 (2 self) – Add To MetaCart

Automatic Abstraction Techniques for Propositional µ-calculus Model Checking
by Abelardo Pardo, Gary D. Hachtel — 1997 — Ninth Conference on Computer Aided Verification (CAV'97
… Abstraction Techniques for Propositional ��-calculus Model Checking ? Abelardo Pardo and Gary D. Hachtel…
Cited by 27 (7 self) – Add To MetaCart

Xipeng Xioa and Lionel M. Ni “Internet QoS: A Big Picture
by Sergio Gutiérrez, Abelardo Pardo, Carlos Delgado Kloos — 1999 — IEEE Network, pp 8-18, March/April
…An Adaptive Tutoring System based on Hierarchical Graphs ⋆ Sergio Gutiérrez, Abelardo Pardo…
Cited by 1 (0 self) – Add To MetaCart

Modular Verification of Multipliers
by Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi — 1996 — In Formal Methods in Computer-Aided Design
… of Multipliers Kavita Ravi Abelardo Pardo Gary D. Hachtel Fabio Somenzi Dept. of Electrical and Computer…
Cited by 3 (0 self) – Add To MetaCart

Achilles: A High-Level Synthesis System for Asynchronous Circuits
by Jordi Cortadella, Rosa M. Badia, Enric Pastor, Abelardo Pardo — 1992 — In Sixth International Workshop on High-Level Synthesis
…, Enric Pastor, and Abelardo Pardo y Dept. of Computer Architecture Universitat Polit`ecnica de Catalunya…
Cited by 1 (1 self) – Add To MetaCart

Probabilistic Analysis of Large Finite State Machines
by Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi — 1994 — In Proceedings of the 31st ACM/IEEE Design Automation Conference (San Diego
…. Probabilistic Analysis of Large Finite State Machines Gary D. Hachtel Enrico Macii Abelardo Pardo Fabio…
Cited by 20 (1 self) – Add To MetaCart

Markovian Analysis of Large Finite State Machines
by Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi — 1996 — IEEE Transactions on CAD
… Analysis of Large Finite State Machines Gary D. Hachtel Enrico Macii y Abelardo Pardo Fabio Somenzi…
Cited by 55 (7 self) – Add To MetaCart

Tearing Based Automatic Abstraction for CTL Model Checking
by Woohyuk Lee Abelardo, Woohyuk Lee, Abelardo Pardo, Jae-young Jang, Gary Hachtel, Fabio Somenzi — 1996 — In ICCAD
…Tearing Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae…
Add To MetaCart

3 Now at Lattice Semiconductor Contents
by Adnan Aziz, Robert Brayton, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev Ranjan, Thomas Shiple, Fabio Somenzi, Gitanjali Swamy
… Brayton 1 Stephen Edwards 1 Gary Hachtel 2 Sunil Khatri 1 Yuji Kukimoto 1 Abelardo Pardo 2 Shaz Qadeer 1…
Add To MetaCart

IEEE November 6 - 9, 2002, Boston, MA
by Mathematical Model For, M. Carmen, Fernández Panadero, Abelardo Pardo, Javier Fernández Panadero, Andrés Marín López
…. Carmen Fernández Panadero 1 , Abelardo Pardo 1 , Javier Fernández Panadero 1 , Andrés Marín López 1…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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