Testing concurrent programs:A formal evaluation of coverage criteria
- Michael Factor
- Eitan Farchi
- et al.
- 1996
- Israel ICCSSE 1996
Conference paper
Publications
24879 results for Exploratory Science
Hyperbranched poly(ether ketones): Manipulation of structure and physical properties
- Craig J. Hawker
- Fengkui Chu
- 1996
- Macromolecules
PaperRedistribution of the spectral intensity in a layered 4d-electron superconductor Sr2RuO4 observed by the photoemission spectroscopy
- I.H. Inoue
- Y. Aiura
- et al.
- 1996
- Physica B: Condensed Matter
PaperStream conversion to support interactive video playout
- Ming-Syan Chen
- Dilip D. Kandlur
- 1996
- IEEE Multimedia
PaperThree-dimensional finite element analysis of surface deformation and stresses in an elastic-plastic layered medium subjected to indentation and sliding contact loading
- E.R. Kral
- K. Komvopoulos
- 1996
- Journal of Applied Mechanics, Transactions ASME
PaperThe boundary contour method for three-dimensional linear elasticity
- A. Nagarajan
- S. Mukherjee
- et al.
- 1996
- Journal of Applied Mechanics, Transactions ASME
PaperGeneralized effective index series solution analysis of waveguide structures with positionally varying refractive index profiles
- Joseph P. Donnelly
- Suzanne D. Lau
- 1996
- IEEE Journal of Quantum Electronics
Paper3D-xy critical point behavior in high-Tc superconductors
- T. Schneider
- 1996
- Physica B: Condensed Matter
PaperSupermodes of high-repetition-rate passively mode-locked semiconductor lasers
- Randal A. Salvatore
- Steve Sanders
- et al.
- 1996
- IEEE Journal of Quantum Electronics
PaperImplications of symmetry and faceting for the transport properties of grain boundaries in high superconductors
- H. Hilgenkamp
- J. Mannhart
- et al.
- 1996
- Physical Review B - CMMP
Paper