Use of random simulation in formal verification
- Florian Krohm
- Andreas Kuehlmann
- et al.
- 1996
- ICCD 1996
Conference paper
Publications
3 results at ICCD 1996
MMPacking: A load and storage balancing algorithm for distributed multimedia servers
- D.N. Serpanos
- L. Georgiadis
- et al.
- 1996
- ICCD 1996
Conference paperProfile-driven generation of trace samples
- P.K. Dubey
- Ravi Nair
- 1996
- ICCD 1996
Conference paper