BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

LCTES 20132013
DAC 20122012
DATE 20122012
SEKE 20032003
ASE 20022002
SEKE 20022002
ASE 20012001
SEKE 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.