 | 2012 |
| 16 |  | Henry Hoffmann,
Jim Holt,
George Kurian,
Eric Lau,
Martina Maggio,
Jason E. Miller,
Sabrina M. Neuman,
Mahmut E. Sinangil,
Yildiz Sinangil,
Anant Agarwal,
Anantha P. Chandrakasan,
Srinivas Devadas:
Self-aware computing in the Angstrom processor.
DAC 2012: 259-264 |
| 15 |  | Etem Deniz,
Alper Sen,
Jim Holt:
Verification coverage of embedded multicore applications.
DATE 2012: 252-255 |
| 2011 |
| 14 |  | Dac Pham,
Jim Holt,
Sanjay Deshpande:
Embedded Multicore Systems: Design Challenges and Opportunities.
Multiprocessor System-on-Chip 2011: 197-222 |
| 2009 |
| 13 |  | Subodh Sharma,
Ganesh Gopalakrishnan,
Eric Mercer,
Jim Holt:
MCC: A runtime verification tool for MCAPI user applications.
FMCAD 2009: 41-44 |
| 12 |  | Jim Holt,
Jaideep Dastidar,
David Lindberg,
John Pape,
Peng Yang:
System-level Performance Verification of Multicore Systems-on-Chip.
MTV 2009: 83-87 |
| 11 |  | Jim Holt,
Anant Agarwal,
Sven Brehmer,
Max J. Domeika,
Patrick Griffin,
Frank Schirrmeister:
Software Standards for the Multicore Era.
IEEE Micro 29(3): 40-51 (2009) |
| 2007 |
| 10 |  | Dam Sunwoo,
Hassan Al-Sukhni,
Jim Holt,
Derek Chiou:
Early Models for System-Level Power Estimation.
MTV 2007: 8-14 |
| 2003 |
| 9 |  | K. Suzanne Barber,
Jim Holt,
Geoff Baker:
Early Multi-Level Software Architecture Performance Evaluations.
SEKE 2003: 561-569 |
| 8 |  | K. Suzanne Barber,
Thomas J. Graser,
Jim Holt:
Evaluating dynamic correctness properties of domain reference architectures.
Journal of Systems and Software 68(3): 217-231 (2003) |
| 7 |  | K. Suzanne Barber,
Thomas J. Graser,
Jim Holt,
Geoff Baker:
Arcade: early dynamic property evaluation of requirements using partitioned software architecture models.
Requir. Eng. 8(4): 222-235 (2003) |
| 2002 |
| 6 |  | K. Suzanne Barber,
Thomas J. Graser,
Jim Holt:
Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation.
ASE 2002: 172-182 |
| 5 |  | K. Suzanne Barber,
Jim Holt,
Geoff Baker:
Performance evaluation of domain reference architectures.
SEKE 2002: 225-232 |
| 2001 |
| 4 |  | K. Suzanne Barber,
Thomas J. Graser,
Jim Holt:
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.
ASE 2001: 341-345 |
| 3 |  | K. Suzanne Barber,
Thomas J. Graser,
Jim Holt:
A Multi-Level Software Architecture Metamodel to Support the Capture and Evaluation of Stakeholder Concerns.
ISAS-SCI (1) 2001: 337-342 |
| 2 |  | K. Suzanne Barber,
Thomas J. Graser,
Jim Holt:
Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking.
SEKE 2001: 19-28 |
| 1 |  | K. Suzanne Barber,
Jim Holt:
Software Architecture Correctness.
IEEE Software 18(6): 64-65 (2001) |