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 executive