Synchronization using counting semaphores
- Vivek Sarkar
- 1988
- ICS 1988
Conference paper
Publications
26880 results for Science
The application of program verification techniques to hardware verification
- John A. Darringer
- 1988
- DAC 1988
Conference paperA framework for determining useful parallelism
- Frances Allen
- Michael Burke
- et al.
- 1988
- ICS 1988
Conference paperInteractive program improvement via EAVE: An expert adviser for vectorization
- Pradip Rose
- 1988
- ICS 1988
Conference paperHierarchical channel router
- Michael Burstein
- Richard Pelavin
- 1988
- DAC 1988
Conference paperThe Yorktown simulation engine
- Monty M. Denneau
- 1988
- DAC 1988
Conference paperGenerating sequential code from parallel code
- Jeanne Ferrante
- Mary Mace
- et al.
- 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
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