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 × Greece
2 × USA
Collaborated with:
K.Cheng P.Agrawal W.J.Dally A.K.Ezzat W.C.Fischer H.V.Jagadish
Talks about:
state (3) reachabl (2) machin (2) extend (2) model (2) finit (2) architectur (1) function (1) modular (1) hardwar (1)

Person: A. S. Krishnakumar

DBLP DBLP: Krishnakumar:A=_S=

Contributed to:

DAC 19941994
CAV 19931993
DAC 19931993
DAC 19871987

Wrote 4 papers:

DAC-1994-KrishnakumarC #hybrid #modelling #on the #set
On the Computation of the Set of Reachable States of Hybrid Models (ASK, KTC), pp. 615–621.
CAV-1993-Krishnakumar #composition #finite #reachability #state machine
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems (ASK), pp. 110–122.
DAC-1993-ChengK #automation #finite #functional #generative #state machine #testing #using
Automatic Functional Test Generation Using the Extended Finite State Machine Model (KTC, ASK), pp. 86–91.
DAC-1987-AgrawalDEFJK #architecture #design #hardware
Architecture and Design of the MARS Hardware Accelerator (PA, WJD, AKE, WCF, HVJ, ASK), pp. 101–107.

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.