Behavioral Level Guidance Using Property-Based Design Characterization (1996)

View PDF

Download Links

by Lisa Marie Guerra
Citations:2 - 0 self

Active Bibliography

942 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
1525 RADAR: an in-building RF-based user location and tracking system – Paramvir Bahl, Venkata N. Padmanabhan - 2000
638 Bayesian Network Classifiers – Nir Friedman, Dan Geiger, Moises Goldszmidt - 1997
598 Dynamic Bayesian Networks: Representation, Inference and Learning – Kevin Patrick Murphy - 2002
751 Atom: A system for building customized program analysis tools – Amitabh Srivastava, Alan Eustace - 1994
846 Improving Direct-Mapped Cache Performance by the Addition of a Small Fully-Associative Cache and Prefetch Buffers – Norman P. Jouppi - 1990
885 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
685 A Survey of Program Slicing Techniques – F. Tip - 1995
738 A data locality optimizing algorithm – Michael E. Wolf, Monica S. Lam - 1991