%A Saul Rosen %T Electronic computers: a historical survey %J ACM Computing Surveys %K comsur %V 1 %N 1 %D March 1969 %P 7-36 %A Robert F. Rosin %T Supervisory and monitor systems %J ACM Computing Surveys %K comsur %V 1 %N 1 %D March 1969 %P 37-53 %A Robert L. Glass %T An elementary discussion of compiler/interpreter writing %J ACM Computing Surveys %K comsur %V 1 %N 1 %D March 1969 %P 55-77 %A Lance J. Hoffman %T Computers and privacy: a survey %J ACM Computing Surveys %K comsur %V 1 %N 2 %D June 1969 %P 85-103 %A J.M. McKinney %T A survey of analytical time sharing models %J ACM Computing Surveys %K comsur %V 1 %N 2 %D June 1969 %P 105-116 %A George D. Dodd %T Elements of data management systems %J ACM Computing Surveys %K comsur %V 1 %N 2 %D June 1969 %P 117-133 %A M.V. Wilkes %T The growth of interest in microprogramming: a literature survey %J ACM Computing Surveys %K comsur %V 1 %N 3 %D September 1969 %P 139-145 %A Azriel Rosenfeld %T Picture processing by computer %J ACM Computing Surveys %K comsur %V 1 %N 3 %D September 1969 %P 146-176 %A William Kent %T Assembler language macroprogramming %J ACM Computing Surveys %K comsur %V 1 %N 4 %D December 1969 %P 183-196 %A Robert F. Rosin %T Contemporary concepts of microprogramming and emulation %J ACM Computing Surveys %K comsur %V 1 %N 4 %D December 1969 %P 197-212 %A J.D. Aron %T Information systems in perspective %J ACM Computing Surveys %K comsur %V 1 %N 4 %D December 1969 %P 213-236 %A T.A. Dolotta %T Functional specifications for typewriter-like time-sharing terminals %J ACM Computing Surveys %K comsur %V 2 %N 1 %D March 1970 %P 5-31 %A David Beech %T A structural view of PL/I %J ACM Computing Surveys %K comsur %V 2 %N 1 %D March 1970 %P 33-64 %A Doran J. Cohen %A C.C. Gotlieb %T A list structure form of grammars for syntactic analysis %J ACM Computing Surveys %K comsur %V 2 %N 1 %D March 1970 %P 65-82 %A Sally Yeates Sedelow %T The computer in the humanities and fine arts %J ACM Computing Surveys %K comsur %V 2 %N 2 %D June 1970 %P 89-110 %A H. Hellerman %A H.J. Smith,\ Jr. %T Throughtput analysis of some idealized input, output and compute overlap configurations %J ACM Computing Surveys %K comsur %V 2 %N 2 %D June 1970 %P 111-118 %A Ned Chapin %T Flowcharting with the ANSI standard: a tutorial %J ACM Computing Surveys %K comsur %V 2 %N 2 %D June 1970 %P 119-146 %A Peter J. Denning %T Virtual memory %J ACM Computing Surveys %K comsur %V 2 %N 3 %D September 1970 %P 152-189 %A M.H. MacDougall %T Computer system simulation: an introduction %J ACM Computing Surveys %K comsur %V 2 %N 3 %D September 1970 %P 191-209 %A Cecil C. Smith %T Digital control of industrial processes %J ACM Computing Surveys %K comsur %V 2 %N 3 %D September 1970 %P 211-241 %A Donald E. Knuth %T Von Neumann's first computer program %J ACM Computing Surveys %K comsur %V 2 %N 4 %D December 1970 %P 247-260 %A Lyle B. Smith %T A survey of interactive graphical systems for mathematics %J ACM Computing Surveys %K comsur %V 2 %N 4 %D December 1970 %P 261-301 %A Robin Williams %T A survey of data structures for computer graphics systems %J ACM Computing Surveys %K comsur %V 3 %N 1 %D March 1971 %P 1-21 %A Caxton C. Foster %T An unclever time-sharing system %J ACM Computing Surveys %K comsur %V 3 %N 1 %D March 1971 %P 23-48 %A C.E. Price %T Table lookup techniques %J ACM Computing Surveys %K comsur %V 3 %N 2 %D June 1971 %P 49-65 %A E.G. Coffman,\ Jr. %A M.J. Elphich %A A. Shoshani %T System deadlocks %J ACM Computing Surveys %K comsur %V 3 %N 2 %D June 1971 %P 67-78 %A Henry C. Lucas,\ Jr. %T Performance evaluation and monitoring %J ACM Computing Surveys %K comsur %V 3 %N 3 %D September 1971 %P 79-91 %A Andries van\ Dam %A David E. Rice %T On-line text editing: a survey %J ACM Computing Surveys %K comsur %V 3 %N 3 %D September 1971 %P 93-114 %A Henry F. Ledgard %T Ten mini-languages: a study of topical issues in programming languages %J ACM Computing Surveys %K comsur %V 3 %N 3 %D September 1971 %P 115-146 %A William A. Martin %T Sorting %J ACM Computing Surveys %K comsur %V 3 %N 4 %D December 1971 %P 147-174 %A Peter J. Denning %T Third generation computer systems %J ACM Computing Surveys %K comsur %V 3 %N 4 %D December 1971 %P 175-216 %A Peter J. Denning %T A note on paging drum efficiency %J ACM Computing Surveys %K comsur %V 4 %N 1 %D March 1972 %P 1-3 %K rotating storage devices %A Peter Wegner %T The Vienna definition language %J ACM Computing Surveys %K comsur %V 4 %N 1 %D March 1972 %P 5-63 %K metalanguages, language definition, interpreter-interpreters, semantics, proofs about programs, interpreter equivalence %A W.R. Schucany %A Paul D. Minton %A B. Stanley Shannon,\ Jr. %T A survey of statistical packages %J ACM Computing Surveys %K comsur %V 4 %N 2 %D June 1972 %P 65-79 %K data processing, library routines, statistical analysis, regression, analysis of variance, multivariate analysis, statistical compiler, statistical computation, program libraries, statistical system %A J. Nievergelt %A J.C. Farrar %T What machines can and cannot do %J ACM Computing Surveys %K comsur %V 4 %N 2 %D June 1972 %P 81-96 %K Turing's test, conversational programs, reproducing machines, computability, limitations of machines %A Bernard Elspas %A Karl N. Levitt %A Richard J. Waldinger %A Abraham Waksman %T An assessment of techniques for proving program correctness %J ACM Computing Surveys %K comsur %V 4 %N 2 %D June 1972 %P 97-147 %K automatic program verification, theorem-proving, program schema, first-order predicate calculus %A Leon Presser %A John R. White %T Linkers and loaders %J ACM Computing Surveys %K comsur %V 4 %N 3 %D September 1972 %P 149-167 %K binary loaders, relocating loaders, linkers, compilers, assemblers, relocation, program modularity, libraries %A C.A.R. Hoare %A D.C.S. Allison %T Incomputability %J ACM Computing Surveys %K comsur %V 4 %N 3 %D September 1972 %P 169-178 %K logical paradox, termination, recursion, programming languages, theory of types, interpreter %A Richard C. Holt %T Some deadlock properties of computer systems %J ACM Computing Surveys %K comsur %V 4 %N 3 %D September 1972 %P 179-196 %K deadly embrace, knot, interlock, preemption, resource allocation, operating system, graph reduction %A Byron W. Stutzman %T Data communication control procedures %J ACM Computing Surveys %K comsur %V 4 %N 4 %D December 1972 %P 197-220 %K teleprocessing, telecommunications, data transmission %A Bruce H. Barnes %T A programmer's view of automata %J ACM Computing Surveys %K comsur %V 4 %N 4 %D December 1972 %P 221-239 %K computer programming, finite state machine, deterministic automaton, nondeterministic automaton %A Theodore C. Willoughby %T Staffing the MIS function %J ACM Computing Surveys %K comsur %V 4 %N 4 %D December 1972 %P 241-259 %K job descriptions, human assets, trait analysis, task analysis, critical incidents, recruiting, selection tests, theory of work adjustment, satisfactoriness, satisfaction, abilities, required abilities, needs, reinforcers, tenure, turnover, interviews %A J.J. Horning %A B. Randall %T Process structuring %J ACM Computing Surveys %K comsur %V 5 %N 1 %D March 1973 %P 5-30 %A J.L. Baer %T A survey of some theoretical aspects of multiprocessing %J ACM Computing Surveys %K comsur %V 5 %N 1 %D March 1973 %P 31-80 %A Azriel Rosenfeld %T Progress in picture processing 1969-71 %J ACM Computing Surveys %K comsur %V 5 %N 2 %D June 1973 %P 81-108 %A Udo W. Pooch %A Al Nieder %T A survey of indexing techniques for sparse matrices %J ACM Computing Surveys %K comsur %V 5 %N 2 %D June 1973 %P 109-133 %A W.W. White %T A status report on computing algorithms for mathematical programming %J ACM Computing Surveys %K comsur %V 5 %N 3 %D September 1973 %P 135-166 %A J. David Couger %T Evolution of business system analysis techniques %J ACM Computing Surveys %K comsur %V 5 %N 3 %D September 1973 %P 167-198 %A E.M. Timmreck %T Computer selection methodology %J ACM Computing Surveys %K comsur %V 5 %N 4 %D December 1973 %P 199-222 %A Per Brinch\ Hansen %T Concurrent programming concepts %J ACM Computing Surveys %K comsur %V 5 %N 4 %D December 1973 %P 223-245 %A Daniel G. G. Bobrow %A Bertram Raphael %T New programming languages for artificial intelligence research %J ACM Computing Surveys %K comsur %V 6 %N 3 %D September 1974 %P 153-174 %K data types, control structures, pattern matching, deductive mechanisms, SAIL, PLANNER, CONNIVER, QLISP, POPLER %A Dennis G. Severance %T Identifier search mechanisms: a survey and generalized model %J ACM Computing Surveys %K comsur %V 6 %N 3 %D September 1974 %P 175-194 %K data management, data structures, tree structures, tree searching, hashing, key-to-address transformations, addressing techniques %A J. Nievergelt %T Binary search trees and file organization %J ACM Computing Surveys %K comsur %V 6 %N 3 %D September 1974 %P 195-207 %K search tree, search time, optimal tree, balanced tree, heigh-balanced tree, weight-balanced tree, static file, dynamic file, file processing, restructuring of file, random access, sequential access, access frequencies %A W.D. Maurer %A T.G. Lewis %T Hash table methods %J ACM Computing Surveys %K comsur %V 7 %N 1 %D March 1975 %P 5-19 %K hash code, hashing function, randomizing technique, key-to-address transform, scatter storage, searching, symbol table, file systems, file search, bucket, collision, synonyms %A Leon Presser %T Multiprogramming coordination %J ACM Computing Surveys %K comsur %V 7 %N 1 %D March 1975 %P 21-44 %K operating systems, multiprocessing, coordination, synchronization, parallelism, processes, architecture %A Calvin N. Mooers %T Computer software and copyright %J ACM Computing Surveys %K comsur %V 7 %N 1 %D March 1975 %P 45-72 %K property rights in software, software copyright protection, program copyright, computer languages and copyright, patents %A John W. Boyse %A David R. Warn %T A straightforward model for computer performance prediction %J ACM Computing Surveys %K comsur %V 7 %N 2 %D June 1975 %P 73-93 %K analytic models, queueing, simulation %A Ira W. Cotton %T Microeconomics and the market for computer services %J ACM Computing Surveys %K comsur %V 7 %N 2 %D June 1975 %P 95-111 %K billing, charge-back, economics, microeconomics, pricing %A J.C. Huang %T An approach to program testing %J ACM Computing Surveys %K comsur %V 7 %N 3 %D September 1975 %P 113-128 %K program analysis, program instrumentation, test-case generation, path analysis, path predicate, directed graph %A Stephen R. Kimbleton %A G. Michael Schneider %T Computer communication networks: approach, objectives, and performance considerations %J ACM Computing Surveys %K comsur %V 7 %N 3 %D September 1975 %P 129-173 %K packet switching, line switching, circuit switching, value-added networks, remote-access networks, terminal-access networks, mission-oriented networks, data transmission, message switching, routing algorithms, protocols, network topology, distributed databases, job migration, network applications %A Robert M. Keller %T Look-ahead processors %J ACM Computing Surveys %K comsur %V 7 %N 4 %D December 1975 %P 177-195 %K asynchronous computation, computer architecture, computer organization, parallelism, pipelining, schemata %A George A. Anderson %A E. Douglas Jensen %T Computer interconnection structures: taxonomy, characteristics, and examples %J ACM Computing Surveys %K comsur %V 7 %N 4 %D December 1975 %P 197-213 %K distributed processing, distributed computers, multiprocessors, multicomputers, bus structures, computer networks %A Kenneth J. Thurber %A Leon D. Wald %T Associative and parallel processors %J ACM Computing Surveys %K comsur %V 7 %N 4 %D December 1975 %P 215-255 %K OMEN, STARAN, PEPE, ILLIAC IV, architecture, large-scale systems, SIMD processors, array processors, ensemble %A J.P. Fry %A E.H. Sibley %T Evolution of data-base management systems %J ACM Computing Surveys %K comsur %V 8 %N 1 %D March 1976 %P 7-42 %A D.D. Chamberlin %T Relational data-base management systems %J ACM Computing Surveys %K comsur %V 8 %N 1 %D March 1976 %P 43-66 %A R.W. Taylor %T CODASYL data-base management systems %J ACM Computing Surveys %K comsur %V 8 %N 1 %D March 1976 %P 67-104 %A D.C. Tsichritzis %A R.L. Frank %T Hierarchical data-base management %J ACM Computing Surveys %K comsur %V 8 %N 1 %D March 1976 %P 105-124 %A A.S. Michaels %A B. Mittman %A C.R. Carlson %T A comparison of relational and CODASYL approaches to data-base management %J ACM Computing Surveys %K comsur %V 8 %N 1 %D March 1976 %P 125-152 %A Andrew S. Tanenbaum %T A tutorial on Algol 68 %J ACM Computing Surveys %K comsur %V 8 %N 2 %D June 1976 %P 155-190 %K algorithmic language, expression languages, general programming languages, high-level languages, problem-oriented languages %A Michael Marcotty %A Henry F. Ledgard %A Gregor V. Bochmann %T A sampler of formal definitions %J ACM Computing Surveys %K comsur %V 8 %N 2 %D June 1976 %P 191-276 %K language design, programming languages, syntax, semantics, human engineering, W-grammars, attribute grammars, production systems, axiomatic definition, Vienna definition language %A S.S. Reddi %A E.A. Feustel %T A conceptual framework for computer architecture %J ACM Computing Surveys %K comsur %V 8 %N 2 %D June 1976 %P 277-300 %K composition of architecture, information flow, physical organization, unification of diverse architectural concepts %A Lloyd D. Fosdick %A Leon J. Osterweil %T Data flow analysis in software reliability %J ACM Computing Surveys %K comsur %V 8 %N 3 %D September 1976 %P 305-330 %K automatic documentation, automatic error detection %A Sidney L. Hantler %A James C. King %T An introduction to proving the correctness of programs %J ACM Computing Surveys %K comsur %V 8 %N 3 %D September 1976 %P 331-353 %K verification, symbolic execution, symbolic interpretation %A Peter J. Denning %T Fault-tolerant operating systems %J ACM Computing Surveys %K comsur %V 8 %N 4 %D December 1976 %P 359-389 %K capability machine, decision verification, error confinement, error detection, memory access, memory control, multiple domain processes, privilege-state mechanism, process implementation, process isolation, process switching, protected procedure entry, resource control, software error recovery, tagged architecture %A H. Hecht %T Fault-tolerant software for real-time applications %J ACM Computing Surveys %K comsur %V 8 %N 4 %D December 1976 %P 391-407 %K independent test and evaluation, primary and backup modules, reliability models %A Theodore A. Linden %T Operating system structures to support security and reliable software %J ACM Computing Surveys %K comsur %V 8 %N 4 %D December 1976 %P 409-445 %K capability-based addressing, computer security, extended-type objects, small protection domains, types %A S.S. Yau %A H.S. Fung %T Associative processor architecture - a survey %J ACM Computing Surveys %K comsur %V 9 %N 1 %D March 1977 %P 3-27 %K computer architecture, categorization, implementation, hardware, large-scale integration, fully parallel, bit-serial, word-serial, block-oriented, distributed logic %A David J. Kuck %T A survey of parallel machine organization and programming %J ACM Computing Surveys %K comsur %V 9 %N 1 %D March 1977 %P 29-59 %K alignment network, data-dependence graphs, linear recurrences, parallel algorithms, parallel machine organization, parallel memories, parallel programming, program speedup, tree-height reduction %A C.V. Ramamoorthy %A H.F. Li %T Pipeline architecture %J ACM Computing Surveys %K comsur %V 9 %N 1 %D March 1977 %P 61-102 %K computer architecture, sequential processing, vector processing %A Philip H. Enslow,\ Jr. %T Multiprocessor organization - a survey %J ACM Computing Surveys %K comsur %V 9 %N 1 %D March 1977 %P 103-129 %K computer system organization, concurrent operations, interconnection subsystem, multiprocessor operating systems, simultaneous operations %A Robert Sedgewick %T Permutation generation methods %J ACM Computing Surveys %K comsur %V 9 %N 2 %D June 1977 %P 137-164 %K combinatorial algorithms, code optimization, analysis of algorithms, lexicographic ordering, random permutations, recursion, cyclic rotation %A Mario J. Gonzalez,\ Jr. %T Deterministics processor scheduling %J ACM Computing Surveys %K comsur %V 9 %N 3 %D September 1977 %P 173-204 %K optimal schedules, multiprocessors, job-shop, flow-shop, graph structures, deadlines, resources, preemption, periodic jobs %A Lester Lipsky %A J.D. Church %T Applications of a queueing network model for a computer system %J ACM Computing Surveys %K comsur %V 9 %N 3 %D September 1977 %P 205-221 %K computer performance prediction, analytic models, system modifications %A James L. Peterson %T Petri nets %J ACM Computing Surveys %K comsur %V 9 %N 3 %D September 1977 %P 223-252 %K system models, asynchronous concurrent events %A D.G. Severance %A J.V. Carlis %T A practical approach to selecting record access paths %J ACM Computing Surveys %K comsur %V 9 %N 4 %D December 1977 %P 259-272 %K database design, file structures, record searching %A William M. Taggart,\ Jr. %A Marvin O. Tharp %T A survey of information requirements analysis techniques %J ACM Computing Surveys %K comsur %V 9 %N 4 %D December 1977 %P 273-290 %K management information systems and needs, systems analysis %A Bruce Wedge %T A survey of analysis techniques for discrete algorithms %J ACM Computing Surveys %K comsur %V 9 %N 4 %D December 1977 %P 291-313 %K computational complexity, combinatorics, NP-complete problems, approximation algorithms %A Ann Fitzsimmons %A Tom Love %T A review and evaluation of software science %J ACM Computing Surveys %K comsur %V 10 %N 1 %D March 1978 %P 3-18 %K software reliability, software engineering, software management, cognitive psychology, software measurement, software complexity %A John Leslie King %A Edward L. Schrems %T Cost-benefit analysis in information systems development and operation %J ACM Computing Surveys %K comsur %V 10 %N 1 %D March 1978 %P 19-34 %K management of computing, evaluating projects %A Erik Sandewall %T Programming in the interactive environment: the LISP experience %J ACM Computing Surveys %K comsur %V 10 %N 1 %D March 1978 %P 35-71 %K interactive programming, programming methods, program structure, programming systems %A Ronald J. Srodawa %T Positive experiences with a multiprocessing system (short note) %J ACM Computing Surveys %K comsur %V 10 %N 1 %D March 1978 %P 73-82 %K computer system organization, concurrent operations, multiprocessors, multiprocessing operating systems, Michigan Terminal System, throughput statistics, availability statistics, performance statistics %A N.C. Davis %A S.E. Goodman %T The Soviet bloc's unified system of computers %J ACM Computing Surveys %K comsur %V 10 %N 2 %D June 1978 %P 93-122 %K Ryad, CEMA, impact of computing on an economic system, impact of an economic system on computing %A B. Randell %A P.A. Lee %A P.C. Treleaven %T Reliability issues in computing system design %J ACM Computing Surveys %K comsur %V 10 %N 2 %D June 1978 %P 123-165 %K error, failure, fault tolerance, fault avoidance, hardware reliability, software reliability, system structure %A Joost S.M. Verhofstad %T Recovery techniques for database systems %J ACM Computing Surveys %K comsur %V 10 %N 2 %D June 1978 %P 167-195 %K audit trail, backup, checkpoint, differential files, filing system, incremental dumping %A Marvin V. Zelkowitz %T Perspectives on software engineering %J ACM Computing Surveys %K comsur %V 10 %N 2 %D June 1978 %P 197-216 %K certification, chief programmer team, program correctness, program design language (PDL), software reliability, software development life cycle, top-down design, validation, verification %A Peter J. Denning %A Jeffrey P. Buzen %T The operational analysis of queueing network models %J ACM Computing Surveys %K comsur %V 10 %N 3 %D September 1978 %P 225-261 %K balanced system, bottlenecks, decomposability, operational analysis, performance evaluation, performance modeling, response times, saturation %A Clifford A. Rose %T A measurement procedure for queueing network models of computer systems %J ACM Computing Surveys %K comsur %V 10 %N 3 %D September 1978 %P 263-280 %K analytical models, model validations, performance evaluation, measurements, monitors %A K. Mani Chandy %A Charles H. Sauer %T Approximate methods for analyzing queueing network models of computer systems %J ACM Computing Surveys %K comsur %V 10 %N 3 %D September 1978 %P 281-317 %K performance evaluation, approximate solutions, hierarchical modeling %A Jeffrey P. Buzen %T A queueing network model of MVS %J ACM Computing Surveys %K comsur %V 10 %N 3 %D September 1978 %P 319-331 %K response time, throughput, validation %A Y. Bard %T The VM/370 performance predictor %J ACM Computing Surveys %K comsur %V 10 %N 3 %D September 1978 %P 333-342 %K computer performance, analytic models, queueing networks, workload characterization %A J.W. Wong %T Queueing network modelling of computer communication networks %J ACM Computing Surveys %K comsur %V 10 %N 3 %D September 1978 %P 343-351 %K computer communication, message-switched communication networks, user-resource networks, throughput, end-to-end delay, response time, buffer management, flow control %A Richard R. Muntz %T Queueing networks: a critique of the state of the art and directions for the future %J ACM Computing Surveys %K comsur %V 10 %N 3 %D September 1978 %P 353-359 %K queueing models, performance evaluation %A William M. Newman %A Andries van\ Dam %T Recent efforts toward graphics standardization %J ACM Computing Surveys %K comsur %V 10 %N 3 %D September 1978 %P 365-380 %K computer graphics, graphics packages, design methodology %A James C. Michener %A Andries van\ Dam %T A functional overview of the Core system with glossary %J ACM Computing Surveys %K comsur %V 10 %N 4 %D December 1978 %P 381-387 %K computer graphics, standards, portability, device independence %A R. Daniel Bergeron %A Peter R. Bono %A James D. Foley %T Graphics programming using the Core system %J ACM Computing Surveys %K comsur %V 10 %N 4 %D December 1978 %P 389-443 %K computer graphics, graphics programming techniques, graphics subroutine packages, device independence, portability, graphics standards %A James C. Michener %A James D. Foley %T Some major issues in the design of the Core graphics MS %J ACM Computing Surveys %K comsur %V 10 %N 4 %D December 1978 %P 445-463 %K computer graphics, standards, graphics package design, graphics programming, portability, device independence %A Ingrid Carlbom %A Joseph Paciorek %T Planar geometric projections and viewing transformations %J ACM Computing Surveys %K comsur %V 10 %N 4 %D December 1978 %P 465-502 %K computer graphics, descriptive geometry, engineering drawing, architectural drawing, perspective projections, parallel projections %A Dan Bernard %T Management issues in cooperative computing %J ACM Computing Surveys %K comsur %V 11 %N 1 %D March 1979 %P 3-17 %K computer networks, resource sharing, distributed systems, organization, market mechanisms, economics of computing %A Norman I. Badler %A Stephen W. Smoliar %T Digital representations of human movement %J ACM Computing Surveys %K comsur %V 11 %N 1 %D March 1979 %P 19-38 %K parallel processing, notation systems, human body model, animation, computer graphics, simulation %A Subrata Dasgupta %T The organization of microprogram stores %J ACM Computing Surveys %K comsur %V 11 %N 1 %D March 1979 %P 39-65 %K read-only memory, writable control store, vertical microprogramming horizontal microprogramming, polyphase timing scheme, microinstruction, emulation, machine organization, minimal encoding, microword length optimization, parallelism detection, computer architecture, microprogram optimization, machine complexity %A Jacques Cohen %T Non-deterministic algorithms %J ACM Computing Surveys %K comsur %V 11 %N 2 %D June 1979 %P 79-94 %K backtracking, language constructs, implementation, interpreters, problem solving, efficiency %A Francisco Walter Molina %T A survey of resource directive decomposition in mathematical programming %J ACM Computing Surveys %K comsur %V 11 %N 2 %D June 1979 %P 95-104 %K large-scale mathematical programming, decomposition methods, primal methods, partition algorithms, systems modeling, systems optimization %A Lynn J. McKell %A James V. Hansen %A Lester E. Heitger %T Charging for computer services %J ACM Computing Surveys %K comsur %V 11 %N 2 %D June 1979 %P 105-120 %K computer economics, computer resources management, resource allocation, transfer pricing %A Douglas Comer %T The ubiquitous B-tree %J ACM Computing Surveys %K comsur %V 11 %N 2 %D June 1979 %P 121-137 %K B-tree, B*-tree, B+-tree, file organization, index %A George Nagy %A Sharad Wagle %T Geographic data processing %J ACM Computing Surveys %K comsur %V 11 %N 2 %D June 1979 %P 139-181 %K geographic information systems, management information systems, automated cartography, computational geometry, natural resource management, graphic input and output, picture processing, remote sensing %A Won Kim %T Relational database systems %J ACM Computing Surveys %K comsur %V 11 %N 3 %D September 1979 %P 185-211 %K relational model of data, relational interface optimization, user views, snapshots, selective access control, integrity control, integrity assertions, concurrency control, recovery from crashes, relational algebra, relational calculus, cellular associative processor, natural language interface %A A.G. Dale %T Database management systems development in the USSR %J ACM Computing Surveys %K comsur %V 11 %N 3 %D September 1979 %P 213-226 %K management information systems, general purpose computing systems %A Dorothy E. Denning %A Peter J. Denning %T Data security %J ACM Computing Surveys %K comsur %V 11 %N 3 %D September 1979 %P 227-249 %K protection, access controls, information flow, confidentiality, statistical database, statistical inference, cryptography, capabilities, public-key encryption, Data Encryption Standard, security classes %A Siba K. Mohanty %T Models and measurements for quality assessment of software %J ACM Computing Surveys %K comsur %V 11 %N 3 %D September 1979 %P 251-275 %K entropy function, software science, Zipf's law, software characteristics, software errors, software testing, test planning, software reliability %A Abraham Lempel %T Cryptology in transition %J ACM Computing Surveys %K comsur %V 11 %N 4 %D December 1979 %P 285-303 %K cipher, encryption, decryption, cryptosystem, cryptocomplexity, public-key cryptosystems %A Gustavus J. Simmons %T Symmetric and asymmetric encryption %J ACM Computing Surveys %K comsur %V 11 %N 4 %D December 1979 %P 305-330 %K cryptography, secure communications, asymmetric encryption, computational complexity, public-key cryptosystems, authentication %A Gerald J. Popek %A Charles S. Kline %T Encryption and secure computer networks %J ACM Computing Surveys %K comsur %V 11 %N 4 %D December 1979 %P 331-356 %K computer security, encryption, public-key cryptosystems, digital signatures, network registries, encryption protocols %A Herbert S. Bright %A Richard L. Enison %T Quasi-random number sequences from a long-period TLP generator with remarks on application to cryptography %J ACM Computing Surveys %K comsur %V 11 %N 4 %D December 1979 %P 357-370 %K pseudorandom sequences, random sequences, feedback shift register sequences, congruential generators, Tausworthe-Lewis-Payne, Vernam-Shannon, key streams, cryptography %A Gary H. Sockut %A Robert P. Goldberg %T Database reorganization - principles and practice %J ACM Computing Surveys %K comsur %V 11 %N 4 %D December 1979 %P 371-395 %K database management, restructuring, file maintenance %A Jon Louis Bentley %A Jerome H. Friedman %T Data structures for range searching %J ACM Computing Surveys %K comsur %V 11 %N 4 %D December 1979 %P 397-409 %K analysis of algorithms, orthogonal range queries, cells, multidimensional binary search trees, projection %A Fred J. Maryanski %T Backend database systems %J ACM Computing Surveys %K comsur %V 12 %N 1 %D March 1980 %P 3-25 %K backend machine, distributed databases %A Clarence A. Ellis %A Gary J. Nutt %T Office information systems and computer science %J ACM Computing Surveys %K comsur %V 12 %N 1 %D March 1980 %P 27-60 %K office automation, distributed systems, office modeling %A Rob Kling %T Social analyses of computing: theoretical perspectives in recent empirical research %J ACM Computing Surveys %K comsur %V 12 %N 1 %D March 1980 %P 61-110 %K social impacts of computing, information systems, decision making, privacy, social accountability, work life, social power, innovation, management information systems %A Anita K. Jones %A Peter Schwarz %T Experience using multiprocessor systems - a status report %J ACM Computing Surveys %K comsur %V 12 %N 2 %D June 1980 %P 121-165 %K parallel solutions, physical and logical distribution, resource scheduling, reliability, synchronization %A C.K. Wong %T Minimizing expected head movement in one-dimensional and two-dimensional mass storage systems %J ACM Computing Surveys %K comsur %V 12 %N 2 %D June 1980 %P 167-178 %K disks, mass storage systems, seek time, read/write head, placement of records, magnetic bubble memory %A Toby J. Teorey %A James P. Fry %T The logical record access approach to database design %J ACM Computing Surveys %K comsur %V 12 %N 2 %D June 1980 %P 179-211 %K database management systems, database design, performance evaluation, requirement analysis, analytical models, database administrator %A Lee D. Erman %A Frederick Hayes-Roth %A Victor R. Lesser %A D. Raj Reddy %T The Hearsay-II speech-understanding system: integrating knowledge to resolve uncertainty %J ACM Computing Surveys %K comsur %V 12 %N 2 %D June 1980 %P 213-253 %K artificial intelligence, blackboard, focus of control, knowledge-based system, multiple diverse knowledge sources, multiple levels of abstraction, problem-solving system, uncertainty resolving %A David Landskov %A Scott Davidson %A Bruce Shriver %T Local microcode compaction techniques %J ACM Computing Surveys %K comsur %V 12 %N 3 %D September 1980 %P 261-294 %K data dependency, horizontal architecture, horizontal optimization, microinstruction, parallel, resource conflict, scheduling %A Subrata Dasgupta %T Some aspects of high-level microprogramming %J ACM Computing Surveys %K comsur %V 12 %N 3 %D September 1980 %P 295-323 %K microprogramming languages, firmware engineering, microarchitecture, computer architecture, machine-oriented languages, parallel programming, systems programming, levels of abstraction, hierarchic machines %A Wesley A. Clark %T From electron mobility to logical structure: a view of integrated circuits %J ACM Computing Surveys %K comsur %V 12 %N 3 %D September 1980 %P 325-356 %K semiconductor junctions, transistor models, MOS fabrication, logic circuits, microprocessor structures, silicon systems %A C.S. Wetherell %T Probabilistic languages: a review of some open questions %J ACM Computing Surveys %K comsur %V 12 %N 4 %D December 1980 %P 361-379 %K probabilistic context-free language, error correction, automatic parser, context-free grammar %A Patrick A.V. Hall %A Geoff R. Dowling %T Approximate string matching %J ACM Computing Surveys %K comsur %V 12 %N 4 %D December 1980 %P 381-402 %K spelling correction, error correction, misspelling, string editing, best match, syntax errors, equivalence, similarity, searching, longest common subsequence, file organization, information retrieval %A R.S. Bird %T Tabulation techniques for recursive programs %J ACM Computing Surveys %K comsur %V 12 %N 4 %D December 1980 %P 403-417 %K recursive functions, redundancy, tabulation, recursion elimination, program transformation, pebble games, dynamic programming %A George S. Lueker %T Some techniques for solving recurrences %J ACM Computing Surveys %K comsur %V 12 %N 4 %D December 1980 %P 419-436 %K characteristics equations, probability generating functions, analysis of algorithms, asymptotic analysis %A Aristides A.G. Requicha %T Representations for rigid solids: theory, methods, and systems %J ACM Computing Surveys %K comsur %V 12 %N 4 %D December 1980 %P 437-464 %K CAD/CAM, computational geometry, computer graphics, design and manufacturing automation, geometric modeling, %A Thomas P. Moran %T An applied psychology of the user %J ACM Computing Surveys %K comsur %V 13 %N 1 %D March 1981 %P 1-11 %A Phyllis Reisner %T Human factors studies of database query languages: a survey and assessment %J ACM Computing Surveys %K comsur %V 13 %N 1 %D March 1981 %P 13-31 %K behavioral science, database systems, query languages, data models, procedurality, syntax, evaluation of ease-of-use, improving language design %A David W. Embley %A George Nagy %T Behavioral aspects of text editors %J ACM Computing Surveys %K comsur %V 13 %N 1 %D March 1981 %P 33-70 %K program editors, manuscript editors, controlled experiments, behavioral science, cognitive psychology, human factors, keyboards, data entry, behavioral models, interactive input %A William B. Rouse %T Human-computer interaction in the control of dynamic systems %J ACM Computing Surveys %K comsur %V 13 %N 1 %D March 1981 %P 71-99 %K mathematical models, system design, task analysis, aircraft %A B.A. Sheil %T The psychological study of programming %J ACM Computing Surveys %K comsur %V 13 %N 1 %D March 1981 %P 101-120 %K cognitive psychology, programming languages, programming methodology, human factors, software engineering %A Richard E. Mayer %T The psychology of how novices learn computer programming %J ACM Computing Surveys %K comsur %V 13 %N 1 %D March 1981 %P 121-141 %K instruction, man-machine interface %A Walter H. Kohler %T A survey of techniques for synchronization and recovery in decentralized computer systems %J ACM Computing Surveys %K comsur %V 13 %N 2 %D June 1981 %P 149-183 %K object model, access synchronization, concurrency control, crash recovery, atomic action %A Philip A. Bernstein %A Nathan Goodman %T Concurrency control in distributed database systems %J ACM Computing Surveys %K comsur %V 13 %N 2 %D June 1981 %P 185-221 %K deadlock, distributed database management systems, serializability, synchronization, timestamp ordering, two-phase commit, two-phase locking %A Jim Gray %A Paul McJones %A Mike Blasgen %A Bruce Lindsay %A Raymond Lorie %A Tom Price %A Franco Putzolu %A Irving Traiger %T The recovery manager of the System R database manager %J ACM Computing Surveys %K comsur %V 13 %N 2 %D June 1981 %P 223-242 %K transactions, reliability %A Carl E. Landwehr %T Formal models of computer security %J ACM Computing Surveys %K comsur %V 13 %N 3 %D September 1981 %P 247-278 %K protection, operating system, data security, access control, access matrix, capabilities, confidentiality, privacy, information flow, security classes, confinement, integrity, aggregation, sanitization, verification %A Maureen Harris Cheheyl %A Morrie Gasser %A George A. Huff %A Jonathan K. Millen %T Verifying security %J ACM Computing Surveys %K comsur %V 13 %N 3 %D September 1981 %P 279-339 %K HDM, SPECIAL, Ina Jo, FDM, Gypsy, AFFIRM, formal specification, verification, theorem provers %A Jacques Cohen %T Garbage collection of linked data structures %J ACM Computing Surveys %K comsur %V 13 %N 3 %D September 1981 %P 341-367 %K list processing, marking, compaction, varisized cells, reference counters, secondary storage, parallel and real-time collection, analysis of algorithms, language implementation %A Narenda Ahuja %A B.J. Schacter %T Image models %J ACM Computing Surveys %K comsur %V 13 %N 4 %D December 1981 %P 373-397 %K texture models, high-level models, low-level models, pixel-based models, one dimensional models, random field models, global models, local models, syntactic models, region-based models, time series models, Markov models %A Sargur N. Srihari %T Representation of three-dimensional digital images %J ACM Computing Surveys %K comsur %V 13 %N 4 %D December 1981 %P 399-424 %K three-dimensional analysis, image-data structures, pattern representation, computed tomography, computer vision, image reconstruction, computer graphics, space planning, three-dimensional features %A Edward H. Frank %A Robert F. Sproull %T Testing and debugging custom integrated circuits %J ACM Computing Surveys %K comsur %V 13 %N 4 %D December 1981 %P 425-451 %K integrated circuit design, simulation %A Andrew S. Tanenbaum %T Network protocols %J ACM Computing Surveys %K comsur %V 13 %N 4 %D December 1981 %P 453-489 %K computer network, data communication, ISO OSI reference model, layered architecture, protocol %A Michael Brady %T Computational approaches to image understanding %J ACM Computing Surveys %K comsur %V 14 %N 1 %D February 1982 %P 3-71 %K object representation, region finding, shape description, stereo vision, surface interpolation %A Alan R. Feuer %A Narain H. Gehani %T A comparison of the programming languages C and Pascal %J ACM Computing Surveys %K comsur %V 14 %N 1 %D February 1982 %P 73-92 %A Philip C. Treleaven %A David R. Brownbridge %A Richard P. Hopkins %T Data-driven and demand-driven computer architecture %J ACM Computing Surveys %K comsur %V 14 %N 1 %D February 1982 %P 93-143 %A W. Richards Adrion %A Martha A. Branstad %A John C. Cherniavsky %T Validation, verification, and testing of computer software %J ACM Computing Surveys %K comsur %V 14 %N 2 %D June 1982 %P 159-192 %K reliability %A William E. Howden %T Validation of scientific programs %J ACM Computing Surveys %K comsur %V 14 %N 2 %D June 1982 %P 193-227 %K static analysis, dynamic analysis %A Douglas D. Dunlop %A Victor R. Basili %T A comparative analysis of functional correctness %J ACM Computing Surveys %K comsur %V 14 %N 2 %D June 1982 %P 229-244 %K inductive assertion correctness, subgoal inductions %A Frank W. Allen %A Mary E.S. Loomis %A Michael V. Mannino %T The integrated dictionary/directory system %J ACM Computing Surveys %K comsur %V 14 %N 2 %D June 1982 %P 245-286 %K documentation, languages, management %A Lawrence W. Dowdy %A Derrell V. Foster %T Comparative models of the file assignment problem %J ACM Computing Surveys %K comsur %V 14 %N 2 %D June 1982 %P 287-313 %K computer networks, queueing network models %A Norman Meyrowitz %A Andries van\ Dam %T Interactive editing systems: part I %J ACM Computing Surveys %K comsur %V 14 %N 3 %D September 1982 %P 321-352 %K syntax-directed editors, structure editors %A Norman Meyrowitz %A Andries van\ Dam %T Interactive editing systems: part II %J ACM Computing Surveys %K comsur %V 14 %N 3 %D September 1982 %P 353-415 %K syntax-directed editors, structure editors %A Richard Furuta %A Jeffrey Scofield %A Alan Shaw %T Document formatting systems: survey, concepts, and issues %J ACM Computing Surveys %K comsur %V 14 %N 3 %D September 1982 %P 417-472 %K formatters, editors, text manipulation %A Alan Jay Smith %T Cache memories %J ACM Computing Surveys %K comsur %V 14 %N 3 %D September 1982 %P 473-530 %K buffer memory, paging, prefetching, TLB, store-through, Amdahl 470, IBM 3033, BIAS %A T.A. Marsland %A M. Campbell %T Parallel search of strongly ordered game trees %J ACM Computing Surveys %K comsur %V 14 %N 4 %D December 1982 %P 533-551 %K alpha-beta search, computer chess, game playing, parallel search, tree decomposition %A Stephen T. Barnard %A Martin A. Fischler %T Computational stereo %J ACM Computing Surveys %K comsur %V 14 %N 4 %D December 1982 %P 553-572 %K camera modeling, feature acquisition, matching %A Mahadevan Ganapathi %A Charles A. Fischer %A John L. Hennessy %T Retargetable compiler code generation %J ACM Computing Surveys %K comsur %V 14 %N 4 %D December 1982 %P 573-592 %K code generator generator, compiler compiler, intermediate representation, machine-dependent optimization, machine description %A Bernard M.E. Moret %T Decision trees and diagrams %J ACM Computing Surveys %K comsur %V 14 %N 4 %D December 1982 %P 593-623 %K atomic digraph, binary identification, Boolean graph, decision program, decision table, diagnostic key, diagnostic table, exhaustive function, feature selection, heuristics, hierarchical classifier, multiplexer network, multistage testing, NP-complete problem, sequential evaluation procedure, table splitting, taxonomy, test selection %A Gregory R. Andrews %A Fred B. Schneider %T Concepts and notations for concurrent programming %J ACM Computing Surveys %K comsur %V 15 %N 1 %D March 1983 %P 3-43 %K algorithms, languages %A Salvatore T. March %T Techniques for structuring database records %J ACM Computing Surveys %K comsur %V 15 %N 1 %D March 1983 %P 45-79 %K aggregation, record segmentation, record structures %A George Broomell %A J. Robert Heath %T Classification categories and historical development of circuit switching topologies %J ACM Computing Surveys %K comsur %V 15 %N 2 %D June 1983 %P 95-133 %K distributed/parallel processing, interconnection networks, topology %A Victor L. Voydock %A Stephen T. Kent %T Security mechanisms in high level network protocols %J ACM Computing Surveys %K comsur %V 15 %N 2 %D June 1983 %P 135-171 %K computer networks, wiretapping, authentication %A Magdy S. Abadir %A Hassan K. Reghbati %T Functional testing of semiconductor random access memories %J ACM Computing Surveys %K comsur %V 15 %N 3 %D September 1983 %P 175-198 %K checking experiments, fault detection %A H. Partsch %A R. Steinbruggen %T Program transformation systems %J ACM Computing Surveys %K comsur %V 15 %N 3 %D September 1983 %P 199-236 %K transformational programming %A Dana Angluin %A Carl H. Smith %T Inductive inferences: theory and methods %J ACM Computing Surveys %K comsur %V 15 %N 3 %D September 1983 %P 237-269 %K learning by example %A Bennet P. Leintz %T Issues in software maintenance %J ACM Computing Surveys %K comsur %V 15 %N 3 %D September 1983 %P 271-278 %K management %A Theo Haerder %A Andreas Reuter %T Principles of transaction-oriented database recovery %J ACM Computing Surveys %K comsur %V 15 %N 4 %D December 1983 %P 287-317 %K fault tolerance %A John Leslie King %T Centralized versus decentralized computing: organizational considerations and management options %J ACM Computing Surveys %K comsur %V 15 %N 4 %D December 1983 %P 319-349 %K management of computing/information systems, structural arrangements for computing %A D.L. Lee %A F.H. Lochovsky %T Voice response systems %J ACM Computing Surveys %K comsur %V 15 %N 4 %D December 1983 %P 351-374 %K speech representation, speech synthesis %A William Stallings %T Local networks %J ACM Computing Surveys %K comsur %V 16 %N 1 %D March 1984 %P 3-41 %K design, performance, standardization %A James F. Kurose %A Mischa Schwartz %A Yechiam Yemini %T Multiple-access protocols and time-constrained communication %J ACM Computing Surveys %K comsur %V 16 %N 1 %D March 1984 %P 43-70 %K computer networks, real-time communication, time-constrained communication %A Won Kim %T Highly available systems for database applications %J ACM Computing Surveys %K comsur %V 16 %N 1 %D March 1984 %P 71-98 %K database concurrency control and recovery, relational database %A Matthia Jarke %A Jurgen Koch %T Query optimization in database systems %J ACM Computing Surveys %K comsur %V 16 %N 2 %D June 1984 %P 111-152 %K database implementation, query optimization, query simplification %A Herve Gallaire %A Jack Minker %A Jean-Marie Nicolas %T Logic and databases: a deductive approach %J ACM Computing Surveys %K comsur %V 16 %N 2 %D June 1984 %P 153-185 %K deductive databases, indefinite data, null values, relational databases %A Hanan Samet %T The quadtree and related hierarchical data structures %J ACM Computing Surveys %K comsur %V 16 %N 2 %D June 1984 %P 187-260 %K geographic information systems, hierarchical data structures, image databases, multiattribute data, multidimensional data structures, octrees, pattern recognition, point data, robotics %A Ben Schneiderman %T Response time and display rate in human performance with computers %J ACM Computing Surveys %K comsur %V 16 %N 3 %D September 1984 %P 265-285 %K human/computer interaction, interactive systems, user interface, user think time %A Dina Bitton %A David J. DeWitt %A David K. Hsiao %A Jaishankar Menon %T A taxonomy of parallel sorting %J ACM Computing Surveys %K comsur %V 16 %N 3 %D September 1984 %P 287-318 %K block sorting, bubble memory, external sorting, hardware sorters, internal sorting, limited parallelism, merging, sorting networks %A Michael J. Quinn %A Narsingh Deo %T Parallel graph algorithms %J ACM Computing Surveys %K comsur %V 16 %N 3 %D September 1984 %P 319-348 %A Liba Svobodova %T File servers for network based distributed systems %J ACM Computing Surveys %K comsur %V 16 %N 4 %D December 1984 %P 353-398 %K atomic update, client/server communication, recoverable files, remote procedure call %A C.T. Yu %A C.C. Chang %T Distributed query processing %J ACM Computing Surveys %K comsur %V 16 %N 4 %D December 1984 %P 399-433 %K communication, cyclic queries, distributed query processing, fragment processing, heuristics, join, optimization, performance, semijoin, tree queries %A Gopal K. Gupta %A Ron Sacks-Davis %A Peter E. Tischer %T A review of recent developments in solving ODEs %J ACM Computing Surveys %K comsur %V 17 %N 1 %D March 1985 %P 5-47 %K mathematical software, performance evaluation %A Christos Faloutsos %T Access methods for text %J ACM Computing Surveys %K comsur %V 17 %N 1 %D March 1985 %P 49-74 %K document retrieval, information retrieval, office automation, office filing, signature files, special purpose hardware, superimposed coding %A Paul J. Besl %A Ramesh C. Jain %T Three-dimensional object recognition %J ACM Computing Surveys %K comsur %V 17 %N 1 %D March 1985 %P 75-145 %K range images, depth maps, surface characterization, surface matching, 3-D object recognition, 3-D object reconstruction %A Curtis Roads %T Research in music and artificial intelligence %J ACM Computing Surveys %K comsur %V 17 %N 2 %D June 1985 %P 163-190 %K automatic transcription, composition, digital sound processing, intelligent composer's assistant, music performance, music theory, responsive instruments, sound synthesis %A John W. Gordon %T System architectures for computer music %J ACM Computing Surveys %K comsur %V 17 %N 2 %D June 1985 %P 191-234 %K acoustic analysis, music synthesis %A Gareth Loy %A Curtis Abbott %T Programming languages for computer music synthesis, performance and composition %J ACM Computing Surveys %K comsur %V 17 %N 2 %D June 1985 %P 235-266 %K digital sound synthesis, music programming language design, music representation, real-time control languages %A Bruce W. Pennycook %T Computer-music interfaces: a survey %J ACM Computing Surveys %K comsur %V 17 %N 2 %D June 1985 %P 267-289 %K composition and synthesis languages, computer-aided instruction in music systems, design principles, graphic score editing, real-time performance systems %A James H. Hester %A Daniel S. Hirschberg %T Self-organizing linear search %J ACM Computing Surveys %K comsur %V 17 %N 3 %D September 1985 %P 295-311 %K convergence, locality, relative measures, self-organizing lists %A Matthias Jarke %A Yannis Vassiliou %T A framework for choosing a database query language %J ACM Computing Surveys %K comsur %V 17 %N 3 %D September 1985 %P 313-340 %K language evaluation, user classification %A Susan B. Davidson %A Hector Garcia-Molina %A Dale Skeen %T Consistency in partitioned networks %J ACM Computing Surveys %K comsur %V 17 %N 3 %D September 1985 %P 341-370 %K serializability %A John S. Quaterman %A Abraham Silberschatz %A James L. Peterson %T 4.2BSD and 4.3BSD as examples of the Unix system %J ACM Computing Surveys %K comsur %V 17 %N 4 %D December 1985 %P 379-418 %K human factors, performance, reliability, security %K flexibility, portability, simplicity %A Andrew S. Tanenbaum %A Robbert van\ Renesse %T Distributed operating systems %J ACM Computing Surveys %K comsur %V 17 %N 4 %D December 1985 %P 419-470 %K experimentation, reliability, security, file server %A Luca Cardelli %A Peter Wegner %T On understanding types, data abstraction, and polymorphism %J ACM Computing Surveys %K comsur %V 17 %N 4 %D December 1985 %P 471-522 %K languages, theory, inheritance, object-oriented programming %K type checking, type inference %A R.H. Perrott %A A. Zarea-Aliabadi %T Supercomputer languages %J ACM Computing Surveys %K comsur %V 18 %N 1 %D March 1986 %P 5-22 %A Zvi Galil %T Efficient algorithms for finding maximum matching graphs %J ACM Computing Surveys %K comsur %V 18 %N 1 %D March 1986 %P 23-38 %A Jayadev Misra %T Distributed discrete-event simulation %J ACM Computing Surveys %K comsur %V 18 %N 1 %D March 1986 %P 39-65 %A Roland T. Chin %A Charles R. Dyer %T Model-based recognition in robot vision %J ACM Computing Surveys %K comsur %V 18 %N 1 %D March 1986 %P 67-108 %A Nancy G. Leveson %T Software safety: what, why, and how %J ACM Computing Surveys %K comsur %V 18 %N 2 %D June 1986 %P 125-163 %A R.A. Hirschheim %T The effect of a priori views on the social implications of computing: the case of office automation %J ACM Computing Surveys %K comsur %V 18 %N 2 %D June 1986 %P 165-195 %A Toby J. Teorey %A Dongqing Yang %A James P. Fry %T A logical design methodology for relational databases using the extended entity-relationship model %J ACM Computing Surveys %K comsur %V 18 %N 2 %D June 1986 %P 197-222 %A Ali Mili %A Jules Deshamais %A Jean Raymond Gagne %T Formal models of stepwise refinement of programs %J ACM Computing Surveys %K comsur %V 18 %N 3 %D September 1986 %P 231-276 %A Barbara G. Ryder %A Marvin C. Paull %T Elimination algorithms for data flow analysis %J ACM Computing Surveys %K comsur %V 18 %N 3 %D September 1986 %P 277-316 %A C. Batini %A M. Lenzerini %A S.B. Navathe %T A comparative analysis of methodologies for database schema integration %J ACM Computing Surveys %K comsur %V 18 %N 4 %D December 1986 %P 323-364 %A Arthur H. Veen %T Dataflow machine architecture %J ACM Computing Surveys %K comsur %V 18 %N 4 %D December 1986 %P 365-396 %A Kalle Lyytinen %T Different perspectives on information systems: problems and solutions %J ACM Computing Surveys %K comsur %V 19 %N 1 %D March 1987 %P 5-46 %A Alfons Kemper %A Mechtild Wallrath %T An analysis of geometric modeling in database systems %J ACM Computing Surveys %K comsur %V 19 %N 1 %D March 1987 %P 47-91