Minimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- Manuel Correia
- Donald Cossman
- et al.
- 1970
- DAC 1970
Conference paper
Publications
9293 results for Computer Science
A Relational Model of Data for Large Shared Data Banks
- E.F. Codd
- 1970
- CACM
PaperAutomatic Parsing for Content Analysis
- Frederick J. Damerau
- 1970
- CACM
PaperThroughput Analysis of Some Idealized Input, Output, and Compute Overlap Configurations
- H. Hellerman
- H.J. Smith
- 1970
- ACM Computing Surveys (CSUR)
PaperConvergence properties of discrete analogs of orthogonal polynomials
- M.W. Wilson
- 1970
- Computing
PaperA Structural View of PL/I
- David Beech
- 1970
- ACM Computing Surveys (CSUR)
PaperThe lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences
PaperA method for the structural analysis of two-dimensional mathematical expressions
- Shi-Kuo Chang
- 1970
- Information Sciences
PaperAn Iterative Procedure for Solving Convex Optimal Control Problems
- Earl R. Barnes
- 1970
- IEEE TACON
PaperNote on a Partition for a Decision Feedback Strategy
- Stephen S. Lavenberg
- 1970
- IEEE Trans. Inf. Theory
Paper