Publications

9066 results for Computer Science

Recognizing certain repetitions and reversals within strings
- - Zvi Galil
  - Joel Seiferas
- 1976
- FOCS 1976
On the evaluation of powers and related problems
- - Nicholas Pippenger
- 1976
- FOCS 1976
Survey of methods for the complete determination of a state of polarization
- - P.S. Hauge
- 1989
- Proceedings of SPIE 1989
Incremental program testing in a very high level language
- - B.M. Leavenworth
- 1976
- ACM Annual Conference 1976
Modeling and performance evaluation of physical data base structures
- - S.B. Yao
- 1976
- ACM Annual Conference 1976
An Introduction to Proving the Correctness of Programs
- - Sidney L. Hantler
  - James C. King
- 1976
- ACM Computing Surveys (CSUR)
Symbolic Execution and Program Testing
- - James C. King
- 1976
- CACM
Some experimental results on placement techniques
- - Maurice Hanan
  - Peter K. Wolff
  - et al.
- 1976
- DAC 1976
Logical Analysis of Programs
- - Shmuel Katz
  - Zohar Manna
- 1976
- CACM
Relational Data-Base Management Systems
- - Donald D. Chamberlin
- 1976
- ACM Computing Surveys (CSUR)