High-level algorithmic complexity evaluation for system design

Gprof

Susan L. Graham, Peter B. Kessler, Marshall Kirk McKusick · 1982 · 978 citations

Computing, Computer Science, Operating Systems +7

Shade: a fast instruction-set simulator for execution profiling

Bob Cmelik, David Keppel · 1994 · 642 citations

Engineering, Computer Engineering, Computer Science +13

Goal-directed evaluation of binarization methods

Anil K. Jain · IEEE Transactions on Pattern Analysis and Machine Intelligence · 1995 · 633 citations

Computing, Computer Science, Computer Vision +14

Calculating the maximum execution time of real-time programs

Peter Puschner, C. Koza · Real-Time Systems · 1989 · 582 citations

Computing, Computer Engineering, Computer Science +14

Design of embedded systems: formal models, validation, and synthesis

Stephen A. Edwards, Luciano Lavagno, Edward A. Lee et al. · Proceedings of the IEEE · 1997 · 525 citations

Engineering, Computer Engineering, Computer Science +12