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
9296 results for Computer Science
Modulation and coding for information storage the success of certain modulation and coding techniques in data communications have inspired promising new applications in digital data storage
- Paul H. Siegel
- Jack K. Wolf
- 1991
- IEEE Communications Magazine
PaperMaking negatives and plates for printing by electroerosion. III. Use of the direct negative and direct plate
- M.S. Cohen
- A. Afzali
- et al.
- 1991
- IBM J. Res. Dev
PaperStochastic Convexity for Multidimensional Processes and Its Applications
- Cheng-Shang Chang
- Xiuli Chao
- et al.
- 1991
- IEEE TACON
PaperFinite element applications on a shared-memory multiprocessor: Algorithms and experimental results
- Ramesh Natarajan
- 1991
- Journal of Computational Physics
PaperNon-well-founded sets modeled as ideal fixed points
- Michael W. Mislove
- Lawrence S. Moss
- et al.
- 1991
- Information and Computation
PaperDecidability of finite probabilistic propositional dynamic logics
- M. Tiomkin
- J.A. Makowsky
- 1991
- Information and Computation
PaperExecution of automatically parallelized APL programs on RP3
- W.-W. Ching
- D. Ju
- 1991
- IBM J. Res. Dev
PaperOptimal Allocation of a Server Between two Queues with Due Times
- Partha P. Bhattacharya
- Anthony Ephremides
- 1991
- IEEE TACON
PaperInterpolation and approximation of sparse multivariate polynomials over GF(2)
- Ron M. Roth
- Gyora M. Benedek
- 1991
- SIAM Journal on Computing
Paper