default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Conference on Computer Science 1985: New Orleans, Louisiana, USA
- Terry M. Walker, Wayne D. Dominick:
Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985. ACM 1985, ISBN 0-89791-150-4 - 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 A. 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 A. 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 Y. 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 (M3D). 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. Barrett, Robert R. Leeper:
The case for a precurricular computer course (abstract only). 431 - Brian L. Crissey, Dean Sanders:
Introducing computer science in a liberal arts college (abstract only). 431
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-15 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
