ACM Conference on Computer Science 1985: New Orleans, Louisiana, USA

Terry M. Walker, Wayne D. Dominick (Eds.): Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985. ACM 1985, ISBN 0-89791-150-4 BibTeX

Gerald Estrin:
SARA in the design room. 1-12
Electronic Edition (ACM DL) BibTeX
John A. Darringer, Daniel Brand, William H. Joyner Jr., Louise Trevillyan, John V. Gerbi:
Production logic synthesis. 13-16
Electronic Edition (ACM DL) BibTeX
Donald E. Thomas:
Observations on comparing digital systems synthesis techniques. 17-22
Electronic Edition (ACM DL) BibTeX
Edward Yourdon:
Impact of the computer revolution: 1985-2001. 23-28
Electronic Edition (ACM DL) BibTeX
W. David Penniman:
Information system performance measurement - revisited. 29-32
Electronic Edition (ACM DL) BibTeX
Richard S. Marcus:
Integration through intermediary system networks. 33
Electronic Edition (ACM DL) BibTeX
David J. Kuck:
Supercomputers and distributed computing. 34-46
Electronic Edition (ACM DL) BibTeX
John A. Stankovic:
Stability and distributed scheduling algorithms. 47-57
Electronic Edition (ACM DL) BibTeX
James A. Larson:
A flexible reference architecture for distributed database management. 58-69
Electronic Edition (ACM DL) BibTeX
Scott Davidson:
High level design automation tools (session overview). 73
Electronic Edition (ACM DL) BibTeX
Vishwani D. Agrawal, Samuel H. C. Poon:
VLSI design process. 74-78
Electronic Edition (ACM DL) BibTeX
David R. Coelho:
High-level design using HELIX. 79-88
Electronic Edition (ACM DL) BibTeX
William A. Rogers, Jacob A. Abraham:
High level hierarchical fault simulation techniques. 89-97
Electronic Edition (ACM DL) BibTeX
Laxmi N. Bhuyan:
Introduction to session R2 (session overiew): advanced computer architectures. 98-99
Electronic Edition (ACM DL) BibTeX
Toshio Kondo, Tayoshi Nakashima, Toshio Tsuchiya, Yoshi Sugiyama, Tsuneta Sudo:
A large scale cellular array processor: AAP-1. 100-111
Electronic Edition (ACM DL) BibTeX
Ali R. Hurson, Behrooz Shirazi:
The design of a hardware recognizer for utilization in scanning operations. 112-119
Electronic Edition (ACM DL) BibTeX
Paul L. Mills:
The design of bit parallel systolic algorithms for matrix-vector and matrix-matrix multiplication. 120-129
Electronic Edition (ACM DL) BibTeX
Paul J. Drongowski:
Design representation in CAD tools (session overview). 130
Electronic Edition (ACM DL) BibTeX
Paul J. Drongowski:
Representation in CAD: Models and semantics. 131-135
Electronic Edition (ACM DL) BibTeX
Jwahar R. Bammi:
An experimental representation for organizational level designs and synthesis. 136-143
Electronic Edition (ACM DL) BibTeX
Sundaravarathan R. Iyengar, Ravi Manghirmalani, Nancy Nettleton, Joseph Borgia:
Representations for a rule based assistant for designing combinational circuits. 144-149
Electronic Edition (ACM DL) BibTeX
Randy Michelson:
Measurement, Management and optimization (session overview): session overview. 150
Electronic Edition (ACM DL) BibTeX
Richard W. Moulton:
Measurement of processor occupancy in a cyclic non-preemptive real-time control system. 151-162
Electronic Edition (ACM DL) BibTeX
Yuan Y. Sung:
Parallel searching for binary Cartesian product files. 163-172
Electronic Edition (ACM DL) BibTeX
Charles Welty:
Natural language querying (session overview). 173
Electronic Edition (ACM DL) BibTeX
William C. Ogden:
The human factors of natural language query systems. 174-175
Electronic Edition (ACM DL) BibTeX
Eva-Martin Mueckstein:
Controlled natural language interfaces (extended abstract): the best of three worlds. 176-178
Electronic Edition (ACM DL) BibTeX
Jon A. Turner, Matthias Jarke, Edward A. Stohr, Yannis Vassiliou, Norman H. White:
Coupling field studies with laboratory experiments for the evaluation of computer languages. 179-183
Electronic Edition (ACM DL) BibTeX
J. Wayne Anderson:
Information systems performance measurement and evaluation (session overview). 184
Electronic Edition (ACM DL) BibTeX
Evans J. Adams:
Workload models for DBMS performance evaluation. 185-195
Electronic Edition (ACM DL) BibTeX
John Tolle:
Performance measurement and evaluation of online information systems. 196-203
Electronic Edition (ACM DL) BibTeX
Rebecca R. Bogart:
Proposed automated information management at NASA: its performance measurement and evaluation. 204-208
Electronic Edition (ACM DL) BibTeX
Norman E. Sondak:
Integrating PC's into the information center (session overview). 209
Electronic Edition (ACM DL) BibTeX
Norman E. Sondak, Madelyn C. Phillips:
An examination of information center implementation and impact. 210-219
Electronic Edition (ACM DL) BibTeX
Alexis Koster:
PROLOG applications for database design with the information center. 220-234
Electronic Edition (ACM DL) BibTeX
George N. Arnovick, Orlando S. Madrigal:
Training aspects of microcomputer usage in the information center environment. 235-241
Electronic Edition (ACM DL) BibTeX
Frank Y. Chum:
Information system modeling and management (session overview). 242
Electronic Edition (ACM DL) BibTeX
Angelika Horndasch, Rudi Studer:
THM-NET: an approach to office systems modeling. 243-250
Electronic Edition (ACM DL) BibTeX
Suzanne Sluizer, Paul M. Cashman:
XCP: an experimental tool for managing cooperative activity. 251-258
Electronic Edition (ACM DL) BibTeX
C. Y. Kao:
An automated scheduling system for project management. 259-270
Electronic Edition (ACM DL) BibTeX
Christie D. Michelson:
User/system interfaces and natural language processing (session overview). 271
Electronic Edition (ACM DL) BibTeX
J. Reese, Ray Twiddy, L. Buchanan, M. Tarka, K. C. Leung:
GUIDES: a tool for rapid prototyping of user-computer interfaces. 272-279
Electronic Edition (ACM DL) BibTeX
Richard Holcomb, Alan L. Tharp:
The effect of windows on man-machine interfaces (or opening doors with windows). 280-291
Electronic Edition (ACM DL) BibTeX
David W. Embley, Roy E. Kimbrell:
A scheme-driven natural language query translator. 292-297
Electronic Edition (ACM DL) BibTeX
Willy Zwaenepoel:
Distributed file access (session overview). 298
Electronic Edition (ACM DL) BibTeX
Peter J. Weinberger:
The UNIX eighth edition network file system. 299-301
Electronic Edition (ACM DL) BibTeX
David R. Cheriton, Paul Roy:
Performance of the V storage server: a preliminary report. 302-308
Electronic Edition (ACM DL) BibTeX
Paul J. Leach, Paul H. Levine, James A. Hamilton, Bernard L. Stumpf:
The file system of an integrated local network. 309-324
Electronic Edition (ACM DL) BibTeX
Stephen M. Nemecek:
Performance evaluation and control of distributed systems (session overview). 325
Electronic Edition (ACM DL) BibTeX
Wlodzimierz M. Zuberek:
Performance evaluation of concurrent systems using timed petri nets. 326-329
Electronic Edition (ACM DL) BibTeX
Veljko M. Milutinovic, Jakov J. Crnkovic:
State transition times for limited contention multiple access schemes. 330-338
Electronic Edition (ACM DL) BibTeX
James M. Bieman:
Software complexity, program synthesis, and data flow analysis (session overview): session overview. 339
Electronic Edition (ACM DL) BibTeX
Robert L. Sedlmeyer, Joseph K. Kearney, William B. Thompson, Michael A. Adler, Michael A. Gray:
Problems with software complexity measurement. 340-347
Electronic Edition (ACM DL) BibTeX
Sun Yong-qiang, Lu Ru-zhan, Bi Hua:
Program synthesis based on Boyer-Moore theorem proving techniques. 348-355
Electronic Edition (ACM DL) BibTeX
Zhiqiang Tan, Karen A. Lemone:
A research environment for incremental data flow analysis. 356-362
Electronic Edition (ACM DL) BibTeX
John C. Peck:
Distributed database/file systems (session overview): introduction. 363
Electronic Edition (ACM DL) BibTeX
Andreas Diener, Andreas Dudler:
The integrity subsystem of a distributed database system for workstations. 364-372
Electronic Edition (ACM DL) BibTeX
Anna Hac:
On the modeling of read and write locks on a distributed system. 373-380
Electronic Edition (ACM DL) BibTeX
Leslie L. Miller, Tyne Liang:
The role of parellelism in file organization. 381-388
Electronic Edition (ACM DL) BibTeX
Gary E. Swinson:
Syntactic analysis and design environments (session overview). 389
Electronic Edition (ACM DL) BibTeX
Pyda Srisuresh, Michael J. Eager:
A portable syntactic error recovery scheme for LR(1) parsers. 390-399
Electronic Edition (ACM DL) BibTeX
Ramin Yasdi:
Modelling database based expert systems at the conceptual level. 400-413
Electronic Edition (ACM DL) BibTeX
Jean B. Rogers, Fred Archberger, Robert M. Aiken, John C. Arch, Michael R. Haney, John D. Lawson Jr., Cheryl Lemke, Thomas A. Swanson, Samuel F. Tumolo:
Computer science for secondary schools: course content recommendations of the ACM education board elementary and secondary schools subcommittee. 414
Electronic Edition (ACM DL) BibTeX
Sung-Hyon Myaeng, Robert R. Korfhage:
Dynamic user profile in information retrieval (abstract only). 417
Electronic Edition (ACM DL) BibTeX
Colette Rolland:
Intelligent interface for data base design (abstract only). 417
Electronic Edition (ACM DL) BibTeX
Martin Granier:
Critical comparative analysis of the major commercial IS&R systems (abstract only). 417
Electronic Edition (ACM DL) BibTeX
Suzy Gallagher:
An innovative, multidisciplinary educational program in interactive information storage and retrieval (abstract only). 417
Electronic Edition (ACM DL) BibTeX
Theresa Rosen:
Research trends and activity in the computer sciences, as identified by citation analysis (abstract only). 417
Electronic Edition (ACM DL) BibTeX
David R. Beuerman:
REDBOL or RElational Data Base Operators in Lisp and Lispit (abstract only). 417
Electronic Edition (ACM DL) BibTeX
Narinder B. Lakhani, S. Sitharama Iyengar:
Experimental investigation of a forest of quadtrees (abstract only). 418
Electronic Edition (ACM DL) BibTeX
Weishing Chen, S. Sitharama Iyengar:
A complete binary tree based system for activation of concurrent processes (abstract only). 418
Electronic Edition (ACM DL) BibTeX
William A. Greene, Wayne Patterson:
Using Galois fields in computer science (abstract only). 418
Electronic Edition (ACM DL) BibTeX
Don Morrison:
Maps and descendant husband trees (abstract only). 418
Electronic Edition (ACM DL) BibTeX
Nancy K. Gautier:
The space efficiency of a forest of quadtrees over a quadtree data structure (abstract only). 418
Electronic Edition (ACM DL) BibTeX
Robert L. Sedlmeyer, Marc J. Lipman:
Computer-aided investigation in graph theory (abstract only). 418
Electronic Edition (ACM DL) BibTeX
Richard Owens:
FITSCAN (abstract only): a computer monitoring and analysis of cardiovascular performance. 419
Electronic Edition (ACM DL) BibTeX
Robert E. Owens III:
A disk emulator for the Commodore 1541 disk drive (abstract only). 419
Electronic Edition (ACM DL) BibTeX
Henry Rosche III:
Elementary shape construction on a microcomputer (abstract only). 419
Electronic Edition (ACM DL) BibTeX
Murray R. Berkowitz:
Development and implementation of a prototype microcomputer system to automate transportation squadron functions in the Strategic Air Command (abstract only). 419
Electronic Edition (ACM DL) BibTeX
Mark Williard, Leroy Roquemore:
Development of a windowing manager for a single process on a large screen (abstract only). 419
Electronic Edition (ACM DL) BibTeX
Kenneth Cooper, Jeffrey Smith:
CP/M development system (abstract only). 419
Electronic Edition (ACM DL) BibTeX
Guy Bruno Jr., Walter G. Rudd:
A similarity index for convex polygons (abstract only). 420
Electronic Edition (ACM DL) BibTeX
Krishna M. Uppuluri, Walter G. Rudd:
BUGID (abstract only): a soybean insect pest identifier. 420
Electronic Edition (ACM DL) BibTeX
William W. McMillan:
Object recognition through automated tactile sensing (abstract only). 420
Electronic Edition (ACM DL) BibTeX
Roger Ferguson, William W. McMillan:
Dealing with large sets of stimuli in learning tasks (abstract only). 420
Electronic Edition (ACM DL) BibTeX
Alvin J. Surkan, Quen Pin-Ngern:
Intelligence report generation based on computer intensive data analysis (abstract only). 420
Electronic Edition (ACM DL) BibTeX
Karen Mertens:
Artificial intelligence and pattern recognition. 420
Electronic Edition (ACM DL) BibTeX
Thomas M. English, Lois C. Boggess:
Facilitating speech recognition with atuomatically generated ATN's, theme identifiers, and syntax analyzers (abstract only). 420
Electronic Edition (ACM DL) BibTeX
Spiros Triantafyllopoulos:
Knowledge-based information retrieval (abstract only): techniques and applications. 421
Electronic Edition (ACM DL) BibTeX
Brady R. Rimes, Walter G. Rudd:
Pest management modeller's workbench (abstract only). 421
Electronic Edition (ACM DL) BibTeX
Kim A. McMahon:
Menu planning by an EXPERT (abstract only). 421
Electronic Edition (ACM DL) BibTeX
Dorothy Landis:
CADIS (abstract only): a kernel approach toward the development of intelleigent data management support for computer-aided design systems. 421
Electronic Edition (ACM DL) BibTeX
Fu Tong:
An experimental distributed microprocessor-based knowledge base system (abstract only). 421
Electronic Edition (ACM DL) BibTeX
Spencer Star:
An expert system for foreign currency hedging (abstract only). 421
Electronic Edition (ACM DL) BibTeX
Ralph Butler, Arlan R. DeKock:
Implementaion of a parallel subsumption algorithm (abstract only). 422
Electronic Edition (ACM DL) BibTeX
Martin E. Kaliski:
Finite automation over real-number alphabets (abstract only): some theoretical results and applications. 422
Electronic Edition (ACM DL) BibTeX
Wu Peng, Walter G. Rudd:
Integration over polytopes (abstract only). 422
Electronic Edition (ACM DL) BibTeX
Mark Temte:
A numerical technique for analytic continuation (abstract only). 422
Electronic Edition (ACM DL) BibTeX
Paul Erdös, Edward T. Ordman, Yechezkel Zalcstein:
Bounds on threshold dimension and disjoint threshold coverings (abstract only). 422
Electronic Edition (ACM DL) BibTeX
Zhixi Fang, Jitender S. Deogun:
Conflict resolution algorithm for interconnection networks (abstract only). 422
Electronic Edition (ACM DL) BibTeX
Julia E. Hodges:
An analytic model in the study of physical database reorganization (abstract only). 423
Electronic Edition (ACM DL) BibTeX
Edward T. Lee:
Application of the entity-relationship model to picture representation (abstract only). 423
Electronic Edition (ACM DL) BibTeX
Pentti A. Honkanen:
An investigation of the inconstistencies of the RIM-5 relationalinformation management database management system (abstract only). 423
Electronic Edition (ACM DL) BibTeX
Shashi K. Gadia:
A suitable relational model for temporal databases (abstract only). 423
Electronic Edition (ACM DL) BibTeX
Asad Khailany, Arnold Gasper:
Physical design of a menu relational database system package (abstract only). 423
Electronic Edition (ACM DL) BibTeX
D. C. Buddenhagen, S. D. Staddard:
The initial implementation of System k (abstract only). 423
Electronic Edition (ACM DL) BibTeX
Bogdan D. Czejdo, Ludwik Kolkowski:
Models in teaching programming languages (abstract only). 424
Electronic Edition (ACM DL) BibTeX
Mark Meyer:
An implementation of the FORCASE construct (abstract only). 424
Electronic Edition (ACM DL) BibTeX
Dean Sanders:
Introducing program design (abstract only). 424
Electronic Edition (ACM DL) BibTeX
Roger Eggen, John R. Metzner:
Development of a parallel algorithmic language (abstract only). 424
Electronic Edition (ACM DL) BibTeX
Michael V. Doran, Victor J. Law:
Structured programming environments (abstract only). 424
Electronic Edition (ACM DL) BibTeX
Barry Burd:
Using subprograms as the main primitive in teaching Ada (abstract only). 424
Electronic Edition (ACM DL) BibTeX
Beth Clark:
Experimental comparison of software metrics (abstract only). 425
Electronic Edition (ACM DL) BibTeX
Arthur Pellerin:
Efficiency of algorithms and performance measurement. 425
Electronic Edition (ACM DL) BibTeX
David N. Card:
A software technology evaluation program (abstract only). 425
Electronic Edition (ACM DL) BibTeX
Rodney L. Bown, Charles W. McKay:
Programming support for the NASA space station data management system (abstract only). 425
Electronic Edition (ACM DL) BibTeX
James Ambroise, Yat Kat Chan:
Architecture of the advanced development environment (abstract only). 425
Electronic Edition (ACM DL) BibTeX
Mark Temte:
The recursive application of the object-oriented design methodology (abstract only). 425
Electronic Edition (ACM DL) BibTeX
Carol Chrisman, Barbara Beccue:
The role of fourth generation tools in systems development (abstract only). 425
Electronic Edition (ACM DL) BibTeX
Amar dev Amar, Eugen Vasilecu:
Some empirical results regarding the efficiency of the entrapment procedure for scheduling jobs on identical machines (abstract only). 426
Electronic Edition (ACM DL) BibTeX
Sudarshan K. Dhall, S. Davari-Hadikiashari:
Scheduling periodic time-critical tasks on a multiprocessor system (abstract only). 426
Electronic Edition (ACM DL) BibTeX
Richard Aló, Robert M. Kleyle, André de Korvin:
Some dynamical properties of sequentially acquired information (abstract only)0. 426
Electronic Edition (ACM DL) BibTeX
Alvin J. Surkan:
Botlzman controlled backtracking in solution of AI search problems (abstract only). 426
Electronic Edition (ACM DL) BibTeX
Asad Khailany, John Audritch:
Control charts as a memory performance measurement tool (abstract only). 426
Electronic Edition (ACM DL) BibTeX
Asad Khailany, John Audritsh:
Control charts as a CPU performance measurement tool (abstract only). 426
Electronic Edition (ACM DL) BibTeX
Duane Worley:
An automated support environment for CAD system development (abstract only). 427
Electronic Edition (ACM DL) BibTeX
Dennis Moreau:
The design of an object oriented graphics interface (abstract only). 427
Electronic Edition (ACM DL) BibTeX
Frank Chum:
The specifications and design of a distributed workstation (abstract only). 427
Electronic Edition (ACM DL) BibTeX
Margaret Christensen:
ICE - intelligent computer explanation (abstract only). 427
Electronic Edition (ACM DL) BibTeX
John Kreuter:
A user friendly interactive graphics system (abstract only). 427
Electronic Edition (ACM DL) BibTeX
Philip Hall:
Design criteria for a PC-based common user interface to remote information systems (abstract only). 427
Electronic Edition (ACM DL) BibTeX
Kenneth Cooper, Tim Kerlin:
A small scale multi-microprocessor network controller (abstract only). 428
Electronic Edition (ACM DL) BibTeX
Thomas Philip:
A prototype approach to instrument network software (abstract only). 428
Electronic Edition (ACM DL) BibTeX
Paul A. Ponville:
Describing distributed environments (abstract only). 428
Electronic Edition (ACM DL) BibTeX
Sudha Ram, Geneva G. Belford:
A model for the design of distributed databases (abstract only). 428
Electronic Edition (ACM DL) BibTeX
T. S. Narayanan:
LAN based distributed database management system architecture (LADDBMS) (abstract only). 428
Electronic Edition (ACM DL) BibTeX
Amjad Umar:
Optimal allocation of programs and data in distributed systems (abstract only). 428
Electronic Edition (ACM DL) BibTeX
Corey D. Schou:
Decision-supportive modeling techniques for production planning (abstract only). 429
Electronic Edition (ACM DL) BibTeX
David Haas:
Simulation of the computer science curriculum at Southeastern Louisiana University (abstract only). 429
Electronic Edition (ACM DL) BibTeX
Asad Khailany, Wafa Khorshid:
Some recommendations for designing effective DSS (abstract only). 429
Electronic Edition (ACM DL) BibTeX
Alan W. Carpenter, Corey D. Schou:
An interactive production planning simulation system (abstract only). 429
Electronic Edition (ACM DL) BibTeX
Michael C. Chen, Lawrence J. Henschen:
Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only). 429
Electronic Edition (ACM DL) BibTeX
Iza Goroff:
A hierarchical network approach to project control systems (abstract only). 429
Electronic Edition (ACM DL) BibTeX
Edward T. Ordman:
Mimimal threshold separators and memory requirements for synchronization (abstract only). 430
Electronic Edition (ACM DL) BibTeX
Linda Turpin:
Motivation for and current work on copaging cache (abstract only). 430
Electronic Edition (ACM DL) BibTeX
P. Tobin Maginnis:
Design constraints in the construction of a truly distributed operating system (abstract only). 430
Electronic Edition (ACM DL) BibTeX
Donald M. Chiarulli, Walter G. Rudd, Duncan A. Buell:
DRAFT (abstract only): Dynamically Reconfigurable Architecture for Factoring Tests. 430
Electronic Edition (ACM DL) BibTeX
Samuel O. Aletan, William Lively:
Multiprocessor/multiarchitecture microprocessor design (M³D). 430
Electronic Edition (ACM DL) BibTeX
Charles Kapps:
Testing an integrated circuit for what it should not do (abstract only). 430
Electronic Edition (ACM DL) BibTeX
M. Ware, H. Doerr, R. Pierce, Mike Bielby, A. Zipp, A. Tiburzi:
Development of an entry level computer applications course in a small liberal arts college (abstract only). 431
Electronic Edition (ACM DL) BibTeX
Patricia Faser:
Implementing a regionally unique Master's curriculum in computer science (abstract only). 431
Electronic Edition (ACM DL) BibTeX
Ann Fleury:
The discrete structures course (abstract only): making its purpose visible. 431
Electronic Edition (ACM DL) BibTeX
Henry MacKay Walker:
Facilitating the transition from high school programming to college computer science (abstract only). 431
Electronic Edition (ACM DL) BibTeX
Robert A. Barret, Robert Leeper:
The case for a precurricular computer course (abstract only). 431
Electronic Edition (ACM DL) BibTeX
Brian Crissey, Dean Sanders:
Introducing computer science in a liberal arts college (abstract only). 431
Electronic Edition (ACM DL) BibTeX