ACM Conference on Computer Science 1988: Atlanta, Georgia, USA

@proceedings{DBLP:conf/acm/1988,
  title     = {Proceedings of the Sixteenth ACM Annual Conference on Computer
               Science, Atlanta, Georgia, USA, February 23-25, 1988},
  booktitle = {ACM Conference on Computer Science},
  publisher = {ACM},
  year      = {1988},
  isbn      = {0-89791-260-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• K. M. George, G. E. Hedrick:
  Expansions in the algebra of FP. 1-8
  
• Terry Flaherty:
  A differentiation primitive for extended &lgr;-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
  
• T. G. Windeknecht:
  Toward a theory of correct set algorithms. 37-46
  
• Ben 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
  
• T. 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 Tanik:
  Fast prototyping of a goal-orientedsimulation environment sytem. 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:
  U²RS: an upgradable universal relation system. 188-196
  
• Mustafa A. Kamal:
  Building expert sytems 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 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 sytems. 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, A. 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, P. 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, G. 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
  
• A. 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, A. 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