-
1
المؤلفون: Anish Krishnakumar, Umit Ogras, Radu Marculescu, Mike Kishinevsky, Trevor Mudge
المصدر: ACM Transactions on Embedded Computing Systems. 22:1-26
مصطلحات موضوعية: Hardware and Architecture, Software
-
2Academic Journal
المؤلفون: Jordi Cortadella, Mike Kishinevsky
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, B.5.2 [Register- transfer-level implementation, Design Aids. General Terms, Design, Theory, Verification. Keywords, Elastic designs, protocols, synthesis
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.550.9901; http://www.lsi.upc.edu/~jordicf/gavina/BIB/files/dac07_early.pdf
-
3Academic Journal
المؤلفون: Jordi Cortadella, Mike Kishinevsky
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.622.7031; http://www.csee.ogi.edu/~krstics/psfiles/KCKO.pdf
-
4Academic Journal
المؤلفون: David Baneres, Jordi Cortadella, Mike Kishinevsky
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, B.6.3 [Hardware, Logic Design- Design Aids, J.6 [Computer Applications, Computeraided engineering Terms, Algorithms, Design. Keywords, Boolean relations, decomposition, logic design
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9241; http://www.lsi.upc.es/~jordic/publications/pdf/dac04.pdf
-
5
المؤلفون: Jordi Cortadella, Marc Galceran-Oms, Mike Kishinevsky
المساهمون: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
المصدر: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instnameمصطلحات موضوعية: Delay, Circuits electrònics -- Disseny i construcció, Electronic circuit design, Registers, Enginyeria electrònica::Microelectrònica::Circuits integrats [Àrees temàtiques de la UPC], Latches, Receivers, Throughput, Multiplexing, Elasticity
وصف الملف: application/pdf
-
6Academic Journal
المؤلفون: David Bañeres, Jordi Cortadella, Mike Kishinevsky
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/dac04/pdffiles/p416.pdf.
مصطلحات موضوعية: Categories and Subject Descriptors, B.6.3 [Hardware, Logic Design- Design Aids, J.6 [Computer Applications, Computeraided engineering Terms, Algorithms, Design. Keywords, Boolean relations, decomposition, logic design
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.6466; http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/dac04/pdffiles/p416.pdf
-
7Academic Journal
المؤلفون: Marc Galceran-oms, Jordi Cortadella, Dmitry Bufistov, Mike Kishinevsky
المساهمون: The Pennsylvania State University CiteSeerX Archives
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.659.7896; http://www.date-conference.com/proceedings/PAPERS/2010/DATE10/PDFFILES/IP3_08.PDF
-
8Academic Journal
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, B.5.2 [Register-transfer-level implementation, Design Aids. General Terms, Design, Theory, Performance. Keywords, Elastic systems, early evaluation, optimization
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.557.7638; http://webdiis.unizar.es/~julvez/pub/09dac.pdf
-
9Academic Journal
المؤلفون: Marc Galceran-oms, Jordi Cortadella, Mike Kishinevsky
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: General Terms, Design, Theory, Verification. Keywords, Elastic designs, speculation, protocols, synthesis
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.553.3181; http://www.lsi.upc.edu/~jordicf/gavina/BIB/files/speculation_dac09.pdf
-
10Academic Journal
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.542.9172; http://www.lsi.upc.edu/~jordicf/gavina/BIB/files/retiming_recycling_iccad07.pdf
-
11Academic Journal
المؤلفون: David Baneres, Jordi Cortadella, Mike Kishinevsky
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, B.6.3 [Hardware, Logic Design- Design Aids, J.6 [Computer Applications, Computer- aided engineering Terms, Algorithms, Design. Keywords, Logic design, timing optimization, decomposition
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.517.8078; http://www.lsi.upc.edu/~jordicf/gavina/BIB/files/baneres_glvlsi09.pdf
-
12Academic Journal
المؤلفون: Jordi Cortadella, Mike Kishinevsky
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.482.8266; http://www.csee.ogi.edu/~krstics/self_abstract.pdf
-
13Academic Journal
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.1454; http://www.lsi.upc.edu/~jordicf/Research/gavina/BIB/files/nocs_2010.pdf
-
14Academic Journal
المؤلفون: Jordi Cortadella, Mike Kishinevsky, Bill Grundmann
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.1581; http://www.lsi.upc.edu/~jordicf/gavina/BIB/reports/self_tr.pdf
-
15Conference
المؤلفون: Sava Krstic, Jordi Cortadella, Mike Kishinevsky, John O'Leary
المصدر: 2006 Formal Methods in Computer Aided Design; 2006, p19-30, 12p