Main content

Computer Sciences Laboratory Technical Reports, 1967-1985

Notifications

Held at: Princeton University Library: Lewis Science and Engineering Library [Contact Us]

This is a finding aid. It is a description of archival material held at the Princeton University Library: Lewis Science and Engineering Library. Unless otherwise noted, the materials described below are physically available in their reading room, and not digitally available through the web.

Overview and metadata sections

Call Number:
ENG027
Repository:
Princeton University Library: Lewis Science and Engineering Library
Extent:
  • 169 volumes
  • 1.0 linear feet
Language:
English
Preferred Citation:
Identification of specific item; Date (if known); Computer Science Laboratory Technical Reports, Engineering Library, Princeton University Library.
Date:
1967-1985 (inclusive)
Creator:
Princeton University. Computer Sciences Laboratory., Coffman, E.G., McKellar, A.C., Varian , L.C., Kameda, T., Weiner, Peter, Dolotta, T. A. (1934), Hopcroft, John E. (1939), Muntz, R.R., Liu, Leonard Y., Tsichritzis, Dionysios C., Altman, Stanley M., Lo, Arthur W. (1916), Shen, V.Y., Frazer, W.D., Bruno, John L., Denning, Peter J. (1942), Shoshanti, A., Ullman, Jeffrey D. (1942), Pavlidis, Theodosios., Bruno, J., Aho, Alfred V., Lyons, T. J. (Terry J.) (1953), Sethi, Ravi., Schwartz, Stuart C., Hecht, M. S., Graham, G. Scott, Keller, Robert M., Savage, John E., Spirn, Jeffrey R., Hirschberg, Daniel, Horvath, Edward C., Banning, John P., Djabri, Nahed El, Demers, Alan, Horowitz, Steven L., Hahn, Mark C., Kam, John B., Hunt, H. B., III (1949), Rosenkrantz, D.J., Steiglitz, Kenneth, Feng, H.Y. Franklin, Feng, H. Y. Franklin, Tanimoto, S. (Steven), Henderson, Peter, Vanek, Leonard I., Lueker, George S., Chin, Francis Y. P., Lester, Bruce P., Szymanski, Thomas G., Ali, Farhat, Burkhard, Walter A. (1942), Hunter, Gregory M., Goyal, Deepak K., Siegel, Howard Jay., Chang, Robin Lok-Ping, Doeppner, Thomas W., Mendelzon, Alberto O., Beeri, C. (Catriel), Storer, James A., Maier, David (1953), Chen, Patrick C., Arden, Bruce W., Lee, H., Yannakakis, Mihalis, Krakauer, Larry, Bader, Christopher, Sciore, Edward., Mendelzon, A., Sadri, F., Bjorklund, C.M., Chen, P.C., Honeyman, Peter, Ginosar, Ran., Ramachandran, Vijaya, Lieberherr, Karl J., Grinaker, Stein, Dickinson, Bradley W., Sonnenschein, Alexander, Davidson, Susan, Garcia-Molina, Hector, Huang, Ming-Deh A., Finn, James, Vavasis, Stephen A., Vijayan, Gopalakrishnan, Wigderson, Avi., Field, Dan, Vergis, Anastasios S., Mata, José Monteiro da, Cullingford, Richard, Lipton, Richard J., Harman, Gil H., Miller , George A., Salem, Kenneth, Park, James K., Thurston, William P. (1946-2012), Bienkowski, M.A., Cordon, Ricardo A., Booth, S. L., White, N.H., Farhat Ali, and Mihalis Yannakakis
Abstract:
Consists of technical reports created by the Computer Sciences Laboratory. The laboratory was a division of the Department of Electrical Engineering. Before 1967, the Computer Sciences Laboratory was known as the Digital Systems Laboratory.

Consists of technical reports from the Computer Sciences Laboratory.

(ST)QA75.5T723 p.2

Finding aid written by Engineering Library Staff in 2011

Subject

Publisher
Lewis Science and Engineering Library
Finding Aid Author
Engineering Library Staff
Finding Aid Date
2009
Access Restrictions

The School of Engineering and Applied Science technical reports are in the circulating collection of the Lewis Science and Engineering Library on the B floor of the Fine Hall Wing. Email englib@princeton.edu for questions or digitization of materials upon request.

Use Restrictions

Single copies may be made for research purposes. To cite or publish quotations that fall within Fair Use, as defined under U. S. Copyright Law, no permission is required. For instances beyond Fair Use, it is the responsibility of the researcher to determine whether any permissions related to copyright, privacy, publicity, or any other rights are necessary for their intended use of the Library's materials, and to obtain all required permissions from any existing rights holders, if they have not already done so. Princeton University Library's Special Collections does not charge any permission or use fees for the publication of images of materials from our collections, nor does it require researchers to obtain its permission for said use. The department does request that its collections be properly cited and images credited. More detailed information can be found on the Copyright, Credit and Citations Guidelines page on our website. If you have any questions, please feel free to contact us through the Ask Us! form.

Collection Inventory

Coffman, E.G.. On The Motion Of An Unbounded Markov Queue In Random Access Storage, November 1967, 1967 November. 1 item.
Physical Description

1 item

Coffman, E.G.. Further Experimental Data On The Behaviour Of Programs In A Paging Environment, December 1967, 1967 December. 1 item.
Physical Description

1 item

Kameda, T.. On The Reduction Of Non-Deterministic Automata, February 1968, 1968 February. 1 item.
Physical Description

1 item

Kameda, T.. Generalized Transition Matrix Of A Sequential Machine And Its Applications, February 1968, 1968 February. 1 item.
Physical Description

1 item

Coffman, E.G.. The Organization Of Matrices And Matrix Operations In A Paged Multiprogramming Environment, February 1968, 1968 February. 1 item.
Physical Description

1 item

Dolotta, T. A. (1934). Mixed Memory Type Realizations Of Sequential Machines, March 1968, 1968 March. 1 item.
Physical Description

1 item

Hopcroft, John E. (1939). Bounded Fan-in, Bounded Fan-out Uniform Decompositions Of Synchronous Sequential Machines, April 1968, 1968 April. 1 item.
Physical Description

1 item

Coffman, E.G.. Multiprocessor Scheduling Of Computation Graphs, June 1968, 1968 June. 1 item.
Physical Description

1 item

Current Research In Computer Science, June 1968, 1968 June. 1 item.
Physical Description

1 item

Liu, Leonard Y.. An Infinite Hierarchy Of Intersections Of Context Free Languages, June 1968, 1968 June. 1 item.
Physical Description

1 item

Liu, Leonard Y.. A Characterization Of Semi-Linear Sets, June 1968 (Revised September 1968), 1968 September. 1 item.
Physical Description

1 item

Computer Science in Electrical Engineering at Princeton 1968-1969. A description of undergraduate and graduate programs in computer science offered in the Department of Electrical Engineering at Princeton University., July 1968, 1968 July. 1 item.
Physical Description

1 item

Graduate Program and Research In Computer Science in Electrical Engineering at Princeton University, 1970-1971. A description of graduate course and research programs in computer science offered in the Department of Electrical Engineering at Princeton University., Revised November 1970, 1970 November. 1 item.
Physical Description

1 item

Coffman, E.G.. The Optimal Sequencing Of Computation Graphs On Two-Processor Systems, July 1968, 1968 July. 1 item.
Physical Description

1 item

Tsichritzis, Dionysios C.. Some Unsolvable Problems And Partial Solutions, July 1968, 1968 July. 1 item.
Physical Description

1 item

Tsichritzis, Dionysios C.. Fuzzy Properties And Almost Solvable Problems, September 1968, 1968 September. 1 item.
Physical Description

1 item

Altman, Stanley M.. The Properties And Design Of Asynchronous Control Modules, October 1968, 1968 October. 1 item.
Physical Description

1 item

McKellar, A.C.. An Algorithm For The Disjunctive Decomposition Of Switching Functions, November 1968, 1968 November. 1 item.
Physical Description

1 item

Coffman, E.G.. On The Trade-off Between Response And Premption Costs In A Foreground-Background Computer Service Discipline, October 1968, 1968 October. 1 item.
Physical Description

1 item

Frazer, W.D.. Samplesort: A Sampling Approach To Minimal Storage Tree Sorting, November 1968, 1968 November. 1 item.
Physical Description

1 item

Bruno, John L.. On The Management Of Multilevel Memories, April 1969, 1969 April. 1 item.
Physical Description

1 item

McKellar, A.C.. A Fast Algorithm For The Disjunctive Decomposittion Of Switching Functions, July 1969, 1969 July. 1 item.
Physical Description

1 item

Coffman, E.G.. Sequencing Tasks In Multiprocess, Multiple Resource Systems To Avoid Deadlocks, June 1969, 1969 June. 1 item.
Physical Description

1 item

Denning, Peter J. (1942). Equipment Configuration In Balanced Computer Systems, July 1969, 1969 July. 1 item.
Physical Description

1 item

Coffman, E.G.. Detection, Prevention And Recovery From Deadlocks in Multiprocess, Multiple Resource Systems, October 1969, 1969 October. 1 item.
Physical Description

1 item

Denning, Peter J. (1942). Virtual Memory, January 1970, 1970 January. 1 item.
Physical Description

1 item

Ullman, Jeffrey D. (1942). The Design Of Hashing Functions, September 1970, 1970 September. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. Piecewise Approximation Of Functions Of Two Variables And Its Application In Topographical Data Reduction, September 1970, 1970 September. 1 item.
Physical Description

1 item

Bruno, J.. Optimal Binary Search Trees, November 1970, 1970 November. 1 item.
Physical Description

1 item

Aho, Alfred V.. Weak And Mixed Strategy Precedence Parsing, March 1971, 1971 March. 1 item.
Physical Description

1 item

Bruno, J.. An Interractive System For Program Verification, May 1971, 1971 May. 1 item.
Physical Description

1 item

Aho, Alfred V.. Code Optimization And Finite Church-Rosser Systems, April 1971, 1971 April. 1 item.
Physical Description

1 item

Denning, Peter J. (1942). Properties Of The Working Set Model, October 1971 (Revised from May 1971), 1971 October. 1 item.
Physical Description

1 item

Ullman, Jeffrey D. (1942). Applications Of Language Theory To Compiler Design, July 1971, 1971 July. 1 item.
Physical Description

1 item

Hecht, M. S.. Flow Graph Reducibility, August 1971, 1971 August. 1 item.
Physical Description

1 item

Denning, Peter J. (1942). Third Generation Computer Systems*, September 1971, 1971 September. 1 item.
Physical Description

1 item

Denning, Peter J. (1942). Operating Systems Principles And Undergraduate Computer Science Curricula+, September 1971, 1971 September. 1 item.
Physical Description

1 item

Ullman, Jeffrey D. (1942). The Performance Of A Memory Allocation Algorithm, October 1971, 1971 October. 1 item.
Physical Description

1 item

Denning, Peter J. (1942). Protection--Principles And Practice*, November 1971, 1971 November. 1 item.
Physical Description

1 item

Keller, Robert M.. Parallel Program Schemata And Maximal Parallelism, January 1972 (Revised May 1972), 1972 May. 1 item.
Physical Description

1 item

Keller, Robert M.. Parallel Program Schemata And Maximal Parallelism, January 1972, 1972 January. 1 item.
Physical Description

1 item

Ullman, Jeffrey D. (1942). Fast Algorithms For The Elimination Of Common Subexpressions, March 1972, 1972 March. 1 item.
Physical Description

1 item

Denning, Peter J. (1942). Models For Locality In Program Behavior, April 1972, 1972 April. 1 item.
Physical Description

1 item

Denning, Peter J. (1942). Experiments With Program Locality, May 1972, 1972 May. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. Piecewise Approximation Of Functions Of Two Variables Through Regions With Variable Boundaries, May 1972, 1972 May. 1 item.
Physical Description

1 item

Hirschberg, Daniel. Permutations Of The Elements Of A Matrix By Column And Row Rotations, July 1972, 1972 July. 1 item.
Physical Description

1 item

Lo, Arthur W. (1916). A Generalization Of the Digital Operation Of Electronic Devices And Circuits, September 1972, 1972 September. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. A Generalization of The Tower-of-Hanoi Puzzle*, August 1972, 1972 August. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. Waveform Segmentation Through Functional Approximation, August 1972, 1972 August. 1 item.
Physical Description

1 item

Ullman, Jeffrey D. (1942). Polynomial Completeness Of The Equal Execution Time Scheduling Program, December 1972, 1972 December. 1 item.
Physical Description

1 item

Banning, John P.. Asynchronous Modular Systems, January 1973, 1973 January. 1 item.
Physical Description

1 item

Keller, Robert M.. Vector Replacement Systems: A Formalism for Modeling Asynchronous Systems, December 1972, 1972 December. 1 item.
Physical Description

1 item

Hecht, M. S.. Characterizations Of Reducible Flow Graphs, January 1973, 1973 January. 1 item.
Physical Description

1 item

Djabri, Nahed El. Reducing The Size Of LL(1) Parsing Tables., February 1973, 1973 February. 1 item.
Physical Description

1 item

Hecht, M. S.. A Simple Algorithm For Global Flow Analysis Problems., March 1973, 1973 March. 1 item.
Physical Description

1 item

Djabri, Nahed El. Extending The LR Parsing Technique To Some Non-LR Grammars., April 1973, 1973 April. 1 item.
Physical Description

1 item

Demers, Alan. Elimination Of Single Productions and Merging Nonterminal Synbols of LR(1) Grammars, July 1972, 1972 July. 1 item.
Physical Description

1 item

Horowitz, Steven L.. A General Peak Detection Algorithm with Applications in the Computer Analysis of Electrocardiagrams*, August 1973, 1973 August. 1 item.
Physical Description

1 item

Lo, Arthur W. (1916). Undergraduate Education Material On Computer Structure And Organization. Module 1: Fundamental Concepts, August 1973, 1973 August. 1 item.
Physical Description

1 item

Lo, Arthur W. (1916). Undergraduate Education Material On Computer Structure And Organization. Module 2: Logic Circuits, August 1973, 1973 August. 1 item.
Physical Description

1 item

Lo, Arthur W. (1916). Undergraduate Education Material On Computer Structure And Organization. Module 3: Memorry, October 1973, 1973 October. 1 item.
Physical Description

1 item

Lo, Arthur W. (1916). Undergraduate Education Material On Computer Structure and Organization. Module 4: Control, October 1973, 1973 October. 1 item.
Physical Description

1 item

Hahn, Mark C.. Undergraduate Education Material On Computer Structure And Organization. Module 5: Computer Demonstrators, October 1973, 1973 October. 1 item.
Physical Description

1 item

Hirschberg, Daniel. A Linear Space Algorithm For Computing Maximal Common Subsequences., September 1973, 1973 September. 1 item.
Physical Description

1 item

Hecht, M. S.. Some Observations About Node Splitting*, October 1973, 1973 October. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. On The Convergence Of A Scheme For Uniform Polynomial Approximation With Variable Joints *, September 1973, 1973 September. 1 item.
Physical Description

1 item

Kam, John B.. Flow Graph Reducibility Of Certain Subclasses Of Flow Charts*, October 1973, 1973 October. 1 item.
Physical Description

1 item

Hunt, H. B., III (1949). Stack Languages, Rice's Theorem, And A Natural Exponential Complexity Gap., November 1973, 1973 November. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. Optimal Piecewise Polynomial L2 Approximation Of Functions Of One And Two Variables*, October 1973, 1973 October. 1 item.
Physical Description

1 item

Hunt, H. B., III (1949). On The Equivalence Problem For Formal Languages, December 1973, 1973 December. 1 item.
Physical Description

1 item

Kam, John B.. Global Optimization Problems And Iterative Algorithms, January 1974, 1974 January. 1 item.
Physical Description

1 item

Hunt, H. B., III (1949). Observations On "P=NP?", January 1974, 1974 January. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. The Automatic Counting Of Asbestos Fibers In Air Samples*, February 1974, 1974 February. 1 item.
Physical Description

1 item

Feng, H.Y. Franklin. Analysis Of Complex Shapes In Terms Of Simpler Ones: Feature Generation For Syntactic Pattern Recognition, April 1974, 1974 April. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. A Hierachical Data Structure For Picture Processing*, August 1974, 1974 August. 1 item.
Physical Description

1 item

Henderson, Peter. Considerations For Efficient Picture Output Via Lineprinter, July 1974, 1974 July. 1 item.
Physical Description

1 item

Horowitz, Steven L.. Picture Segmentation By A Tree Traversal Algorithm*, July 1974, 1974 July. 1 item.
Physical Description

1 item

Hirschberg, Daniel. On Finding Maximal Common Subsequences, August 1974, 1974 August. 1 item.
Physical Description

1 item

Vanek, Leonard I.. Reducing Computaion Time For Arithmetic Expressions By Increasing Parallelism, August 1974, 1974 August. 1 item.
Physical Description

1 item

Lueker, George S.. Structured Breadth First Search And Chordal Graphs, August 1974, 1974 August. 1 item.
Physical Description

1 item

Ullman, Jeffrey D. (1942). Complexity Of Sequencing Problems, October 1974, 1974 October. 1 item.
Physical Description

1 item

Chin, Francis Y. P.. Optimal Strategy For A Shuffling Game, September 1974, 1974 September. 1 item.
Physical Description

1 item

Lester, Bruce P.. Performance Evaluation Of Asynchronous, Modular Systems, November 1974, 1974 November. 1 item.
Physical Description

1 item

Hunt, H. B., III (1949). The Covering Problem For Linear Context-free Grammars, January 1975, 1975 January. 1 item.
Physical Description

1 item

Ali, Farhat. Computer Recognition Of Handwritten Numerals By Polygonal Approximations*, January 1975, 1975 January. 1 item.
Physical Description

1 item

Kam, John B.. Monotone Data Flow Analysis Framework, January 1975, 1975 January. 1 item.
Physical Description

1 item

Szymanski, Thomas G.. A Special Case Of The Maximal Common Subsequence Problem, January 1975, 1975 January. 1 item.
Physical Description

1 item

Chin, Francis Y. P.. Asymptotic Complexity Of The Inverse Partial Fraction Expansion And Vandermonde Matrix, January 1975, 1975 January. 1 item.
Physical Description

1 item

Chin, Francis Y. P.. Asymptotic Complexity Of Partial Fraction Expansion, January 1975, 1975 January. 1 item.
Physical Description

1 item

Chin, Francis Y. P.. Further Results On Asymptotically Fast Polynomial Evaluation and Interpolation, February 1975, 1975 February. 1 item.
Physical Description

1 item

Lester, Bruce P.. Verifying Programs With Concurrent Operations On Structured Data, February 1975, 1975 February. 1 item.
Physical Description

1 item

Tanimoto, S. (Steven). Pictorial Feature Distortion In A Pyramid*, February 1975, 1975 February. 1 item.
Physical Description

1 item

Szymanski, Thomas G.. Operations On Sparse Relations, March 1975, 1975 March. 1 item.
Physical Description

1 item

Lueker, George S.. Two NP-Complete Problems In Nonnegative Integer Programming, March 1975, 1975 March. 1 item.
Physical Description

1 item

Ullman, Jeffrey D. (1942). Data Flow Analysis, March 1975, 1975 March. 1 item.
Physical Description

1 item

Hunt, H. B., III (1949). On The Complexity Of LR (k) Testing, March 1975, 1975 March. 1 item.
Physical Description

1 item

Burkhard, Walter A. (1942). Asynchronous Modular (Control) Systems, September 1974, 1974 September. 1 item.
Physical Description

1 item

Hunter, Gregory M.. Full-Color Television, From The Computer, Refreshed By Run-length Codes In Main Memory, April 21, 1975, 1975 April21. 1 item.
Physical Description

1 item

Goyal, Deepak K.. Parallel Evaluation Of Elementary Symmetric Functions, April 1975, 1975 April. 1 item.
Physical Description

1 item

Siegel, Howard Jay.. Analysis Techniques For Simd Machine Interconnection Networks And The Effects Of Proccesor Address Masks*, April 1975, 1975 April. 1 item.
Physical Description

1 item

Keller, Robert M.. On Formal Verification Of Parallel Programs, June 1975, 1975 June. 1 item.
Physical Description

1 item

Hunt, H. B., III (1949). Complexity Metatheorems For Context-Free Grammar Problems, July 1975, 1975 July. 1 item.
Physical Description

1 item

Keller, Robert M.. On The Relevance Of Abstract Models In Modeling Semaphore Implementations, October 1975, 1975 October. 1 item.
Physical Description

1 item

Siegel, Howard Jay.. Simd Machine Interconnection Network Design*, January 1976, 1976 January. 1 item.
Physical Description

1 item

Hunter, Gregory M.. Computer Animation And Run-length Codes, February 25, 1975, 1975 February25. 1 item.
Physical Description

1 item

Chang, Robin Lok-Ping. Functional Approximation With Variable-Knot Variable-Degree Splines*, February 1976, 1976 February. 1 item.
Physical Description

1 item

Keller, Robert M.. Generalized Petri Nets As Models For Systems Verification, August 1975, 1975 August. 1 item.
Physical Description

1 item

Doeppner, Thomas W.. On Abstractions Of Parallel Programs, February 1976, 1976 February. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. A Review Of Algorithms For Shape Analysis, September 1976, 1976 September. 1 item.
Physical Description

1 item

Mendelzon, Alberto O.. On Axiomatizing Multivalued Dependencies In Relational Databases, July 1977, 1977 July. 1 item.
Physical Description

1 item

Beeri, C. (Catriel). On The Membership Problem For Multivalued Dependencies In Relational Databases, 1985, 1985. 1 item.
Physical Description

1 item

Storer, James A.. Toward An Abstract Theory Of Data Compression, October 1977, 1977 October. 1 item.
Physical Description

1 item

Maier, David (1953). A Note On The Complexity Of The Superstring Problem, October 1977, 1977 October. 1 item.
Physical Description

1 item

Storer, James A.. NP-Completeness Results Concerning Data Compression, November 1977, 1977 November. 1 item.
Physical Description

1 item

Storer, James A.. The Macro Model For Data Compression, November 1977, 1977 November. 1 item.
Physical Description

1 item

Storer, James A.. PLCC- A Compiler-Compiler For PL/1 And PL/C Users, December 1977, 1977 December. 1 item.
Physical Description

1 item

Chen, Patrick C.. Segmentation By Texture Using A Co-Occurence Matrix And A Split-And-Merge Algorithm*, January 1978, 1978 January. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. Filling Algorithms For Raster Graphics, January 1978, 1978 January. 1 item.
Physical Description

1 item

Arden, Bruce W.. A Multi-Tree-Structured Network, January 1978, 1978 January. 1 item.
Physical Description

1 item

Yannakakis, Mihalis. The Node-Deletion Problem For Hereditary Properties, 1985, 1985. 1 item.
Physical Description

1 item

Krakauer, Larry. Visual Printed Wiring Board Fault Detection By A Geometrical Method, June 1978, 1978 June. 1 item.
Physical Description

1 item

Bader, Christopher. A Generalization Of Ogden's Lemma, December 1978, 1978 December. 1 item.
Physical Description

1 item

Sciore, Edward.. Improving Semantic Specification In A Relational Database, 1985, 1985. 1 item.
Physical Description

1 item

Maier, David (1953). Adequacy Of Decompositions Of Relational Databases, July 1979, 1979 July. 1 item.
Physical Description

1 item

Bjorklund, C.M.. Global Shape Analysis By K-Syntactic Similarity, August 1979, 1979 August. 1 item.
Physical Description

1 item

Chen, P.C.. Image Segmentation As An Estimation Problem*, September 1979, 1979 September. 1 item.
Physical Description

1 item

Honeyman, Peter. Preserving Functional Dependencies, September 1979, 1979 September. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. A Thinning Algorithm For Discrete Binary Images*, September 1979, 1979 September. 1 item.
Physical Description

1 item

Ginosar, Ran.. A Relational Data Base Machine, February 1980, 1980 February. 1 item.
Physical Description

1 item

Sadri, F.. The Interaction Between Functional Dependencies And Template Dependencies, March 1980, 1980 March. 1 item.
Physical Description

1 item

Sadri, F.. Template Dependencies: A Large Class Of Dependencies In Relational Databases And Its Complete Axiomatization, March 1980, 1980 March. 1 item.
Physical Description

1 item

Ramachandran, Vijaya. A Note On The Removal Of Inequalities In The Ellipsoid Algorithm For The Solution Of Linear Inequality Systems, June 1980, 1980 June. 1 item.
Physical Description

1 item

Lieberherr, Karl J.. Primality Testing And Factoring, June 1980, 1980 June. 1 item.
Physical Description

1 item

Sciore, Edward.. The Universal Instance And Database Design, June 1980, 1980 June. 1 item.
Physical Description

1 item

Lieberherr, Karl J.. Uniform Complexity And Digital Structures, July 1980, 1980 July. 1 item.
Physical Description

1 item

Grinaker, Stein. Use Of Edge Information In Advanced Segmentation, August 1980, 1980 August. 1 item.
Physical Description

1 item

Lieberherr, Karl J.. Polynomial And Absolute P-optimal Algorithms For A Relaxation Of Generalized Maximum Satisfiability, August 1980, 1980 August. 1 item.
Physical Description

1 item

Arden, Bruce W.. MP/C: C Multipurpose/ Computer Architecture, November 1980, 1980 November. 1 item.
Physical Description

1 item

Dickinson, Bradley W.. Approximate Spherical Bessel Function Representation Of Bandlimited Signals, October 1980, 1980 October. 1 item.
Physical Description

1 item

Ramachandran, Vijaya. Single Residue Error Correction In Residue Number Systems, 1988, 1988. 1 item.
Physical Description

1 item

Lieberherr, Karl J.. Probabilistic Combinatorial Optimization, January 1981, 1981 January. 1 item.
Physical Description

1 item

Lieberherr, Karl J.. Extremal Problems And Automatic Combinatorial Optimization, February 1981, 1981 February. 1 item.
Physical Description

1 item

Davidson, Susan. Protocols For Partitioned Distributed Database Systems, MArch 1981, 1981 March. 1 item.
Physical Description

1 item

Garcia-Molina, Hector. Using Semantic Knowledge For Transaction Processing In A Distributed Database, 1985, 1985. 1 item.
Physical Description

1 item

Huang, Ming-Deh A.. Towards An E-Approximation Scheme For Generalized Satisfiability, December 1981, 1981 December. 1 item.
Physical Description

1 item

Finn, James. Finding Square Roots Modulo A Prime, Primality Testing, And Factoring, February 1982, 1982 February. 1 item.
Physical Description

1 item

Finn, James. Randomization In Two Digital Signature Schemes, February 1982, 1982 February. 1 item.
Physical Description

1 item

Finn, James. Comparison Of Probabilistic Tests For Primality, February 1982, 1982 February. 1 item.
Physical Description

1 item

Ramachandran, Vijaya. On Driving Many Long Wires In A VLSI Layout, April 1982, 1982 April. 1 item.
Physical Description

1 item

Ramachandran, Vijaya. Area-Optimal Graph Embeddings For VLSI In Rectangles Of Varying Aspect Ratio, April 1982, 1982 April. 1 item.
Physical Description

1 item

Lieberherr, Karl J.. Limitations Of Local Search: An Application Of Bernstein's Proof Of Weierstrass' Theorem*, June 23, 1982, 1982 June23. 1 item.
Physical Description

1 item

Vijayan, Gopalakrishnan. Planarity Of Edge Ordered Graphs, December 1982, 1982 December. 1 item.
Physical Description

1 item

Field, Dan. Drawing Anti-aliased Lines, December 1982, 1982 December. 1 item.
Physical Description

1 item

Field, Dan. Algorithms For Drawing Lines, Curves, And Triangles, December 1982, 1982 December. 1 item.
Physical Description

1 item

Vergis, Anastasios S.. Bilateral Arrays Of Combinational Cells Are Universal Computers, July 1984, 1984 July. 1 item.
Physical Description

1 item

Vergis, Anastasios S.. A Linear-size Multiple Faut Detection Test Set For The Array Multiplier, undated, undated. 1 item.
Physical Description

1 item

Mata, José Monteiro da. ALLENDE: A Procedural Language For The Hierarchical Specification of VLSI Layouts, October 1984, 1984 October. 1 item.
Physical Description

1 item

Cullingford, Richard. A Case For Massive Memory, May 1984, 1984 May. 1 item.
Physical Description

1 item

Cullingford, Richard. MMM Performance On Certain Database Benchmarks, May 1984, 1984 May. 1 item.
Physical Description

1 item

Cullingford, Richard. Using A Massive Memory Machine For Research In Cognitive Science, September 1984, 1984 September. 1 item.
Physical Description

1 item

Garcia-Molina, Hector. Disk Striping, December 1984, 1984 December. 1 item.
Physical Description

1 item

Garcia-Molina, Hector. Disk Striping, December 1984, 1984 December. 1 item.
Physical Description

1 item

Dickinson, Bradley W.. The Complexity Of Analog Computation, February 1985, 1985 February. 1 item.
Physical Description

1 item

Park, James K.. Soliton-Like Behavior In Automata, April 1985, 1985 April. 1 item.
Physical Description

1 item

Bienkowski, M.A.. Goal-Directed Explanations, 1985, 1985. 1 item.
Physical Description

1 item

Bienkowski, M.A.. Without Logic Or Justification: Realistic Belief Revision, 1985, 1985. 1 item.
Physical Description

1 item

Cordon, Ricardo A.. Semantic Knowledge Based Concurrency Control: Variations And Performance, May 1985, 1985 May. 1 item.
Physical Description

1 item

Booth, S. L.. A Robust Natural Language Interface To A Decision Support System, 185, 1985. 1 item.
Physical Description

1 item

Horowitz, Steven L.. Segmentation of Plane Curves, 1973 May. 1 item.
Physical Description

1 item

Feng, H.Y. Franklin. Finding "Vertices" in a Picture, 1973 May. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. Picture Processing Through Functional Approximation, 1973 August. 1 item.
Physical Description

1 item

Feng, H.Y. Franklin. The Generation of Polygonal Outlines of Objects from Gray Level Pictures, 1974 April. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. The Use of Algorithms of Piecewise Approximations for Picture Processing Applications, 1974 May. 1 item.
Physical Description

1 item

Farhat Ali. A General Syntactic Shape Analyzer, 1976 December. 1 item.
Physical Description

1 item

Pavlidis, Theodosios.. A Minimum Storage Boundary Tracing Algorithm and Its Application to Automatic Inspection, 1976 December. 1 item.
Physical Description

1 item

Mihalis Yannakakis. Topological Characterizations of Families of Graphs Generated by Certain Tyeps of Graph Grammars, 1977 November. 1 item.
Physical Description

1 item

Print, Suggest