MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jordi Cortadella" – sorted by Relevance.

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

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

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

ATOM

Timing-Driven Logic Bi-Decomposition
by Jordi Cortadella — 2003
… de Catatunya, Barcelona 08034, Spain (e-mail: jordi.cortadella@(email omitted);). Digital Object Identifier 10…
Cited by 3 (0 self) – Add To MetaCart

Combining Structural and Symbolic Methods for the Verification of Concurrent Systems
by Jordi Cortadella — 1998
… by CICYT TIC 95-0419 Jordi Cortadella Department of Software Universitat Politecnica de Catalunya Barcelona…
Cited by 3 (1 self) – Add To MetaCart

Bi-Decomposition and Tree-Height Reduction for Timing Optimization
by Jordi Cortadella — Proc. IWLS ’02
…Bi-decomposition and tree-height reduction for timing optimization Jordi Cortadella Universitat…
Cited by 2 (0 self) – Add To MetaCart

Resource-Constrained Pipelining Based on Loop Transformations
by F. Sanchez, Jordi Cortadella — 1993 — Microprocessing and Microprogramming
…Resource-Constrained Pipelining Based on Loop Transformations F. S'anchez and J. Cortadella a3 a…
Cited by 6 (4 self) – Add To MetaCart

Register Optimization for Maximum Throughput Loop Pipelining
by Fermin Sanchez, Jordi Cortadella — 1995
…Register Optimization for Maximum Throughput Loop Pipelining Ferm'in S'anchez and Jordi Cortadella…
Add To MetaCart

Time-Constrained Loop Pipelining
by Fermn Sanchez, Jordi Cortadella — 1995 — In Proc. International Conference on Computer-Aided Design
…Time-Constrained Loop Pipelining Fermn Sanchez Jordi Cortadella Dept. of Computer Architecture…
Cited by 7 (3 self) – Add To MetaCart

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
… of Computer Architecture Universitat Politecnica de Catalunya 08034 Barcelona, Spain enric@(email omitted); Jordi…
Cited by 2 (0 self) – Add To MetaCart

RESIS: A New Methodology for Register Optimization in Software Pipelining
by Fermin Sanchez, Jordi Cortadella — 1996 — In Proceedings of Second International Euro-Par Conference, Euro-Par'96
…'anchez and Jordi Cortadella Departament d'Arquitectura de Computadors Universitat Polit`ecnica de Catalunya c/ Gran…
Cited by 4 (0 self) – Add To MetaCart

Maximum-Throughput Software Pipelining
by Fermín Sanchez, Jordi Cortadella — 1995
…Maximum-Throughput Software Pipelining Fermn Sanchez and Jordi Cortadella Department d…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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