The application of program verification techniques to hardware verification
- John A. Darringer
- 1988
- DAC 1988
Conference paper
Publications
24902 results for Exploratory Science
Generating sequential code from parallel code
- Jeanne Ferrante
- Mary Mace
- et al.
- 1988
- ICS 1988
Conference paperThe Yorktown simulation engine
- Monty M. Denneau
- 1988
- DAC 1988
Conference paperInteractive program improvement via EAVE: An expert adviser for vectorization
- Pradip Rose
- 1988
- ICS 1988
Conference paperEvidence for the intrinsic nature of light-induced defects in undoped a-Si:H
- Andrew Skumanich
- Nabil M. Amer
- 1988
- Physical Review B
PaperTip electronic structure in scanning tunneling microscopy
- R.M. Tromp
- E.J. Van Loenen
- et al.
- 1988
- Physical Review B
PaperEvidence for large lattice relaxation at the DX center in Si-doped AlxGa1-xAs
- P.M. Mooney
- G. Northrop
- et al.
- 1988
- Physical Review B
PaperExperimental study of nonlinear conductance in small metallic samples
- R.A. Webb
- S. Washburn
- et al.
- 1988
- Physical Review B
PaperMagnetic transitions in bcc vanadium, chromium, manganese, and iron
- V.L. Moruzzi
- P.M. Marcus
- et al.
- 1988
- Physical Review B
Paper2/emph> resonance features in the electronic spectra of chemisorbed CO
- B. Gumhalter
- K. Wandelt
- et al.
- 1988
- Physical Review B
Paper