Concepedia

Mark R. Greenstreet

MR

Statistics

Publications

39

Citations

1.7K

H-Index

20

Active since

1987

Affiliations

University of British Columbia(Current)

Oracle (United States)

Princeton University

Mark R. Greenstreet is an author at University of British Columbia specializing in computer engineering, engineering, and timing analysis.

Publications per year

1987–2017

39

Publications

39

Formal verification in hardware design

Christoph Kern, Mark R. Greenstreet · ACM Transactions on Design Automation of Electronic Systems · 1999 · 281 citations

Computing, Computer Engineering, Computer Science +15

System-on-Chip: Reuse and Integration

R. Saleh, Steven J. E. Wilton, Shahriar Mirabbasi et al. · Proceedings of the IEEE · 2006 · 264 citations

Engineering, Computer Engineering, Computer Science +17

A Survey and Taxonomy of GALS Design Styles

Paul Teehan, Mark R. Greenstreet, Guy Lemieux · IEEE Design & Test of Computers · 2007 · 177 citations

Engineering, Computer Engineering, Electrical Engineering +16

Efficient self-timed interfaces for crossing clock domains

Anirban Chakraborty, Mark R. Greenstreet · 2003 · 123 citations

Engineering, Computer Engineering, Computer Science +16

Energy Optimal Scheduling on Multiprocessors with Migration

Brad Bingham, Mark R. Greenstreet · 2008 · 73 citations

Computing, Computer Science, Computer Systems +17

1–5 of 39