An Empirical Study of Precise Interprocedural Array Analysis
- Michael Hind
- Michael Burkeb
- et al.
- 1994
- Scientific Programming
Paper
Publications
25372 results for Science
Plasma-particulate interactions in nonuniform plasmas with finite flows
- S. Hamaguchi
- R.T. Farouki
- 1994
- Physics of Plasmas
PaperEffects of Silver and Lead on the Phase Stability of Bi2Sr2Ca1Cu2O8+x and Bi2Sr2Ca2Cu3O10+x above and below the Solidus Temperature
- Judith L. MacManus‐Driscoll
- John C. Bravman
- et al.
- 1994
- JACerS
PaperElectronic structure optimization in plane-wave-based density functional calculations by direct inversion in the iterative subspace
- Jürg Hutter
- Hans Peter Lüthi
- et al.
- 1994
- Computational Materials Science
PaperStrontium concentration dependence of the in-plane penetration depth of superconducting La2-xSrxCuO4±δ very thin films
- Y. Jaccard
- A. Cretton
- et al.
- 1994
- Physica C: Superconductivity and its applications
PaperReflection and weakly collectionwise hausdorff spaces
- Tim Laberge
- Avner Landver
- 1994
- Proceedings of the American Mathematical Society
PaperModel of Lead Loss in Pb(MgxNb1-x)Ozion Beam Sputtered Thin Films
- J.P. Doyle
- J.J. Cuomo
- 1994
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
PaperPtRh Resistors for Si Compatible Low-JcJosephson Technology
- K. Stawiasz
- M.B. Ketchen
- et al.
- 1994
- IEEE TAS
PaperAdhesion durability of tantalum BPDA-PDA polyimide interfaces
- D. Neuaroschl
- B.K. Furman
- et al.
- 1994
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
PaperTolerating a linear number of faults in networks of bounded degree
- Eli Upfal
- 1994
- Information and Computation
Paper