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