Get started
Author

Christopher Healy

Observed names: C. Healy, C.A. Healy, Christopher A. Healy, Healy, Christopher
ORCID: 0000-0001-5916-5115
Observed ORCID: 0000-0001-5916-5115
OpenAlex ID: A5078359262
Bounding pipeline and instruction cache performance
1999 · C.A. Healy, R.D. Arnold, et al. · IEEE Transactions on Computers · 208
Integrating the timing analysis of pipelining and instruction caching
2002 · C.A. Healy, D.B. Whalley, et al. · IEEE Real-Time Systems Symposium (RTSS) · 169
Timing analysis for data caches and set-associative caches
2002 · R.T. White, F. Mueller, et al. · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · 153
Supporting Timing Analysis by Automatic Bounding of Loop Iterations
2000 · Christopher Healy, Mikael Sjödin, et al. · Real-Time Systems · 130
Bounding loop iterations for timing analysis
2002 · C. Healy, M. Sjodin, et al. · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · 106
Parametric Timing Analysis
2001 · Emilio Vivancos, Christopher Healy, et al. · ACM SIGPLAN Notices · 69
PDF
Automatic detection and exploitation of branch constraints for timing analysis
2002 · C.A. Healy, D.B. Whalley · IEEE Transactions on Software Engineering · 57
Tighter timing predictions by automatic detection and exploitation of value-dependent constraints
2003 · C. Healy, D. Whaley · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · 50
Timing Analysis for Sensor Network Nodes of the Atmega Processor Family
2005 · S. Mohan, F. Mueller, et al. · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · 29
Tuning the WCET of embedded applications
2004 · Wankang Zhao, P. Kulkarni, et al. · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · 28
Parametric Timing Analysis
2001 · Emilio Vivancos, Christopher Healy, et al. · ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) · 28
Generalizing parametric timing analysis
2007 · Joel Coffman, Christopher Healy, et al. · ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) · 25
ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling
2006 · S. Mohan, F. Mueller, et al. · IEEE Real-Time Systems Symposium (RTSS) · 25
Improving WCET by applying a WC code-positioning optimization
2005 · Wankang Zhao, David Whalley, et al. · ACM Transactions on Architecture and Code Optimization · 25
PDF
WCET Code Positioning
2005 · Wankang Zhao, D. Whalley, et al. · IEEE Real-Time Systems Symposium (RTSS) · 24
Improving WCET by Optimizing Worst-Case Paths
2005 · Wankang Zhao, W. Kreahling, et al. · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · 24
Supporting the specification and analysis of timing constraints
2002 · Lo Ko, C. Healy, et al. · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · 18
Parametric timing analysis and its application to dynamic voltage scaling
2010 · Sibin Mohan, Frank Mueller, et al. · ACM Transactions on Embedded Computing Systems · 16
Improving WCET by applying worst-case path optimizations
2006 · Wankang Zhao, William Kreahling, et al. · Real-Time Systems · 13
Timing constraint specification and analysis
1999 · Lo Ko, Nagham Al-Yaqoubi, et al. · Software Practice and Experience · 12
PDF
Parametric Timing Analysis
2001 · Emilio Vivancos, Christopher Healy, et al. · ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems (OM) · 11
Generalizing parametric timing analysis
2007 · Joel Coffman, Christopher Healy, et al. · ACM SIGPLAN Notices · 6
Computer science in general education: beyond quantitative reasoning
2016 · Andrea Tartaro, Christopher Healy, et al. · Journal of computing sciences in colleges · 5
A flexible tool for visualizing assembly code
2005 · Joshua C. Estep, Christopher Healy · Journal of computing sciences in colleges · 4
Introducing practical applications into a computational theory class
2004 · William Hawkins, Christopher Healy · Journal of computing sciences in colleges · 3
Works count: 35
Citation count: 1,245
H-index: 17
I10-index: 21
Year
Topic
Type