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, 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:
U2RS: 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

Last update Mon May 20 04:57:16 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page