Modeling and Analysis of a Time-Stamp History Based Certification Protocol for Concurrency Control
- Philip S. Yu
- Daniel M. Dias
- et al.
- 1991
- IEEE TKDE
Paper
Publications
24904 results for Exploratory Science
Embedded cluster modeling of excited chromium impurities in halide elpasolites
- R.H. Bartram
- A.M. Woods
- et al.
- 1991
- Radiation Effects and Defects in Solids
PaperCharacterization of random copolymers by size exclusion chromatography with a light scattering detector
- Patricia M. Cotts
- Richard Siemens
- 1991
- Polymer
PaperDecidability of finite probabilistic propositional dynamic logics
- M. Tiomkin
- J.A. Makowsky
- 1991
- Information and Computation
PaperLaser photoetching of doped poly(tetrafluoroethylene), substituted-PTFE, and polyimide films
- Hiroyuki Hiraoka
- Sylvain Lazare
- et al.
- 1991
- Microelectronic Engineering
PaperGeometric quantization of Chern-Simons gauge theory
- Scott Axelrod
- Steve della Pietra
- et al.
- 1991
- Journal of Differential Geometry
PaperMicroscopic origin of the light-induced defects in hydrogenated nitrogen-rich amorphous silicon nitride films
- Jerzy Kanicki
- W.L. Warren
- et al.
- 1991
- Journal of Non-Crystalline Solids
PaperThe effects of substrate potentials on electron cyclotron resonance plasmas
- S.M. Rossnagel
- S.J. Whitehair
- et al.
- 1991
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
PaperNew diluted magnetic semiconductors based on III-V compounds
- S. von Molnár
- H. Munekata
- et al.
- 1991
- Journal of Magnetism and Magnetic Materials
PaperEstimation of Planar Curves, Surfaces, and Nonplanar Space Curves Defined by Implicit Equations with Applications to Edge and Range Image Segmentation
- Gabriel Taubin
- 1991
- IEEE Transactions on Pattern Analysis and Machine Intelligence
Paper