Travelled to:1 × Greece
3 × USA
Collaborated with:R.K.Brayton A.L.Sangiovanni-Vincentelli A.Saldanha
Talks about:time (4) automata (2) exact (2) delay (2) tradeoff (1) properti (1) function (1) criteria (1) perform (1) minimum (1)
Person: William K. C. Lam
DBLP: Lam:William_K=_C=
Contributed to:
1994
199419931993Wrote 5 papers:
- CAV-1994-LamB #automaton
- Criteria for the Simple Path Property in Timed Automata (WKCL, RKB), pp. 27–40.
- DAC-1994-LamBS #finite #state machine
- Exact Minimum Cycle Times for Finite State Machines (WKCL, RKB, ALSV), pp. 100–105.
- CAV-1993-LamB #automaton
- Alternating RQ Timed Automata (WKCL, RKB), pp. 237–252.
- DAC-1993-LamBS #modelling #using
- Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions (WKCL, RKB, ALSV), pp. 128–134.
- DAC-1993-LamSBS #fault #performance #trade-off
- Delay Fault Coverage and Performance Tradeoffs (WKCL, AS, RKB, ALSV), pp. 446–452.