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