What causes a system to satisfy a specification
- Hana Chockler
- Joseph Y. Halpern
- et al.
- 2008
- ACM TOCL
Paper
Publications
25371 results for Science
A domain specific interconnect for reconfigurable computing
- Sanjay Rajopadhye
- Gautam
- et al.
- 2008
- ACM SIGPLAN Notices
PaperReal-space strain mapping of SOI features using microbeam X-ray diffraction
- Conal E. Murray
- S. Polvino
- et al.
- 2008
- Powder Diffraction
PaperAntiferromagnetic LaFeO3 thin films and their effect on exchange bias
- J.W. Seo
- E.E. Fullerton
- et al.
- 2008
- Journal of Physics Condensed Matter
PaperDeriving linearizable fine-grained concurrent objects
- Martin Vechev
- Eran Yahav
- 2008
- ACM SIGPLAN Notices
PaperPhases of vanadium under pressure investigated from first principles
- S.L. Qiu
- P.M. Marcus
- 2008
- Journal of Physics Condensed Matter
PaperSupercritical CO2/co-solvent extraction of porogens and surfactant templates to obtain ultralow dielectric constant films
- A.A. Lubguban
- J.A. Lubguban
- et al.
- 2008
- Thin Solid Films
PaperIn-situ X-ray Diffraction study of Metal Induced Crystallization of amorphous silicon
- W. Knaepen
- C. Detavernier
- et al.
- 2008
- Thin Solid Films
PaperUsing stochastic process algebra models to estimate the quality of information in military sensor networks
- David J. Thornley
- Chatschik Bisdikian
- et al.
- 2008
- SPIE Defense + Security 2008
Conference paperOn some properties of contracting matrices
- 2008
- Linear Algebra and Its Applications
Paper