Most cited papers in Embedded Systems Design Techniques
What are the most cited papers in Embedded Systems Design Techniques?
The most cited paper in Embedded Systems Design Techniques is "Computer Architecture: A Quantitative Approach" (John LeRoy Hennessy, David A. Patterson, 1989), with 9,556 citations. Next come "Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks" (4,727) and "Networks on chips: a new SoC paradigm" (3,769).
Showing 50 of 99 papers. Every paper with more than 777 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Computer Architecture: A Quantitative Approach John LeRoy Hennessy, David A. Patterson · UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno | Dec 1989 | 9,556 |
| 2 | Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks Paulo Tabuada · IEEE Transactions on Automatic Control | Sep 2007 | 4,727 |
| 3 | Networks on chips: a new SoC paradigm Luca Benini, Giovanni De Micheli · Computer | 2002 | 3,769 |
| 4 | A Bridging Model for Parallel Computation Leslie Gabriel Valiant · ACM eBooks | Aug 1990 | 3,701 |
| 5 | Cyber Physical Systems: Design Challenges Edward A. Lee | May 2008 | 3,535 |
| 6 | Route packets, net wires William J. Dally, Brian Towles | 2001 | 3,213 |
| 7 | Pin Chi-Keung Luk, Robert S. Cohn, Robert Muth et al. · ACM SIGPLAN Notices | 12 Jun 2005 | 3,209 |
| 8 | System architecture directions for networked sensors Jason Hill, Robert Szewczyk, Alec Woo et al. · ACM SIGPLAN Notices | Nov 2000 | 3,097 |
| 9 | The SimpleScalar tool set, version 2.0 Doug Burger, Todd M. Austin · ACM SIGARCH Computer Architecture News | Jun 1997 | 3,060 |
| 10 | DMDX: A Windows display program with millisecond accuracy Kenneth I. Forster, Jonathan C. Forster · Behavior Research Methods, Instruments, & Computers | Feb 2003 | 2,774 |
| 11 | How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs Lamport · IEEE Transactions on Computers | Sep 1979 | 2,537 |
| 12 | Roofline Samuel Williams, Andrew S. Waterman, David A. Patterson · Communications of the ACM | Apr 2009 | 2,477 |
| 13 | Computer-controlled systems: Theory and design C.R. Johnson · Automatica | Nov 1985 | 2,370 |
| 14 | Actors: A Model of Concurrent Computation in Distributed Systems Gul Agha · DSpace@MIT (Massachusetts Institute of Technology) | 1986 | 2,237 |
| 15 | MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communications Systems Chunho Lee, Miodrag Potkonjak, William H. Mangione-Smith | 1997 | 2,079 |
| 16 | Deadlock-Free Message Routing in Multiprocessor Interconnection Networks Dally, Seitz · IEEE Transactions on Computers | May 1987 | 2,048 |
| 17 | Symbolic Boolean manipulation with ordered binary-decision diagrams Randal E. Bryant · ACM Computing Surveys | Sep 1992 | 2,030 |
| 18 | Cyber-physical systems Ragunathan Raj Rajkumar, Insup Lee, Lui Sha et al. | 13 Jun 2010 | 1,983 |
| 19 | The worst-case execution-time problem—overview of methods and survey of tools Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl et al. · ACM Transactions on Embedded Computing Systems | Apr 2008 | 1,871 |
| 20 | Synchronous data flow Edward A. Lee, David G. Messerschmitt · Proceedings of the IEEE | 1987 | 1,827 |
| 21 | A survey of research and practices of Network-on-chip T. Bjerregaard, Shankar Mahadevan · ACM Computing Surveys | 29 Jun 2006 | 1,646 |
| 22 | The nesC language David E. Gay, Philip A. Levis, Robert von Behren et al. · ACM SIGPLAN Notices | Jul 2014 | 1,646 |
| 23 | SimpleScalar: an infrastructure for computer system modeling T. Austin, Eric D. Larson, Daniel J. Ernst · Computer | 2002 | 1,610 |
| 24 | Computational thinking Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing · ACM SIGCSE Bulletin | 7 Mar 2007 | 1,589 |
| 25 | Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann et al. · ACM SIGARCH Computer Architecture News | Nov 2005 | 1,557 |
| 26 | PVS: A prototype verification system Sam Owre, John Rushby, N. Shankar · Lecture notes in computer science | 1992 | 1,418 |
| 27 | Simultaneous multithreading Dean Michael Tullsen, Susan J. Eggers, Henry M. Levy | 1995 | 1,406 |
| 28 | A Tool for Checking ANSI-C Programs Edmund M. Clarke, Daniel Kroening, Flavio Lerda · Lecture notes in computer science | 2004 | 1,400 |
| 29 | Automated empirical optimizations of software and the ATLAS project R. Clint Whaley, Antoine P. Petitet, Jack J. Dongarra · Parallel Computing | 2001 | 1,333 |
| 30 | A Linear-Time Heuristic for Improving Network Partitions Charles M. Fiduccia, Robert M. Mattheyses | 1982 | 1,286 |
| 31 | Trace Scheduling: A Technique for Global Microcode Compaction Fisher · IEEE Transactions on Computers | Jul 1981 | 1,266 |
| 32 | An Automata-Theoretic Approach to Automatic Program Verification Moshe Y. Vardi, Pierre Wolper · Open Repository and Bibliography (University of Liège) | 1986 | 1,256 |
| 33 | Monitoring Temporal Properties of Continuous Signals Oded Maler, Dejan Ničković · Lecture notes in computer science | 2004 | 1,250 |
| 34 | A survey of design techniques for system-level dynamic power management Luca Benini, Alessandro Bogliolo, Givanni De Micheli · IEEE Transactions on Very Large Scale Integration (VLSI) Systems | Jun 2000 | 1,240 |
| 35 | Reconfigurable computing Katherine Compton, Scott Hauck · ACM Computing Surveys | Jun 2002 | 1,239 |
| 36 | A network on chip architecture and design methodology Shashi Bhusan Kumar, Axel Jantsch, Juha-Pekka Soininen et al. | 25 Jun 2003 | 1,205 |
| 37 | Specifying real-time properties with metric temporal logic Ron Koymans · Real-Time Systems | Nov 1990 | 1,197 |
| 38 | The iSLIP scheduling algorithm for input-queued switches N. McKeown · IEEE/ACM Transactions on Networking | Apr 1999 | 1,194 |
| 39 | The cosmic cube Charles L. Seitz · Communications of the ACM | 2 Jan 1985 | 1,175 |
| 40 | Finding Response Times in a Real-Time System Michelle Nyah Joseph · The Computer Journal | May 1986 | 1,168 |
| 41 | MIS: A Multiple-Level Logic Optimization System Robert K. Brayton, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Nov 1987 | 1,164 |
| 42 | Real-time dynamic voltage scaling for low-power embedded operating systems Padmanabhan S. Pillai, Kang Geun Shin | 21 Oct 2001 | 1,141 |
| 43 | VPR: a new packing, placement and routing tool for FPGA research Vaughn Betz, Jonathan Rose · Lecture notes in computer science | 1997 | 1,128 |
| 44 | Access and Alignment of Data in an Array Processor Duncan H. Lawrie · IEEE Transactions on Computers | Dec 1975 | 1,121 |
| 45 | Force-directed scheduling for the behavioral synthesis of ASICs Pierre G. Paulin, John P. Knight · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Jun 1989 | 1,115 |
| 46 | StreamIt: A Language for Streaming Applications William Thies, Michal Karczmarek, Saman P. Amarasinghe · Lecture notes in computer science | 2002 | 1,112 |
| 47 | Applying new scheduling theory to static priority pre-emptive scheduling Neil Audsley, A. Burns, Mike Richardson et al. · Software Engineering Journal | 1993 | 1,109 |
| 48 | Taming heterogeneity - the Ptolemy approach Johan Eker, Jörn W. Janneck, Edward A. Lee et al. · Proceedings of the IEEE | 2003 | 1,075 |
| 49 | MULTILISP: a language for concurrent symbolic computation Robert H. Halstead · ACM Transactions on Programming Languages and Systems | Oct 1985 | 1,075 |
| 50 | The AETG system: an approach to testing based on combinatorial design David Marshall Cohen, Siddhartha R. Dalal, Michael L. Fredman et al. · IEEE Transactions on Software Engineering | Jul 1997 | 1,034 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for a field when OpenAlex files it under one of the field's topics; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.