Travelled to:1 × Argentina
1 × Germany
1 × Italy
1 × United Kingdom
4 × USA
Collaborated with:K.S.Barber T.J.Graser G.Baker E.Deniz A.Sen C.Wang S.Chandrasekaran P.Sun B.M.Chapman H.Hoffmann G.Kurian E.Lau M.Maggio J.E.Miller S.M.Neuman M.E.Sinangil Y.Sinangil A.Agarwal A.P.Chandrakasan S.Devadas
Talks about:architectur (5) evalu (4) softwar (3) earli (3) use (3) properti (2) multicor (2) perform (2) domain (2) applic (2)
Person: Jim Holt
DBLP: Holt:Jim
Contributed to:
2013
2012
2012
2003
2002200220012001Wrote 8 papers:
- LCTES-2013-WangCSCH #api #embedded #manycore #using
- Portable mapping of openMP to multicore embedded systems using MCA APIs (CW, SC, PS, BMC, JH), pp. 153–162.
- DAC-2012-HoffmannHKLMMNSSACD #self
- Self-aware computing in the Angstrom processor (HH, JH, GK, EL, MM, JEM, SMN, MES, YS, AA, APC, SD), pp. 259–264.
- DATE-2012-DenizSH #embedded #manycore #verification
- Verification coverage of embedded multicore applications (ED, AS, JH), pp. 252–255.
- SEKE-2003-BarberHB #architecture #multi #performance
- Early Multi-Level Software Architecture Performance Evaluations (KSB, JH, GB), pp. 561–569.
- ASE-2002-BarberGH #architecture #evaluation #non-functional #using
- Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation (KSB, TJG, JH), pp. 172–182.
- SEKE-2002-BarberHB #architecture #evaluation #performance
- Performance evaluation of domain reference architectures (KSB, JH, GB), pp. 225–232.
- ASE-2001-BarberGH #architecture #automation #development #feedback #model checking
- Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures (KSB, TJG, JH), pp. 341–345.
- SEKE-2001-BarberGH #architecture #correctness #model checking #simulation #using
- Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking (KSB, TJG, JH), pp. 19–28.