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

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