Publications

26943 results for Science

Possible evidence for a first-order magnetic phase transition on the Gd(0001) surface
- - D. Weller
  - S.F. Alvarado
- 1988
- Physical Review B
Paper
Internal magnetic fields in the high-temperature superconductor YBa₂Cu₃O_7-δ from muon spin rotation experiments
- - B. Pümpin
  - H. Keller
  - et al.
- 1988
- Zeitschrift für Physik B Condensed Matter
Paper
Garbarge collection for Prolog based on WAM
- - Karen Appleby
  - Mats Carllson
  - et al.
- 1988
- CACM
Paper
A framework for determining useful parallelism
- - Frances Allen
  - Michael Burke
  - et al.
- 1988
- ICS 1988
Conference paper
The application of program verification techniques to hardware verification
- - John A. Darringer
- 1988
- DAC 1988
Conference paper
Synchronization using counting semaphores
- - Vivek Sarkar
- 1988
- ICS 1988
Conference paper
Interactive program improvement via EAVE: An expert adviser for vectorization
- - Pradip Rose
- 1988
- ICS 1988
Conference paper
Hierarchical channel router
- - Michael Burstein
  - Richard Pelavin
- 1988
- DAC 1988
Conference paper
The Yorktown simulation engine
- - Monty M. Denneau
- 1988
- DAC 1988
Conference paper
Generating sequential code from parallel code
- - Jeanne Ferrante
  - Mary Mace
  - et al.
- 1988
- ICS 1988
Conference paper