dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jim Holt Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEtem Deniz, Alper Sen, Jim Holt: Verification coverage of embedded multicore applications. DATE 2012: 252-255
2011
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDac Pham, Jim Holt, Sanjay Deshpande: Embedded Multicore Systems: Design Challenges and Opportunities. Multiprocessor System-on-Chip 2011: 197-222
2009
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt: MCC: A runtime verification tool for MCAPI user applications. FMCAD 2009: 41-44
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Holt, Jaideep Dastidar, David Lindberg, John Pape, Peng Yang: System-level Performance Verification of Multicore Systems-on-Chip. MTV 2009: 83-87
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDam Sunwoo, Hassan Al-Sukhni, Jim Holt, Derek Chiou: Early Models for System-Level Power Estimation. MTV 2007: 8-14
2003
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Suzanne Barber, Jim Holt, Geoff Baker: Early Multi-Level Software Architecture Performance Evaluations. SEKE 2003: 561-569
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Suzanne Barber, Thomas J. Graser, Jim Holt: Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation. ASE 2002: 172-182
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Suzanne Barber, Jim Holt, Geoff Baker: Performance evaluation of domain reference architectures. SEKE 2002: 225-232
2001
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Suzanne Barber, Jim Holt: Software Architecture Correctness. IEEE Software 18(6): 64-65 (2001)

Coauthor Index

1Anant Agarwal [11] [16]
2Hassan Al-Sukhni [10]
3Geoff Baker [5] [7] [9]
4K. Suzanne Barber (Kathleen Suzanne Barber) [1] [2] [3] [4] [5] [6] [7] [8] [9]
5Sven Brehmer [11]
6Anantha Chandrakasan (Anantha P. Chandrakasan) [16]
7Derek Chiou [10]
8Jaideep Dastidar [12]
9Etem Deniz [15]
10Sanjay Deshpande [14]
11Srinivas Devadas [16]
12Max J. Domeika [11]
13Ganesh Gopalakrishnan [13]
14Thomas J. Graser [2] [3] [4] [6] [7] [8]
15Patrick Griffin [11]
16Henry Hoffmann (Hank Hoffmann) [16]
17George Kurian [16]
18Eric Lau [16]
19David Lindberg [12]
20Martina Maggio [16]
21Eric Mercer (Eric G. Mercer) [13]
22Jason E. Miller [16]
23Sabrina M. Neuman [16]
24John Pape [12]
25Dac Pham [14]
26Frank Schirrmeister [11]
27Alper Sen [15]
28Subodh Sharma [13]
29Mahmut E. Sinangil [16]
30Yildiz Sinangil [16]
31Dam Sunwoo [10]
32Peng Yang [12]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page