Jordi Cortadella Fortuny

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (5)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (19)

• Artículos de revistas

  • Seleccionado

    Petrify: a tool for manipulation concurrent specifications and synthesis of asynchronous controllers

    Jordi Cortadella Fortuny, Michael Kishinevsky, Alex Kondratyev

    IEICE transactions on information and systems, ISSN 0916-8532, Vol. 80, Nº. 3, 1997, págs. 315-325

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Verificación de circuitos independientes de la velocidad con modelos simbólicos de redes de Petri

    Oriol Roig, Enric Pastor, Jordi Cortadella Fortuny

    Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria, 1994, págs. 307-312

    • Resumen
    
  • Seleccionado

    Síntesis de máquinas de control para circuitos asíncronos

    Oriol Roig, Enric Pastor, Rosa M Badia , Jordi Cortadella Fortuny

    VIII Congreso Diseño de Circuitos Integrados: Málaga, 9 al 11 de noviembre de 1993, 1993, págs. 326-331

    • Resumen
    
  • Seleccionado

    Achilles: sistema de síntesis de alto nivel para circuitos asíncronos

    Jordi Cortadella Fortuny, Rosa M Badia , Enric Pastor, Abelardo Pardo

    VII Congreso de Diseño de Circuitos Integrados: 3, 4 y 5 de noviembre de 1992, Toledo, España : actas, 1992, págs. 357-362

    • Resumen
    
  • Seleccionado

    Optimización del tiempo de ciclo en la planificación de operaciones

    Jordi Cortadella Fortuny, Rosa M Badia

    Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991, 1991, ISBN 84-87412-61-0, págs. 275-280

    • Resumen
    
  • Seleccionado

    Executing zero-delay branches with a Branch Target Buffer in a RISC processor

    Teodor Jové Lagunas, Jordi Cortadella Fortuny

    Mini and Microcomputers and their applications / Emilio Luque Fadón (ed. lit.) , 1988, págs. 373-376

    • Resumen
    

• Libros

  • Seleccionado

    Etnología de la península ibérica

    P. Bosch Gimpera, Jordi Cortadella Fortuny (ed. lit.)

    Urgoiti Editores, 2003. ISBN 84-933398-0-6

    

• Tesis

  • Seleccionado

    Mecanismos para la ejecución eficiente de los saltos en arquitecturas RISC

    Jordi Cortadella Fortuny

    Universitat Politècnica de Catalunya (UPC) (1987).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Algorithmic techniques for physical design: macro placement and under-the-cell routing

    Alexandre Vidal Obiols

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.), Jordi Petit Silvestre (codir. tes.) . Universitat Politècnica de Catalunya (UPC) (2020).

    • Resumen
    
  • Seleccionado

    Synthesis of variability-tolerant circuits with adaptive clocking

    Alberto Moreno Vega

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2019).

    • Resumen
    
  • Seleccionado

    Logic decomposition and adaptive clocking for the optimization of digital circuits

    Lucas Machado

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2019).

    • Resumen
    
  • Seleccionado

    Algorithms and methodologies for lnterconnect reliability analysis of lntegrated circuits

    Palkesh Jain

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.), Sachin S. Sapatnekar (dir. tes.) . Universitat Politècnica de Catalunya (UPC) (2017).

    • Resumen
    
  • Seleccionado

    Structure discovery techniques for circuit design and process model visualization

    Javier de San Pedro Martín

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2017).

    • Resumen
    
  • Seleccionado

    Automatic synthesis and optimization of chip multiprocessors

    Nikita Nikitin

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2013).

    • Resumen
    • Tesis en acceso abierto en: TDX
    
  • Seleccionado

    Automatic pipelining of elastic systems

    Marc Galceran Oms

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2011).

    • Resumen
    
  • Seleccionado

    Perfomance optimization of elastic systems

    Dmitry Bufistov

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2010).

    • Resumen
    
  • Seleccionado

    Towards the automatic synthesis of asynchronous communication mechanisms

    Kyller Costa Gorgônio

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2010).

    • Resumen
    
  • Seleccionado

    Logic synthesis techniques for high-speed circuits

    David Bañeres

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.), Mike Kishinevsky (dir. tes.) . Universitat Politècnica de Catalunya (UPC) (2008).

    • Resumen
    
  • Seleccionado

    Abstract interpretation techniques for the verification of timed systems

    Robert Clarisó Viladrosa

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2005).

    • Resumen
    
  • Seleccionado

    Relative timing based verification of concurrent systems

    Marco Antonio Peña Basurto

    Tesis doctoral dirigida por Enric Pastor (dir. tes.), Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2004).

    • Resumen
    • Tesis en acceso abierto en: TDX
    
  • Seleccionado

    Structural methods for the synthesis of well-formed concurrent specificantions

    Josep Carmona Vargas

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2004).

    • Resumen
    
  • Seleccionado

    Desing and análisis of variable-delay arithmetic units

    Gianluca Corneta

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2001).

    
  • Seleccionado

    Loop pipelining with resource and timing constraints

    Fermín Sánchez Carracedo

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1996).

    • Resumen
    • Tesis en acceso abierto en: TDX
    
  • Seleccionado

    Structural methods for the synthesis of asynchronous circuits from signal transition graphs

    Enrique Pastor Llorens

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1996).

    • Resumen
    
  • Seleccionado

    High-level and logic synthesis techniques for low power

    Enric Musoll Cinca

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1996).

    • Resumen
    
  • Seleccionado

    Reducing the impact of register pressure on software pipelined loops

    Josep Llosa Espuny

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1996).

    • Resumen
    
  • Seleccionado

    Sintesi d'alt nivell de circuits asincrons

    Rosa M Badia

    Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1994).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.