@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: /usr/bin/bib2bib -ob JOUR.bib ABBREV.bib JOURNALS_JC.bib}}
@preamble{{\newcommand{\noopsort}[1]{}}}
@comment{{==================================================================== }}
@comment{{Predefined journals }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Predefined publishers }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Predefined series }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Predefined conference proceedings }}
@comment{{==================================================================== }}
@article{Galceran2011,
author = {Marc Galceran-Oms and Alexander Gotmanov and Jordi Cortadella and Mike Kishinevsky},
title = {Microarchitectural Transformations Using Elasticity},
journal = {ACM Journal on Emerging Technologies in Computing Systems},
volume = 7,
issue = 4,
month = dec,
year = 2011,
pages = {18:1--18:24},
doi = {http://doi.acm.org/10.1145/2043643.2043648}
}
@article{Carmona2011,
author = {Josep Carmona and Jorge J{\'u}lvez and Jordi Cortadella and Michael Kishinevsky},
title = {A Scheduling Strategy for Synchronous Elastic Designs},
journal = {Fundamenta Informaticae},
volume = {108},
number = {1-2},
year = {2011},
pages = {1--21},
doi = {http://dx.doi.org/10.3233/FI-2011-411}
}
@article{Carmona09_tcad,
author = {Josep Carmona and Jordi Cortadella and Mike Kishinevsky and
Alexander Taubin},
title = {Elastic Circuits},
journal = {IEEE Transactions on Computer-Aided Design},
volume = 28,
number = 10,
month = oct,
year = 2009,
pages = {1437--1455},
doi = {10.1109/TCAD.2009.2030436}
}
@article{Carmona10_tc,
author = {Josep Carmona and Jordi Cortadella and Mike Kishinevsky},
title = {New Region-Based Algorithms for Deriving Bounded {Petri} nets},
journal = {IEEE Transactions on Computers},
volume = 59,
number = 3,
doi = {10.1109/TC.2009.131},
month = mar,
year = 2010,
pages = {371--384}
}
@article{Cortadella09_tvlsi,
author = {Jordi Cortadella and Alexander Taubin},
title = {Guest Editorial: Special Section on Asynchronous Circuits and Systems},
journal = {IEEE Transactions on VLSI Systems},
month = jul,
year = 2009,
volume = 17,
number = 7,
pages = {853--854},
doi = {10.1109/TVLSI.2009.2022864}
}
@article{Julvez10_deds,
author = {Jorge J\'{u}lvez and Jordi Cortadella and Michael Kishinevsky},
title = { On the Performance Evaluation of Multi-Guarded Marked Graphs with
Single-Server Semantics},
journal = {Discrete Event Dynamic Systems},
volume = 20,
number = 3,
month = sep,
year = 2010,
pages = {377--407},
doi = {10.1007/s10626-009-0079-2}
}
@article{Cortadella08pnomc,
author = {Jordi Cortadella and Michael Kishinevsky and Dmitry Bufistov and
Josep Carmona and Jorge J{\'u}lvez},
title = {Elasticity and {Petri Nets}},
journal = {Transactions on Petri Nets and Other Models of Concurrency I},
month = aug,
year = 2008,
pages = {221--249},
series = {Lecture Notes in Computer Science},
volume = 5100,
doi = {10.1007/978-3-540-89287-8_13}
}
@article{Baneres09,
author = {David Ba{\~n}eres and Jordi Cortadella and Mike Kishinevsky},
title = {A Recursive Paradigm to Solve {Boolean} Relations},
journal = {IEEE Transactions on Computers},
year = 2009,
month = apr,
volume = 58,
number = 4,
pages = {512--527},
doi = {10.1109/TC.2008.165}
}
@article{Carmona08jetc,
author = {Josep Carmona and
Jordi Cortadella and
Yousuke Takada and
Ferdinand Peper},
title = {Formal methods for the analysis and synthesis of nanometer-scale
cellular arrays},
journal = {ACM Journal on Emerging Technologies in Computing Systems},
volume = {4},
number = {2},
year = {2008},
doi = {10.1145/1350763.1350768}
}
@article{Carmona08tcad,
author = {Josep Carmona and Jordi Cortadella},
title = {Encoding Large Asynchronous Controllers with {ILP} Techniques},
journal = {IEEE Transactions on Computer-Aided Design},
month = jan,
year = 2008,
volume = 27,
number = 1,
pages = {20--33},
pdf = {files/tcad08_ilp.pdf}
}
@article{Cortadella07fteda,
author = {Alexander Taubin and Jordi Cortadella and Luciano Lavagno and
Alex Kondratyev and Ad Peeters},
title = {Design Automation of Real Life Asynchronous Devices and Systems},
journal = {Foundations and Trends in Electronic Design Automation},
volume = 2,
number = 1,
year = 2007,
pages = {1--133},
publisher = {Elsevier B. V.},
doi = {10.1561/1000000006}
}
@article{Clariso07fi,
author = {Robert Claris{\'o} and
Jordi Cortadella},
title = {Verification of Concurrent Systems with Parametric Delays
Using Octahedra},
journal = {Fundamenta Informaticae},
volume = 78,
number = 1,
year = 2007,
pages = {1-33}
}
@article{Kyller07,
author = {Kyller Costa Gorg{\^o}nio and
Jordi Cortadella and
Fei Xia and
Alexandre Yakovlev},
title = {Automating Synthesis of Asynchronous Communication Mechanisms},
journal = {Fundamenta Informaticae},
volume = 78,
number = 1,
year = 2007,
pages = {75-100}
}
@article{Clariso07,
author = {Robert Claris\'{o} and Jordi Cortadella},
title = {The Octahedron Abstract Domain},
journal = {Science of Computer Programming},
volume = 64,
number = 1,
month = jan,
year = 2007,
pages = {115-139},
doi = {10.1016/j.scico.2006.03.009},
publisher = {Elsevier B. V.},
pdf = {files/octahedron_scp07.pdf}
}
@article{Cortadella06tcad,
author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno and
Christos Sotiriou},
title = {Desynchronization: Synthesis of Asynchronous Circuits from
Synchronous Specifications},
journal = {IEEE Transactions on Computer-Aided Design},
volume = 25,
number = 10,
month = oct,
year = 2006,
pages = {1904--1921},
pdf = {files/tcad06_desync.pdf}
}
@article{Carmona06tcad,
author = {Josep Carmona and Jos\'e M. Colom and Jordi Cortadella and
Fernando Garc\'{\i}a-Vall\'es},
title = {Synthesis of Asynchronous Controllers Using Integer Linear
Programming},
journal = {IEEE Transactions on Computer-Aided Design},
volume = 25,
number = 9,
month = sep,
year = 2006,
pages = {1637--1651},
pdf = {files/tcad06_ilp.pdf}
}
@article{Cortadella05,
author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno
and Claudio Passerone and Yosinori Watanabe},
title = {Quasi-Static Scheduling of Independent Tasks
for Reactive Systems},
journal = {IEEE Transactions on Computer-Aided Design},
volume = 24,
number = 10,
month = oct,
year = 2005,
pages = {1492--1514},
pdf = {files/tcad05_qss.pdf}
}
@article{Cortadella04d,
author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno
and Alexander Taubin and Yosinori Watanabe},
title = {Quasi-static Scheduling for Concurrent Architectures},
journal = {Fundamenta Informaticae},
volume = 62,
number = 2,
pages = {171-196},
month = jul,
year = 2004
}
@article{Cortadella03,
author = {Jordi Cortadella},
title = {Timing-driven logic bi-decomposition},
journal = {IEEE Transactions on Computer-Aided Design},
volume = 22,
number = 6,
month = jun,
year = 2003,
pages = {675--685},
pdf = {files/tcad03_bidec.pdf}
}
@article{Saito02,
author = {Hiroshi Saito and Alex Kondratyev and Jordi Cortadella and
Luciano Lavagno and Takashi Nanya and Alexander Yakovlev},
title = {Design of asynchronous controllers with delay insensitive
interface},
journal = {IEICE Transactions on Fundamentals of Electronics,
Communications and Computer Sciences},
volume = {E85-A},
number = 12,
pages = {2577--2585},
month = dec,
year = 2002,
pdf = {files/ieicetf02.pdf}
}
@article{Carmona02,
author = {Josep Carmona and Jordi Cortadella and Enric Pastor},
title = {A structural encoding technique for the synthesis of
asynchronous circuits},
journal = {Fundamenta Informaticae},
year = 2002,
volume = 50,
number = 2,
month = mar,
pages = {135--154},
pdf = {files/fi02.pdf}
}
@article{Cortadella02b,
author = {Jordi Cortadella and Michael Kishinevsky and Steve M. Burns
and Alex Kondratyev and Luciano Lavagno and Ken S. Stevens
and Alexander Taubin and Alexandre Yakovlev},
title = {Lazy transition systems and asynchronous circuit synthesis
with relative timing assumptions},
journal = {IEEE Transactions on Computer-Aided Design},
year = 2002,
month = feb,
volume = 21,
number = 2,
pages = {109-130},
pdf = {files/tcad02_rt.pdf}
}
@article{Pastor01,
author = {Enric Pastor and Jordi Cortadella and Oriol Roig},
title = {Symbolic Analysis of Bounded {P}etri Nets},
journal = {IEEE Transactions on Computers},
year = 2001,
month = may,
volume = 50,
number = 5,
pages = {432--448},
pdf = {files/tc01_pn.pdf}
}
@article{Cortadella99,
author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev and
Luciano Lavagno and Enric Pastor and Alexandre Yakovlev},
title = {Decomposition and Technology Mapping of Speed-Independent
Circuits Using {Boolean} Relations},
journal = {IEEE Transactions on Computer-Aided Design},
year = 1999,
month = sep,
volume = 18,
number = 9,
pages = {1221--1236},
pdf = {files/tcad99_br.pdf}
}
@article{Sanchez99,
author = {Ferm\'{\i}n S\'anchez and Jordi Cortadella},
title = {Optimal exploration of the unrolling degree for software
pipelining},
journal = {Journal of Systems Architecture},
volume = 45,
number = {6--7},
pages = {505--517},
year = 1999,
ps = {files/jsa99_unrolling.ps.gz}
}
@article{Kondratyev99,
author = {Alex Kondratyev and Jordi Cortadella and Michael Kishinevsky and
Luciano Lavagno and Alexander Yakovlev},
title = {Logic Decomposition of Speed-Independent Circuits},
journal = {Proceedings of the IEEE},
pages = {347--362},
year = 1999,
month = feb,
volume = 87,
number = 2,
pdf = {files/pieee99_decomp.pdf}
}
@article{Musoll98,
author = {Enric Musoll and Tom\'as Lang and Jordi Cortadella},
title = {Working-Zone Encoding for Reducing the Energy in
Microprocessor Address Buses},
journal = {IEEE Transactions on VLSI Systems},
pages = {568--572},
year = 1998,
month = dec,
volume = 6,
number = 4,
pdf = {files/tvlsi98_encoding.pdf}
}
@article{Pastor98,
author = {Enric Pastor and Jordi Cortadella and Alex Kondratyev and Oriol
Roig},
title = {Structural Methods for the Synthesis of Speed-Independent
Circuits},
journal = {IEEE Transactions on Computer-Aided Design},
pages = {1108--1129},
year = 1998,
month = nov,
volume = 17,
number = 11,
pdf = {files/tcad98_struct.pdf}
}
@article{Cortadella98,
author = {Jordi Cortadella and Michael Kishinevsky and Luciano Lavagno and
Alexandre Yakovlev},
title = {Deriving {Petri} Nets from Finite Transition Systems},
journal = {IEEE Transactions on Computers},
pages = {859--882},
year = 1998,
month = aug,
volume = 47,
number = 8,
pdf = {files/tc98_synpn.pdf}
}
@article{Musoll98b,
author = {Enric Musoll and Jordi Cortadella},
title = {Register-Transfer Level Transformations for Low-Power
Data-Paths},
journal = {Integrated Computer-Aided Engineering},
volume = 5,
number = 4,
pages = {315--332},
year = 1998
}
@article{Sanchez98,
author = {Ferm\'{\i}n S\'anchez and Jordi Cortadella},
title = {Reducing Register Pressure in Software Pipelining},
journal = {Journal of Information Science and Engineering (special issue
on Compiler Techniques for High-Performace Computing)},
volume = 14,
number = 1,
month = mar,
year = 1998,
pages = {265--279}
}
@article{Kondratyev98b,
author = {A. Kondratyev and M. Kishinevsky and A. Taubin and J. Cortadella
and L. Lavagno},
title = {The use of {Petri} nets for the design and verification of
asynchronous circuits and systems},
journal = {Journal of Circuits Systems and Computers},
pages = {67--118},
year = 1998,
volume = 8,
number = 1,
ps = {files/jcsc98.ps.gz}
}
@article{Cortadella97b,
author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev
and Luciano Lavagno and Alexandre Yakovlev},
title = {A Region-Based Theory for State Assignment in Speed-Independent
Circuits},
journal = {IEEE Transactions on Computer-Aided Design},
pages = {793--812},
year = 1997,
month = aug,
volume = 16,
number = 8,
pdf = {files/tcad97_csc.pdf}
}
@article{Lang97,
author = {Tom\'as Lang and Enric Musoll and Jordi Cortadella},
title = {Individual Flip-Flops with Gated Clocks for Low-Power
Datapaths},
journal = {IEEE Transactions on Circuits and Systems II},
volume = 44,
number = 6,
month = jun,
year = 1997,
pages = {507--516},
pdf = {files/tcas97_ff.pdf}
}
@article{Cortadella97c,
author = {J. Cortadella and M. Kishinevsky and A.Kondratyev and L. Lavagno
and A. Yakovlev},
title = {{Petrify}: a tool for manipulating concurrent specifications and
synthesis of asynchronous controllers},
journal = {IEICE Transactions on Information and Systems},
pages = {315--325},
year = 1997,
month = mar,
volume = {E80-D},
number = 3,
pdf = {files/ieice97.pdf}
}
@article{Cortadella94a,
author = {Jordi Cortadella and Tom\'as Lang},
title = {High-radix division and square root with speculation},
journal = {IEEE Transactions on Computers},
volume = 43,
number = 8,
month = aug,
year = 1994,
pages = {919--931},
pdf = {files/tc94_div.pdf}
}
@article{Sanchez93,
author = {Ferm\'{\i}n S\'anchez and Jordi Cortadella},
title = {Resource-constrained pipelining based on loop transformations},
journal = {Microprocessing and Microprogramming},
volume = 38,
number = {1--5},
pages = {429--436},
month = sep,
year = 1993,
ps = {files/euromicro93_loop.ps.gz}
}
@article{Badia93a,
author = {Rosa M. Badia and Jordi Cortadella},
title = {{GLASS}: a graph-theoretic approach for global binding},
journal = {Microprocessing and Microprogramming},
volume = 38,
number = {1--5},
pages = {775--782},
month = sep,
year = 1993,
ps = {files/euromicro93_glass.ps.gz}
}
@article{Cortadella92a,
author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a},
title = {Evaluation of {$A+B=K$} conditions without carry propagation},
journal = {IEEE Transactions on Computers},
volume = 41,
number = 11,
pages = {1484--1488},
month = nov,
year = 1992,
pdf = {files/tc92_abk.pdf}
}
@article{Cortadella92d,
author = {Jordi Cortadella and Teodor Jov\'e},
title = {Comments on {''Using Cache Mechanisms to Exploit non-Refreshing
DRAM's for On-Chip Memories''}},
journal = {IEEE Journal of Solid-State Circuits},
volume = 27,
number = 1,
pages = {132},
month = jan,
year = 1992,
pdf = {files/jssc92_cache.pdf}
}
@article{Cortadella91a,
author = {Jordi Cortadella and Rosa M. Badia and Eduard Ayguad\'e},
title = {Scheduling in a Continuous Area-Time Design Space},
journal = {Microprocessing and Microprogramming},
volume = 32,
number = {1--5},
pages = {199--206},
month = aug,
year = 1991
}
@article{jove89,
author = {Teodor Jov\'e and Jordi Cortadella},
title = {Reduced Instruction Buffer for {RISC} Architectures},
journal = {Microprocessing and Microprogramming},
volume = 27,
number = {1--5},
pages = {1987-1993},
month = aug,
year = 1989
}
@article{cortadella89,
author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a},
title = {Making Branches Transparent to the Execution Unit},
journal = {International Journal of Mini and Microcomputers},
volume = 11,
number = 1,
pages = {13--17},
month = jan,
year = 1989
}
@article{cortadella88c,
author = {Jordi Cortadella and Teodor Jov\'e},
title = {Dynamic {RAM} for On-Chip Instruction Caches},
journal = {Computer Architecture News},
volume = 16,
number = 4,
pages = {45--50},
month = sep,
year = 1988
}
@article{gonzalez88a,
author = {Antonio Gonz\'alez and Jos\'e M. Llaber\'{\i}a and Jordi
Cortadella},
title = {A Mechanism for reducing the cost of branches in {RISC}
architectures},
journal = {Microprocessing and Microprogramming},
volume = 24,
number = {1--5},
pages = {565--572},
month = aug,
year = 1988
}
@article{cortadella88b,
author = {Jordi Cortadella and Teodor Jov\'e},
title = {Designing a Branch Target Buffer for Executing Branches with
Zero Time Cost in a {RISC} Processor},
journal = {Microprocessing and Microprogramming},
volume = 24,
number = {1--5},
pages = {573--580},
month = aug,
year = 1988
}
@article{Cortadella88,
author = {Jordi Cortadella and Antonio Gonz\'alez and Jos\'e M.
Llaber\'{\i}a},
title = {{RISC}: un nuevo enfoque en el dise{\~n}o de procesadores},
journal = {Mundo electr\'onico},
volume = 180,
pages = {49--57},
month = jan,
year = 1988
}
This file was generated by bibtex2html 1.96.