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