default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Conference on Computer Science 1988: Atlanta, Georgia, USA
- Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988. ACM 1988, ISBN 0-89791-260-8
- K. M. George, George E. Hedrick:
Expansions in the algebra of FP. 1-8 - Terry Flaherty:
A differentiation primitive for extended λ-calculus. 9-16 - Shan-Jon Chao, Barrett R. Bryant:
Denotational data flow analysis for parallel implementation of imperative programs. 17-26 - Wei Li:
Implementing first order logic in Modula-2 using an intuitionistic approach. 27-36 - Thomas G. Windeknecht:
Toward a theory of correct set algorithms. 37-46 - Ben U. Livson:
Future software development management system prototype. 47-56 - Huang Weiqiao:
Industrializing software production. 57-66 - Corey D. Schou, Roland Nord:
Literary criticism and programming pedagogy. 67-71 - Tom T. Carey, M. M. Shepherd:
Towards empirical studies of programming in new paradigms. 72-78 - Jan E. Bond:
Horizontal partitioning. 79-87 - Gretchen L. Van Meer, John C. Hansen, Harriet Wall:
Pixel preference. 88-91 - Chaman L. Sabharwal, Thomas G. Melson:
Implementation of cross intersection between triangular surfaces. 92-101 - Ritu Chadha, Donald C. S. Allison:
Partitioning rectilinear figures into rectangles. 102-106 - Ray Smith, James W. Hooper:
An architecture for textual information retrieval. 107-112 - Barry J. Donahue, Carl Steidley:
Computer organization/architecture: a threaded top-down design. 113-119 - David A. Umphress, Udo W. Pooch, Murat M. Tanik:
Fast prototyping of a goal-orientedsimulation environment system. 120-130 - Thomas J. Sager, William M. Pugh:
A CAD system for the capture of combat casualty care information. 131-135 - Alan Chickinsky:
A private military network using a power transmission line. 136-139 - Anna Bodi, John Zeleznikow
:
Software design for electronic banking: managing the user-computer interface. 140-146 - Yuan Y. Sung, Donghoon Lee:
Self-organizing scheme for file storage. 147-160 - Carolyn B. Seaman:
Data modeling: order out of chaos. 161-172 - R. B. Abhyankar, R. L. Kashyap:
Incomplete information and the relational model of data. 173-177 - Bogdan D. Czejdo, Ramez Elmasri, Marek Rusinkiewicz, David W. Embley:
Semantics of update operations for an extended entity-relationship model. 178-187 - Dolores Hagen, Bud Hagen:
Computer technology in special education and rehabilitation. 182 - Y. Richard Wang:
Is there a unified package for business applications? 185 - T. C. Ting, Lee A. Becker, Z. Q. Tan:
U2RS: an upgradable universal relation system. 188-196 - Mustafa A. Kamal:
Building expert systems for statistical process control in steel remelt industry. 197-205 - Sanjiv Ranjan:
MTEEP: mechanical transmission element expert system. 206-213 - Mary Micco:
Acceptance testing of expert systems: issues of verification and validation. 214-217 - Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz:
Some techniques for minimizing and optimizing the rule base of an expert system. 218-222 - Gerard Kiernan, Arnold Koltun, Edward N. Schwartz:
Constructing an expert system - software engineering of a different kind. 223-231 - Lem O. Ejiogu:
A unified theory of software metrics. 232-238 - Wlodzimierz M. Zuberek:
On generation of state space for timed Petri nets. 239-248 - Carolyn McCreary:
Parsing a graph-grammar. 249-255 - P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Best first search in and/or graphs. 256-261 - Kent E. Foster:
A statistical model for the search problem. 262-265 - John W. Sheppard, William R. Simpson:
Functional path analysis: an approach to software verification. 266-272 - Edward G. Okie, James D. Arthur:
The execution history approach to intelligent debugging. 273-281 - Fred L. Bierly, Marian Zajko:
Software testing in the commercial environment. 282-286 - Brian A. Nejmeh:
The design of a PDL environment. 287-298 - Roy H. Campbell, Hal S. Render, Robert N. Sum Jr., Robert B. Terwilliger:
Automating the software development process. 299-308 - Curt M. White:
A simplified LAN protocol for practicing file transfer, resource locating, and elementary distributed problem solving. 309-313 - Hany H. Ammar, Su Deng:
A simple dynamic load balancing algorithm for homogeneous distributed systems. 314-319 - Krzysztof Kuchcinski, Bogdan Wiszniewski:
Path analysis of distributed programs. 320-328 - Roberto Salama, Wentai Liu, Ronald S. Gyurcsik:
Software experience with concurrent C and LISP in a distributed system. 329-334 - David K. Garnick, A. Toni Cohen:
Locality in distributed computations. 335-344 - Alice A. McRae, Keith A. R. Allen, Roy P. Pargas:
Comparison of several techniques for generating systolic arrays. 345-349 - Anup B. Sharma, Keith R. Allen, Roy P. Pargas:
Some new systolic designs for two-dimensional convolution. 350-356 - Adrian Vrouwenvelder, Keith R. Allen, Roy P. Pargas:
Translating systolic arrays into instruction systolic arrays. 357-365 - Bhabani P. Sinha, Pradip K. Srimani:
A new parallel multiplication algorithm and its VLSI implementation. 366-372 - Sujit Dey, Pradip K. Srimani:
Parallel VLSI computation of all shortest paths in a graph. 373-379 - Mahmoud A. Manzoul, Hoverth A. Serrate:
Systolic VLSI array for fuzzy logic in expart systems. 380-383 - Marlene Campbell:
Ethics and computer security: cause and effect. 384-390 - Gregory Bollella:
A very long period (VLP) pseudorandom number generator for the microcomputer environment. 391-396 - Josef E. Pfauntsch, Charles M. Shub:
Graphic animation and speech synthesis applications for the auditory and visually disabled. 397-401 - Avram R. Vener, Ephraim P. Glinert:
MAGNEX: a text editor for the visually impaired. 402-407 - Yap Siong Chua, Charles N. Winton:
A user interface for simulating calligraphic pens and brushes. 408-413 - Ifen Yang, William Moloney:
Concurrent reading and writing with replicated data objects. 414-417 - Shmuel Rotenstreich:
An adaptable and distributed load adjustment algorithm. 418-423 - Carlos Gonzalez, Kian Tavakoli:
A model for an adaptive scheduler. 424-428 - Chyuan Samuel Hsieh, Elizabeth A. Unger:
Resource scheduling: specification and proof techniques. 429-437 - Stanley B. Zdonik, Robert Epstein, William C. Sasso, Sigfried Treu:
New directions in office automation research: SIGOA panel. 432 - Ryszard Janicki:
How to relieve a programmer from synchronization details. 438-446 - S. Srinivasan, Pradip Dey, Yoichi Hayashi:
A flexible interactive control structure for rule-based systems. 447-453 - Richard D. Amori:
A multiple cooperating intelligent agents project progress repost. 454-461 - Phillip C.-Y. Sheu:
Fault tolerance in deductive knowledge bases. 462-466 - George M. Whitson, Arun D. Kulkarni:
A testbed for sensory PDP models. 467-468 - Barrett R. Bryant, Balanjaninath Edupuganty, K. R. Sundararaghavan, Tadao Takaoka:
Two-level grammar: data flow English for functional and logic programming. 469-474 - R. Ghosh-Roy, Frank Jensen:
Conjunctional type assignment in programming languages. 475-482 - John Cameron Glasgow II:
g is for grammars: an extension of Lisp. 483-493 - Jeffrey J. McConnell:
Three dimensional tree grammars for the modeling of plants. 494-499 - Ken-Chih Liu:
Extending Earley's context-free parsing algorithm for string pattern matching. 500-509 - I. A. Natour:
On the control dependence in the program dependence graph. 510-519 - James H. Cross II, Sallie V. Sheppard:
Graphical extensions for pseudo-code, PDLs, and source code. 520-528 - Thomas L. C. Chen, Marian M. Sutton:
Object-oriented design: is it enough for large Ada systems? 529-534 - G. Scott Owen, Ross A. Gagliano, Pentti A. Honkanen:
Tools for the storage and retrieval of reusable MIS software in Ada. 535-539 - Ross A. Gagliano, Martin D. Fraser, Mark E. Schaefer, G. Scott Owen:
Functionality in the reusability of software. 540-545 - Donna M. Kaminski:
An analysis of advanced C.S. students' experience with software maintenance. 546-550 - Roger Eggen, John R. Metzner:
An inherently parlle large grained data flow environment. 551-557 - Adolfo Guzmán, Manuel V. Hermenegildo:
Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited. 558-566 - Zheng Yong, Qian Jiahua:
Dynamic detection of parallelism in Pascal-like program. 567-572 - Bassel R. Arafeh:
Vectorization and parallelization interactive assistant. 573-577 - Bill Hays, Larry C. Christensen, Gordon E. Stokes, Randy Stokes:
A layered networking protocol designed to minimize complexity. 578-585 - Z. Zhang, K. M. George, George E. Hedrick:
A data flow approach to the evaluation of FP programs. 586-592 - Changwoo Pyo:
Partial evaluation of logic programs. 593-596 - Jonathan D. Low:
An implementation of the Vernian Cipher for file security. 597-601 - Kyongsok Kim, Geneva G. Belford:
The interactions between operating system paging algorithms and database buffering algorithms. 602-607 - P. Tobin Maginnis:
Design considerations for the transformation of MINIX into a distributed operating system. 608-615 - Peter Bodorik, J. Spruce Riordon:
A threshold mechanism for distributed query processing. 616-625 - Mohan L. Ahuja, James C. Browne:
Concurrency control by transactions carrying states and preordering universioned entities. 626-635 - Ali R. Hurson, Les L. Miller:
Modification operations in data base machines: where are they? 636-643 - Mehdi Owrang:
A universal hierarchical language interface for IMS (abstract). 644-651 - M. S. Wojtyna, Paul A. D. de Maine:
SOLID: A high-speed data- and question-independent information management system. 652-657 - Gerard K. Rambally, Rodney S. Rambally:
Approximate classification using conceptual clustering. 658-662 - Zhifang Ma:
Theoretical clustering and a scheme of its implementation. 663-666 - Daniel C. St. Clair, Albert Wetterstroem, Viginia M. Johnson:
ESPAD: an adaptively controlled rule-based expert system for monitoring and diagnosing space vehicle subsystems. 667-672 - Lynne Marie Davis:
Seeding expert system technology: a practical approach. 673-677 - Edward T. Lee, Shangyong Zhu:
Programmed grammars with multi-production core and their applications (abstract). 678 - Domenick J. Pinto:
Data structures: pointers vs. arrays.when, where and why. 679 - Masao Kishore:
New syntax for if- and case statements. 680 - Clinton R. Foulk:
Macintosh assembly language. 681 - Donald J. Bagert:
On designing a language for exclusive use in a syntax directed programming environment. 682 - Kelly I. Morrison:
GRASP: an executable specification language for Ada tasking. 683 - G. Scott Owen:
RT Prolog: a real time Prolog written in Ada. 684 - K. S. Ramesh:
Design and development of MINIX distributed operating system. 685 - Devendra Naniwadekar:
Implementation of a resource manager for distributed MINIX. 686 - Charles Woodson:
The environment for learning to program. 687-689 - David A. Scanlan:
A factor analytic study of structured flowchart preference. 690 - S. O'Daniel, G. Clark, K. Cooper:
Determination of order of an algorithm. 691 - Chung Mou, Peng Wu, Edward T. Lee:
Picture recognition using arc length and turning angle transformation. 692 - Reuven Bakalash:
CUBE architecture for 3-D computer graphics. 693 - Panagiotis K. Linos:
Automatic layout for graphical representation of programs. 694 - G. Sampath:
Graphics and animation in expert systems for language tutoring. 695 - K. C. Waddel, James H. Cross:
Survey of empirical studies of graphical representations for algorithms. 696 - Richard J. Greene:
An object-oriented, knowledge-based approach to simulation. 697-698 - Kathleen Neumann, Darleen V. Pigford:
The design of a programmer's interface for an interactive microcomputer animation tool. 699 - Steven B. Schoenly, Jan G. Wilms, Mustapha Sarji, Mickey C. Smith:
Intelligent document information retrieval system for determinants of medication research literature collection. 700 - Anna Bodi, C. Lees:
Information technology and transaction processing jobs: a cognitive approach. 701-702 - Begonia Bi-Hsia Tai, Leonard H. Weiner:
Design of an on-line decision support system for process control. 703 - Mohammad H. N. Tabrizi, Lee Toderick:
IEEE-488 1978 general purpose interface bus test. 704-705 - David A. Scanlan:
The structured flowchart niche: strenth of preference. 706 - David A. Scanlan:
A research tool for software design and documentation. 707 - Joseph Bergin:
Entity relationship modeling in object-oriented software development. 708-709 - Karl Rehmer:
Ada software development using generics. 710-711 - Wafa Khorshid:
Generating environments for programming-in-the-large. 712 - Edward G. Rodgers:
Software sizing problems in software engineering metrics. 713-714 - Trong Wu:
Design of a test plan and its test cases for a translator. 715 - Mustafa A. Kamal:
Developing expert system to evaluate leave/funding request for faculty professional enhancement at Central Missouri State University. 716-717 - C. Lees, Anna Bodi:
Cognition as a source of selection pressure in the evolution of computer support systems for executives. 718 - William W. Oblitey:
An expert system approach to LAN design. 719 - Navied Yousuf, Kai-Hsiung Chang:
PLAXPERT - an expert system for incorporating design for testability in programmable logic arrays. 720 - T. F. Higginbotham:
A proposal for adding reality to expert systems. 721 - G. Scott Owen, Taylor Binkley:
KC expert - the development of an ICAI system for chemistry. 722 - Greg R. Baur, Darleen V. Pigford:
The design of an intelligent interface for a laser optical system. 723 - Po-Jen Chuang, Frederick N. Springsteel:
Intelligent logical design of relational databases. 724 - T. Y. Lin:
Neighborhood systems and relational databases. 725 - David R. Beuerman:
PROREL: a Prolog-based system for relational algebra and data base. 726 - David W. Cordes, Doris L. Carver:
Generating a requirements specifications knowledge-base. 727 - Edward T. Lee, Surjadi Harjadi, Sreerama K. Karukonda:
Computer/radar joint scheduling using a parallel computer. 728 - Linda Rising:
Tasking troubles and tips (abstract). 729-730 - Yoichi Hayashi, Masato Nakai, Pradip Dey:
A parallel algorithm for multi-dimensional fuzzy reasoning - toward a parallel fuzzy production system. 731-733 - S. Krishnaprasad:
Problem dynamics and working set principle as applied to concurrent processing. 734 - Dexter Whitlock, Pradip Dey, Robert Hyatt:
A parallel best-first search. 735 - Ivan Stojmenovic:
Detecting intersection of two convex polygons in parallel. 736 - David A. Scanlan:
The mental abilities associated with programming aptitude. 737 - Irene Yang, Caroline M. Eastman:
Human autobiographic memory simulation. 738 - Emery Gathers:
One freshman studies program which improved student retention in the first year computer science sequence for majors. 739 - Katherine K. McKelvey:
Ada projects for undergraduates. 740 - Ji-Dong Chen, Ping-Yang Li:
A Chinese natural language query system giving information about computer science. 741 - Pen-Nan Lee:
Correspondent computing. 742-743 - T. F. Higginbotham:
Prospectives on computer science: twenty-five years of observations. 744
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-05-14 22:19 CEST 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:
