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: Krishnakumar:A=_S=
Contributed to:
1994
199319931987Wrote 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.