Download:
|
by Eric G. Mercer, Eric G. Mercer, Erik Brunvand, Yong-bin Kim, Date Chris, J. Myers, David S. Chapman
http://www.async.elen.utah.edu/~eemercer/papers/ms_thesis.ps.gz
Add To MetaCart
Abstract:
committee and by majority vote has been found to be satisfactory.
Citations
|
386
|
Introduction to the Numerical Solution of Markov Chains
– Stewart
- 1994
|
|
360
|
Algorithms in C
– Sedgewick
- 1992
|
|
254
|
Modelling with Generalized Stochastic Petri Nets
– Marsan, Balbo, et al.
- 1995
|
|
224
|
Event structures
– Winskel
- 1987
|
|
223
|
Simulation and the monte carlo method
– Rubinstein
- 1981
|
|
121
|
Asynchronous Design Methodologies: An Overview
– Hauck
- 1995
|
|
120
|
Performance analysis and optimization of asynchronous circuits
– Burns
- 1991
|
|
78
|
Synthesis of timed asynchronous circuits
– Myers, Meng
- 1992
|
|
71
|
Recoverability of communication protocols
– Merlin, Faber
- 1976
|
|
54
|
Synthesis of asynchronous state machines using a local clock
– Nowick, Dill
- 1991
|
|
51
|
The Post Office experience: Designing a large asynchronous chip
– Coates, Davis, et al.
- 1993
|
|
51
|
Computer-Aided Synthesis and Verification of Gate-Level Timed Circuits
– Myers
- 1995
|
|
33
|
Verification of timed systems using POSETs
– Belluomini, Myers
- 1998
|
|
20
|
Optimizing average-case delay in the technology mapping of domino dual-rail circuits: A case study of an asynchronous instruction length decoding pla
– Chou, Ginosar, et al.
- 1998
|
|
20
|
Automatic synthesis of gate-level timed circuits with choice
– Myers, Rokicki, et al.
- 1995
|
|
19
|
Efficient timing analysis algorithms for timed state space exploration
– Belluomini, Myers
- 1997
|
|
18
|
Dynamic logic in four-phase micropipelines
– Furber, Liu
- 1996
|
|
17
|
An introduction to event structures. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
– Winskel
- 1988
|
|
17
|
Symbolic techniques for performance analysis of timed systems based on average time separation of events
– Xie, Beerel
- 1997
|
|
16
|
Bounding average time separations of events in stochastic timed petri nets with choice
– Xie, Kim, et al.
- 1999
|
|
12
|
Performance analysis and optimization of asynchronous circuits
– Kudva, Gopalakrishnan, et al.
- 1994
|
|
10
|
Specification and compilation of timed systems
– Zheng
- 1998
|
|
8
|
Computer-Aided Synthesis and Veri of Gate-Level Timed Circuits
– Myers
- 1995
|
|
6
|
Accelerating markovian analysis of asynchronous systems using state compression
– Xie, Beerel
- 1999
|
|
6
|
Specification and compilation of mixed-timed systems using vhdl. forthcoming paper
– Zheng, Myers
- 1998
|
|
5
|
What's in a timing discipline? considerations in the specification and synthesis of systems with interacting asynchronous and synchronous components
– Subrahmanyam
- 1990
|
|
4
|
Implicit methods for timed circuit synthesis
– Thacker
- 1998
|
|
3
|
Solving state coding problems in timed asynchronous circuits
– Krieger
- 1999
|
|
3
|
A technique for estimating power in self-timed asynchronous circuits
– Kudva, Akella
- 1994
|
|
2
|
The Post Oce experience: Designing a large asynchronous chip
– Davis, Coates, et al.
- 1993
|
|
2
|
Performance driven complete state coding of timed circuits. forthcoming paper
– Krieger, Myers
|
