Improved lower bounds for the cycle detection problem
- Eric Allender
- Maria M. Klawe
- 1985
- Theoretical Computer Science
Paper
Publications
9277 results for Computer Science
THERMAL BEHAVIOR OF RESISTIVE RIBBON FOR SINGLE-STYLUS EXCITATION.
- R.A. Laff
- Claus D. Makowka
- 1985
- IBM J. Res. Dev
PaperADA AND NIL: A COMPARISON OF TWO MODELS OF STRUCTURING SOFTWARE SYSTEMS.
- Rob Strom
- Shaula Yemini
- et al.
- 1984
- HICSS 1984
Conference paperCOST EVALUATION MODEL FOR PROCESSING DISTRIBUTED QUERY.
- Kuan-Tsae Huang
- 1984
- HICSS 1984
Conference paperFile Servers for Network-Based Distributed Systems
- Liba Svobodova
- 1984
- ACM Computing Surveys (CSUR)
PaperOptics for machine vision
- T.C. Strand
- 1989
- Proceedings of SPIE 1989
Conference paperThe use of ronchi rulings for high precision, two-dimensional galvo deflection systems
- D.J. Bernays
- 1989
- Proceedings of SPIE 1989
Conference paperThe MVA priority approximation
- Raymond M. Bryant
- Anthony E. Krzesinski
- et al.
- 1984
- ACM Transactions on Computer Systems (TOCS)
PaperA model-theoretic analysis of knowledge: Preliminary report
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1984
- FOCS 1984
Conference paperFlipping coins in many pockets (byzantine agreement on uniformly random values)
- Andrei Z. Broder
- Danny Dolev
- 1984
- FOCS 1984
Conference paper