Mark R. Greenstreet

发表

Ian M. Mitchell, Mark R. Greenstreet, M. Greenstreet, 1999, HSCC.
Mark R. Greenstreet, Trevor Wing Sang Lee, Carl-Johan H. Seger, 1995, IEEE Des. Test Comput..
Mark R. Greenstreet, Jihong Ren, 2005, Proceedings. 42nd Design Automation Conference, 2005..
Suwen Yang, Mark R. Greenstreet, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.
Suwen Yang, Mark R. Greenstreet, Chao Yan, 2013, Formal Methods in System Design.
Mark R. Greenstreet, Jørgen Staunstrup, 1988, BIT Comput. Sci. Sect..
Mark R. Greenstreet, Ashutosh Chakraborty, 2002, 15th Annual IEEE International ASIC/SOC Conference.
Shahriar Mirabbasi, Suwen Yang, Mark R. Greenstreet, 2010, IEEE Custom Integrated Circuits Conference 2010.
Mark R. Greenstreet, Tarik Ono-Tesfaye, M. Greenstreet, 2009, 2009 3rd ACM/IEEE International Symposium on Networks-on-Chip.
Suwen Yang, Mark R. Greenstreet, 2007 .
Yan Peng, Mark R. Greenstreet, Ian W. Jones, 2016, 2016 22nd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Mark R. Greenstreet, Peter Cahoon, 1994, Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems.
Suwen Yang, Mark R. Greenstreet, Ian W. Jones, 2009, 2009 15th IEEE Symposium on Asynchronous Circuits and Systems.
Suwen Yang, Mark R. Greenstreet, Ian W. Jones, 2011, 2011 17th IEEE International Symposium on Asynchronous Circuits and Systems.
Guy Lemieux, Mark R. Greenstreet, Paul Teehan, 2009, FPGA '09.
Mark R. Greenstreet, Peggy B. K. Pang, M. Greenstreet, 1997, Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.
Mark R. Greenstreet, Christoph Kern, M. Greenstreet, 1999, TODE.
Mark R. Greenstreet, Jihong Ren, 2006, 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'06).
Mark R. Greenstreet, 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
Mark R. Greenstreet, Tarik Ono-Tesfaye, 1999, Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems.
Ge Yu, Yan Peng, Mark R. Greenstreet, 2013, 2013 Formal Methods in Computer-Aided Design.
Suwen Yang, Mark R. Greenstreet, Brian D. Winters, 2005, 11th IEEE International Symposium on Asynchronous Circuits and Systems.
Mark R. Greenstreet, Aurélien Garivier, Anthony Winstanley, 2002, Proceedings Eighth International Symposium on Asynchronous Circuits and Systems.
Mark R. Greenstreet, Carl Kwan, 2018, ACL2.
Mark R. Greenstreet, Itrat A. Akhter, Justin Reiher, 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Suwen Yang, Mark R. Greenstreet, 2006, Electron. Notes Theor. Comput. Sci..
Mark R. Greenstreet, Jihong Ren, Chen Greif, 2007, Numer. Linear Algebra Appl..
Mark R. Greenstreet, Christoph Kern, Tarik Ono-Tesfaye, 1999, TACAS.
Mark R. Greenstreet, Anthony Winstanley, 2001, CHARME.
Mark R. Greenstreet, Peggy B. K. Pang, 1997 .
Suwen Yang, Mark R. Greenstreet, 2007, 2007 44th ACM/IEEE Design Automation Conference.
Mark R. Greenstreet, Chao Yan, 2008, 2008 Asia and South Pacific Design Automation Conference.
Guy Lemieux, Mark R. Greenstreet, Paul Teehan, 2007, IEEE Design & Test of Computers.
Mark R. Greenstreet, Christoph Kern, Tarik Ono-Tesfaye, 1999, International Journal on Software Tools for Technology Transfer.
Mark R. Greenstreet, Brad D. Bingham, M. Greenstreet, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications.
Mark R. Greenstreet, M. Greenstreet, 1999, Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems.
Jochen Eisinger, Mark R. Greenstreet, Chao Yan, 2010, 2010 IEEE Symposium on Asynchronous Circuits and Systems.
Mark R. Greenstreet, Claire J. Tomlin, C. Tomlin, 2002, Lecture Notes in Computer Science.
Mark R. Greenstreet, 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
Mark R. Greenstreet, John Erickson, Jesse D. Bingham, 2013, CAV.
Mark R. Greenstreet, Trevor Wing Sang Lee, Carl-Johan H. Seger, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Suwen Yang, Mark R. Greenstreet, Jihong Ren, 2007, 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07).
Mark R. Greenstreet, Brad D. Bingham, M. Greenstreet, 2012, IEEE Transactions on Computers.
Mark R. Greenstreet, Chao Yan, M. Greenstreet, 2008, 2008 Formal Methods in Computer-Aided Design.
Yan Peng, Mark R. Greenstreet, 2018, ACL2.
Mark R. Greenstreet, Gul A. Agha, Vijay Anand Korthikanti, 2011, 2011 International Conference on Parallel Processing.
Mark R. Greenstreet, Jihong Ren, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Mark R. Greenstreet, Jihong Ren, 2004, PATMOS.
Mark R. Greenstreet, Tarik Ono, M. Greenstreet, 2013, 2013 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM).
Suwen Yang, Mark R. Greenstreet, 2008, GLSVLSI '08.
Mark R. Greenstreet, Jesse D. Bingham, Brad D. Bingham, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
Mark R. Greenstreet, Steven J. E. Wilton, Bradley R. Quinton, 2008, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Mark R. Greenstreet, Brian D. Winters, 2003, Microprocess. Microsystems.
Yan Peng, Mark R. Greenstreet, 2015, ACL2.
Ian M. Mitchell, Mark R. Greenstreet, M. Greenstreet, 1998, HSCC.
Mark R. Greenstreet, Ajanta Chakraborty, M. Greenstreet, 2003, Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings..
Mark R. Greenstreet, Jørgen Staunstrup, Ted E. Wililams, 1987 .
Mark R. Greenstreet, Chao Yan, 2007 .
Mark R. Greenstreet, 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
Mark R. Greenstreet, Brad D. Bingham, M. Greenstreet, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Mark R. Greenstreet, 2009, ATVA.
Mark R. Greenstreet, Chao Yan, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
Mark R. Greenstreet, Steven J. E. Wilton, Bradley R. Quinton, 2005, 2005 International Conference on Computer Design.
Mark R. Greenstreet, Ameer Abdelhadi, 2017, 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Mark R. Greenstreet, Jørgen Staunstrup, 1988 .
Mark R. Greenstreet, Christoph Kern, Tarik Ono-Tesfaye, 1998, Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems.
Guy Lemieux, Mark R. Greenstreet, Paul Teehan, 2009, 2009 3rd ACM/IEEE International Symposium on Networks-on-Chip.
Ian M. Mitchell, Mark R. Greenstreet, I. Mitchell, 1996 .
Shahriar Mirabbasi, Guy Lemieux, Alan J. Hu, 2006, Proceedings of the IEEE.
Suwen Yang, Mark R. Greenstreet, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
Mark R. Greenstreet, M. Greenstreet, 1992, Designing Correct Circuits.
Mark R. Greenstreet, Justin Reiher, M. Greenstreet, 2020, 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Mark R. Greenstreet, Brian D. Winters, 2002, Proceedings Eighth International Symposium on Asynchronous Circuits and Systems.
Mark R. Greenstreet, Jihong Ren, 2004, IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings..
Mark R. Greenstreet, Ian W. Jones, Justin Reiher, 2018, 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Mark R. Greenstreet, Jihong Ren, 2003, IEEE Computer Society Annual Symposium on VLSI, 2003. Proceedings..
Mark R. Greenstreet, Chao Yan, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Mark R. Greenstreet, Brian de Alwis, M. Greenstreet, 2001, Proceedings Seventh International Symposium on Asynchronous Circuits and Systems. ASYNC 2001.
Kenneth Steiglitz, Mark R. Greenstreet, K. Steiglitz, 1990, J. VLSI Signal Process..
Ian M. Mitchell, Mark R. Greenstreet, Mohamed H. Zaki, 2009 .
Mark R. Greenstreet, 1994 .