Time/space trade-offs for reversible computation
- 1989
- SIAM Journal on Computing
Publications
9077 results for Computer Science
Resolving Database Incompatibility: An Approach to Performing Relational Operations over Mismatched Domains
- Linda G. Demichiel
- 1989
- IEEE TKDE
Modelling of atmospheric pollutant transport and deposition in lakeshore environments
- Z.D. Christidis
- 1989
- Environmental Software
Analysis of block-paging strategies
- W.H. Tetzlaff
- Martin G. Kienzle
- et al.
- 1989
- IBM J. Res. Dev
Tl-Ca-Ba-Cu-O superconducting oxides
- R. Beyers
- S.S.P. Parkin
- et al.
- 1989
- IBM J. Res. Dev
Church-Rosser theorem for a rewriting system on categorial combinators
- Hirofumi Yokouchi
- 1989
- Theoretical Computer Science
VM/XA SP2 minidisk cache
- G.P. Bozman
- 1989
- IBM Systems Journal
The complexity of reasoning about knowledge and time. I. Lower bounds
- Joseph Y. Halpern
- Moshe Y. Vardi
- 1989
- Journal of Computer and System Sciences
Scaling integration method for singular integrals and its application to BEM
- Yasunao Katayama
- Masato Koda
- 1989
- Journal of Computational Physics
Resequencing Delay and Buffer Occupancy Under the Selective-Repeat ARQ
- Zvi Rosberg
- Nachum Shacham
- 1989
- IEEE Trans. Inf. Theory