Stephen A. Edwards
发表
Stephen A. Edwards,
Nalini Vasudevan,
Kedar S. Namjoshi,
2010,
2010 19th International Conference on Parallel Architectures and Compilation Techniques (PACT).
Stephen A. Edwards,
2004
.
Stephen A. Edwards,
Edward A. Lee,
S. Edwards,
2003,
Sci. Comput. Program..
Stephen A. Edwards,
Olivier Tardieu,
Cristian Soviani,
2006,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stephen A. Edwards,
Angelos D. Keromytis,
Cristian Soviani,
2005
.
Stephen A. Edwards,
Marcio Buss,
Bin Yao,
2005
.
Stephen A. Edwards,
Olivier Tardieu,
S. Edwards,
2006,
EMSOFT '06.
Stephen A. Edwards,
S. Edwards,
2002,
IWLS.
Stephen A. Edwards,
Jia Zeng,
Cristian Soviani,
2004,
LCTES '04.
Stephen A. Edwards,
Neil Ashish Deshpande,
2012
.
Stephen A. Edwards,
Nalini Vasudevan,
Julian Dolby,
2008
.
Stephen A. Edwards,
Cristian Soviani,
Ilija Hadzic,
2009,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stephen A. Edwards,
Jia Zeng,
S. Edwards,
2008,
PEPM '08.
Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
2004,
SYNCHRON.
Stephen A. Edwards,
Nalini Vasudevan,
Julian Dolby,
2009,
CC.
Stephen A. Edwards,
Hiren D. Patel,
Sungjun Kim,
2009
.
Stephen A. Edwards,
Jia Zeng,
Cristian Soviani,
2004
.
Stephen A. Edwards,
Nalini Vasudevan,
S. Edwards,
2010,
2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW).
Stephen A. Edwards,
Jared R. Pochtar,
2012
.
Stephen A. Edwards,
Hiren D. Patel,
2014,
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Stephen A. Edwards,
2013
.
Stephen A. Edwards,
Edward A. Lee,
2007
.
Stephen A. Edwards,
Stephen Anthony Edwards,
2006,
IEEE Design & Test of Computers.
Stephen A. Edwards,
Nalini Vasudevan,
S. Edwards,
2009,
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Stephen A. Edwards,
S. Edwards,
Stephen Anthony Edwards,
2003,
TODE.
Stephen A. Edwards,
Edward A. Lee,
Hiren D. Patel,
2008,
CASES '08.
Stephen A. Edwards,
Olivier Tardieu,
2006,
IEEE Trans. Very Large Scale Integr. Syst..
Stephen A. Edwards,
Martha A. Kim,
Richard Townsend,
2019,
ACM Trans. Embed. Comput. Syst..
Stephen A. Edwards,
Stephen Anthony Edwards,
2000
.
Stephen A. Edwards,
Chun Li,
2004
.
Stephen A. Edwards,
Cristian Soviani,
Stephen Anthony Edwards,
2007
.
Stephen A. Edwards,
Joseph T. Buck,
2016
.
Stephen A. Edwards,
Martha A. Kim,
2010,
ISCA'10.
Stephen A. Edwards,
S. Edwards,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Stephen A. Edwards,
Nalini Vasudevan,
S. Edwards,
2010,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stephen A. Edwards,
S. Edwards,
2018,
Principles of Modeling.
Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
2005,
SYNCHRON.
Tiziano Villa,
Stephen A. Edwards,
Szu-Tsung Cheng,
1996,
CAV.
Stephen A. Edwards,
Daniel Brand,
Marcio Buss,
2010,
Sci. Comput. Program..
Stephen A. Edwards,
Olivier Tardieu,
S. Edwards,
2005,
ATVA.
Stephen A. Edwards,
Nalini Vasudevan,
S. Edwards,
2010
.
Stephen A. Edwards,
Stephen Jan,
Paolo de Dios,
2003,
2003 Design, Automation and Test in Europe Conference and Exhibition.
Stephen A. Edwards,
Martha A. Kim,
Richard Townsend,
2017,
CC.
Stephen A. Edwards,
2012
.
Stephen A. Edwards,
Nicolas Halbwachs,
Robert de Simone,
2003,
Proc. IEEE.
Stephen A. Edwards,
Stephen Jan,
Paolo de Dios,
2003,
Embedded Software for SoC.
Stephen A. Edwards,
Kenneth A. Ross,
Martha A. Kim,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Stephen A. Edwards,
Olivier Tardieu,
Cristian Soviani,
2006
.
Stephen A. Edwards,
Cristian Soviani,
Ilija Hadzic,
2006,
2006 43rd ACM/IEEE Design Automation Conference.
Stephen A. Edwards,
Olivier Tardieu,
S. Edwards,
2006
.
Stephen A. Edwards,
Nalini Vasudevan,
2009
.
Stephen A. Edwards,
2000
.
Stephen A. Edwards,
Olivier Tardieu,
S. Edwards,
2006
.
Stephen A. Edwards,
Daniel Brand,
Marcio Buss,
2007
.
Stephen A. Edwards,
John Hui,
S. Edwards,
2020,
2020 Forum for Specification and Design Languages (FDL).
Stephen A. Edwards,
T. Ma,
R. Damiano,
2001,
ASICON 2001. 2001 4th International Conference on ASIC Proceedings (Cat. No.01TH8549).
Stephen A. Edwards,
Joseph T. Buck,
2016
.
Stephen A. Edwards,
Xiaoyu Song,
Osama Neiroukh,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stephen A. Edwards,
Martha A. Kim,
Lisa Wu,
2012,
IEEE Computer Architecture Letters.
Stephen A. Edwards,
Javier Coca,
Chen-Chun Huang,
2006
.
Stephen A. Edwards,
Cristian Soviani,
S. Edwards,
2005
.
Stephen A. Edwards,
Martha A. Kim,
Kuangya Zhai,
2015,
2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
Stephen A. Edwards,
Nalini Vasudevan,
Baolin Shao,
2009,
EMSOFT '09.
Stephen A. Edwards,
2000,
DAC.
Stephen A. Edwards,
Olivier Tardieu,
S. Edwards,
2008,
SLA++P@ETAPS.
Stephen A. Edwards,
Nicholas Jun Hao Ip,
S. Edwards,
2006,
EUC.
Luca Benini,
Stephen A. Edwards,
Yunheung Paek,
2009
.
Stephen A. Edwards,
2006,
PEPM '06.
Stephen A. Edwards,
Robert K. Brayton,
Gitanjali Swamy,
1998,
Proceedings Eleventh International Conference on VLSI Design.
Stephen A. Edwards,
Haim Cohen,
2007
.
Stephen A. Edwards,
S. Edwards,
Stephen Anthony Edwards,
2005,
Design, Automation and Test in Europe.
Stephen A. Edwards,
1999,
CODES '99.
Stephen A. Edwards,
1994
.
Stephen A. Edwards,
Kenneth A. Ross,
Mingoo Seok,
2019,
2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA).
Stephen A. Edwards,
David Lariviere,
2008
.
Stephen A. Edwards,
Kenneth A. Ross,
Martha A. Kim,
2017,
DaMoN.
Stephen A. Edwards,
Edward A. Lee,
Albert Benveniste,
2009,
SYNCHRON 2009.
Stephen A. Edwards,
S. Edwards,
2005,
SIGBED.
Stephen A. Edwards,
Jia Zeng,
Chuck Mitchell,
2006
.
Stephen A. Edwards,
Jia Zeng,
S. Edwards,
2008
.
Stephen A. Edwards,
Reinhard von Hanxleden,
Thomas Stauner,
2005
.
Stephen A. Edwards,
2012
.
Stephen A. Edwards,
Nalini Vasudevan,
Satnam Singh,
2008,
2008 IEEE International Symposium on Parallel and Distributed Processing.
Stephen A. Edwards,
S. Edwards,
Stephen Anthony Edwards,
2012,
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012).
Stephen A. Edwards,
S. Edwards,
Stephen Anthony Edwards,
1998
.
Stephen A. Edwards,
Olivier Tardieu,
S. Edwards,
2006,
LCTES '06.
Stephen A. Edwards,
Nalini Vasudevan,
S. Edwards,
2009,
SAC '09.
Stephen A. Edwards,
Alfred V. Aho,
Marcio Buss,
2008
.
Stephen A. Edwards,
Ravindra Babu Ganapathi,
2008
.
Stephen A. Edwards,
Nicolas Halbwachs,
Paul Caspi,
1997
.
Stephen A. Edwards,
Edward A. Lee,
Luciano Lavagno,
1997,
Proc. IEEE.
Stephen A. Edwards,
Xiaoyu Song,
Osama Neiroukh,
2006,
IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures (ISVLSI'06).
Stephen A. Edwards,
Nalini Vasudevan,
S. Edwards,
2008,
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
Stephen A. Edwards,
Olivier Tardieu,
S. Edwards,
2005,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..
Stephen A. Edwards,
Becky Plummer,
Mukul Khajanchi,
2006
.
Stephen A. Edwards,
Olivier Tardieu,
2006
.
Stephen A. Edwards,
Dumitru Potop-Butucaru,
Gérard Berry,
2007
.
Stephen A. Edwards,
2009
.
High level modeling and validation methodologies for embedded systems: bridging the productivity gap
Stephen A. Edwards,
Sandeep K. Shukla,
Rajesh K. Gupta,
2003,
16th International Conference on VLSI Design, 2003. Proceedings..
Stephen A. Edwards,
Nalini Vasudevan,
Dave Aaron Smith,
2008
.
Stephen A. Edwards,
2000
.
Stephen A. Edwards,
S. Edwards,
2009,
SEUS.
Stephen A. Edwards,
Jia Zeng,
S. Edwards,
2005,
ICESS.
Stephen A. Edwards,
Christopher L. Conway,
2004,
LCTES '04.
Stephen A. Edwards,
Olivier Tardieu,
Smridh Thapar,
2006
.
Stephen A. Edwards,
Edward A. Lee,
S. Edwards,
2007,
2007 44th ACM/IEEE Design Automation Conference.
Stephen A. Edwards,
Olivier Tardieu,
S. Edwards,
2005,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Stephen A. Edwards,
2009,
Embedded Systems Design and Verification.
Stephen A. Edwards,
Martha A. Kim,
Richard Townsend,
2017,
MEMOCODE.
Stephen A. Edwards,
2000
.
Stephen A. Edwards,
Neesha Subramaniam,
Oda Ohan,
2006
.
Stephen A. Edwards,
Bin Yao,
Marcio Buss,
2005,
Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05).
Stephen A. Edwards,
Edward A. Lee,
Martin Schoeberl,
2009,
2009 IEEE International Conference on Computer Design.
Stephen A. Edwards,
Edward A. Lee,
Martin Schoeberl,
2009
.
Stephen A. Edwards,
Angelos D. Keromytis,
Gail E. Kaiser,
2002
.
Stephen A. Edwards,
Jia Zeng,
Cristian Soviani,
2004
.
Stephen A. Edwards,
Nalini Vasudevan,
S. Edwards,
2011
.
Stephen A. Edwards,
Olivier Tardieu,
S. Edwards,
2006,
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Stephen A. Edwards,
Nalini Vasudevan,
Olivier Tardieu,
2008,
2008 Design, Automation and Test in Europe.
Stephen A. Edwards,
Michael Halasz,
Vimal Kapadia,
2006,
SLAP@ETAPS.
Stephen A. Edwards,
Jia Zeng,
S. Edwards,
2007,
EURASIP J. Embed. Syst..
Stephen A. Edwards,
Klaus Schneider,
Alain Girault,
2013,
Dagstuhl Reports.
Stephen A. Edwards,
S. Edwards,
2003
.
Stephen A. Edwards,
2010
.
Stephen A. Edwards,
Nalini Vasudevan,
S. A. Edwards,
2010,
Synthesis of Embedded Software.
Stephen A. Edwards,
S. Edwards,
2004,
SYNCHRON.
Stephen A. Edwards,
S. Edwards,
Stephen Anthony Edwards,
2001
.
Stephen A. Edwards,
2006
.
Stephen A. Edwards,
Wei-Chung Hsu,
David Lariviere,
2006
.
Stephen A. Edwards,
Nicolas Halbwachs,
Reinhard von Hanxleden,
2004,
SYNCHRON.
Stephen A. Edwards,
Jia Zeng,
Chuck Mitchell,
2006,
LDTA@ETAPS.
Stephen A. Edwards,
S. Edwards,
2002,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Stephen A. Edwards,
Kenneth A. Ross,
Martha A. Kim,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Stephen A. Edwards,
Nalini Vasudevan,
2006
.
Stephen A. Edwards,
Kedar S. Namjoshi,
Dennis Dams,
2005,
CAV.
Stephen A. Edwards,
Daniel Brand,
Marcio Buss,
2008,
SAC '08.
Stephen A. Edwards,
Cristian Soviani,
2008
.
Stephen A. Edwards,
2005
.
Stephen A. Edwards,
Martha A. Kim,
Richard Townsend,
2015
.