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 × France
1 × Germany
4 × USA
Collaborated with:
M.R.Mercer D.E.Ross J.M.C.Jr. J.A.Kumar H.Kim S.Vasudevan R.Kapur R.K.Gaede H.R.Gonçalves X.Li M.V.Correia V.Tavares E.J.Marinissen A.Singh D.Glotter M.Esposito A.Nahar D.Appello C.Portelli
Talks about:
test (4) topolog (2) effici (2) order (2) model (2) fault (2) adapt (2) use (2) algorithm (1) parallel (1)

Person: Kenneth M. Butler

DBLP DBLP: Butler:Kenneth_M=

Contributed to:

DATE 20152015
DAC 20122012
DATE 20102010
DAC 19911991
DAC 19901990
DAC 19881988

Wrote 6 papers:

DATE-2015-GoncalvesLCTCB #algorithm #modelling #performance #reduction
A fast spatial variation modeling algorithm for efficient test cost reduction of analog/RF circuits (HRG, XL, MVC, VT, JMCJ, KMB), pp. 1042–1047.
DAC-2012-KumarBKV #analysis #predict #source code #using
Early prediction of NBTI effects using RTL source code analysis (JAK, KMB, HK, SV), pp. 808–813.
DATE-2010-MarinissenSGECNBAP #adaptation #testing
Adapting to adaptive testing (EJM, AS, DG, ME, JMCJ, AN, KMB, DA, CP), pp. 556–561.
DAC-1991-ButlerRKM #diagrams #heuristic #order #performance
Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams (KMB, DER, RK, MRM), pp. 417–420.
DAC-1990-ButlerM #design #fault #performance
The Influences of Fault Type and Topology on Fault Model Performance and the Implications to Test and Testable Design (KMB, MRM), pp. 673–678.
DAC-1988-GaedeRMB #automation #concurrent #named #parallel #testing #using
CATAPULT: Concurrent Automatic Testing Allowing Parallelization and Using Limited Topology (RKG, DER, MRM, KMB), pp. 597–600.

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.