Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarACM Conference on Computer Science 1989: Louisville, Kentucky, USA
Arthur M. Riehl:
Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989. ACM 1989, ISBN 0-89791-299-3B. John Oommen, David T. H. Ng:
On Generating Random Permutations with Arbitrary Distributions. 27-32H. W. Martin, B. J. Orr:
A Random Binary Tree Generator. 33-38Ewa Kubicka, Allen J. Schwenk:
An Introduction to Chromatic Sums. 39-45Marek Rusinkiewicz, Bogdan D. Czejdo:
Query Transformation in a Multidatabase Environments Using a Universal Symbolic Manipulation System. 46-53Behrooz K. Seyed-Abbassi, John C. Thompson:
G-Base Fourth Normal Form in Relational Database. 54-61Yiu-Kai Ng, David W. Embley:
The Retrieval Power of NFQL. 62-69Wan-Hong S. Cheug, Virgil Wallentine:
DEBL: A Knowledge-Based Language for Specifying and Debugging Programs. 70-77Nigel Derrett, Ming-Chien Shan:
Rule-Based Query Optimization in IRIS. 78-86M. Nussbaum:
An Interpreter for Large Knowledge Bases. 87-97F. Brent Dubach, Robert M. Rutherford, Charles M. Shub:
Process-Originated Migration in a Heterogeneous Environment. 98-102Jerry Place:
An Algorithm Based on Queue Migration for Mutual Exclusion in Computer Networks. 103-108Vijay Kumar:
A Concurrency Control Mechanism Based on Extendible Hashing for Main Memory Database Systems. 109-113Edward A. Fox, Qi Fan Chen, Lenwood S. Heath, Sanjeev Datta:
A More Cost Effective Algorithm for Finding Perfect Hash Functions. 114-122Gautam Biswas, Xudong Yu:
A Rule Network for Efficient Implementation of a Mixed-Initiative Reasoning Scheme. 123-130W. Amsbury, P. R. Harrison:
Derivation from First Principles of Belief Values Generated in Networks by Message Passing. 131-137Li-Min Fu:
Theory Formation in Artificial Intelligence. 138-144D. M. Doerer, Chaman L. Sabharwal:
A New Twist to Fractals. 145-155Jian Zhang:
A Dynamic Span Storing Method for Hidden Surface Removal. 156-161W. E. Ellis:
Postscript, Bezier Curves, and Chinese Characters. 162-165C. Walter, Y. Park, H. Yee, T. Roden, M. Stalker, Simon Y. Berkovich:
A Parallel Computer System Using Distributed Associative Processing. 166-172James T. Canning, Richard A. Miner:
A Parallel Pipelined Data Flow Coprocessor. 173-179Laxmikant V. Kalé:
The Mesh Superceded? 180-187J. Place:
FCFS: A Novel Scheduling Policy for Tightly-Coupled Parallel Computer Systems. 188-194C. Samuel Hsieh, R. A. Mata:
Decentralized Mutual Exclusion in the Presence of Link Failures. 195-203C.-D. Jung, E. Siberrt:
Polling in Concurrent Programming. 204-209Rod Fatoohi:
Macrotasking and Microtasking a Navier-Stokes Algorithm on the Cray-2. 210-215Charles J. Fleckenstein, David Hemmendinger:
A Parallel "make" Utility Based on Linda's Tuple-Space. 216-220Ryszard Janicki, Tomasz Müldner:
Complete Sequential Specification Allows for Concurrent Execution. 221-231Roger L. Wainwright:
Parallel Sieve Algorithms on a Hypercube Multiprocessor. 232-238Anthony E. Terrano, Stanley M. Dunn, Joseph E. Peters:
Using an Architectural Knowledge Base to Generate Code for Parallel Computers. 239-244Carolyn McCreary, Helen Gill:
Automatic Determination of Grain Size for Efficient Parallel Processing. 245-251Hessa Al-Jaber, Shmuel Rotenstreich:
The Cascade Fault Tolerance Message System. 252-259T.-C. Lin, P. Gupta:
The Higher Radix Hypercube as an Interconnection and Virtual Network. 260-268Daniel A. Cañas:
Address Space Virtualization in Reconfigurable Computers. 269-277Yijie Han:
An Optimal Linked List Prefix Algorithms on a Local Memory Computer. 278-286M. B. Sharma, N. K. Mandyam, S. S. Iyangar:
An Optimal Distributed Depth-FirstSsearch Algorithm. 287-294Thomas G. Windeknecht:
Arithmetic Algorithms in a Proof-Oriented Set-Theoretic Language. 295-300J. Najarian:
On the Complexity of Parsing in Graph Grammars. 301-304M. Saacks, J. Hassell:
Two-Level Grammars as a Technique for Formalizing Programming Schemes. 305-308Dominic Soda, George W. Zobrist:
A Finite Machine Description of a Lexical Analysis Using Table Look-Up. 309-312K. N. King:
The International Standardization of Modula-2. 313-319Paul W. Oman, Curtis R. Cook:
Programming Style Authorship Analysis. 320-326Hassan Mountassir:
To Correct Communicating Finite State Machines. 327-334H. Koh:
Flow Network Reduction for Unique Topological Ordering. 335-338Xiaolin Wu, Jon G. Rokne:
An O(KN lgN) Algorithm for Optimum K-Level Quantization on Histograms of N Points. 339-343Alan L. Tharp, E. A. Middleton:
A Quasi-Distributed Architecture for Database Management Systems. 344-347Peter Bodorik, J. Spruce Riordon, C. Jacob:
Dynamic Distributed Query Processing Techniques. 348-357Mehdi Owrang, Les L. Miller:
An Approach for Integration of Data Processing in a Distributed Enviornment. 358-367M. P. Blivens, Mary Lou Soffa:
Reuse of Compiler Analysis in a Programming Environment. 368-373Ravinder Chandhok, Philip L. Miller:
The design and implementation of the Pascal GENIE. 374-379Shmuel Rotenstreich:
The Use of Single Family of Languages for Program Development. 380-387
Session T-14
Bernard A. Chase III, Michelle A. Montion, James T. Canning:
Reverse software engineering of a graphics software system. 389-390David Naugler:
Random points on spheres: a graphics conjecture "proved". 391Unification of methods for ray tracing a wide class of generalized cylinders with straight line trajectories. 392 Leon Tabak:
Operators for modifying polyhedra. 393M. H. Nssehzadeh Tabrizi:
An interactive computer graphics algorithm for fitting model on minimum and non-minimum phase responses. 394Suzanne M. Lea:
Adaptation of an algorithm by serra to astronomical images: smoothing and finding stars. 395
Session T-15
David V. Pitts, C. Thomas Wilkes:
An object-oriented testbed for research in reliable distributed systems. 396Joseph Betser, Alberto Avritzer, Jack W. Carlyle, Walter J. Karplus:
Performance modeling and analysis for a large heterogeneous distributed system: UCLA-SEASnet. 397Sunghee Ihm, Darleen V. Pigford:
Graphical visualization of the topology of token ring network. 398William H. Pierce:
The copy-update multimemory. 399Martin J. Schedlbauer:
An I/O management system for the iPSC/1 hypercube. 400Isik Aybay, Mehmet Baray:
A set-oriented parallel execution model for Prolog. 401Reza Sanati-Mehrizy, John C. Thompson:
Implementation of extended functional programming language on cellular tree and data flow architecture. 402
Session T-16
Robert A. McKosky, Sajjan G. Shiva:
An aposteriori computer security system to identify computer viruses. 403Narayan Murthy:
An optimal search tree: complete binary search tree. 404P. S. Moore, Dorian P. Yeager:
Exhaustive search strategy for the commonality analysis problem solution space. 405Roger L. Norton:
Predicate Transformers as Homomorphisms on Scott's Information Systems. 406William J. Collins:
An extension to the external path length theorem. 407David J. Thuente, Rhys Price Jones:
New strategies for complete game trees. 408
Session T-24
Govind Gupta:
Sorting by hashing and inserting. 409Thomas C. McMillan, William J. Collins:
A recurrence relation in uniform hashing. 410Nicholas J. DeLillo:
A combinatorial algorithm for minimizing the number of states of a deterministic finite automation. 411Kunwarjit S. Bagga, Frank W. Owens:
Deadlocks and traps in complete Petri nets. 412Trong Wu:
A new algorithm for converting arithmetic expressions. 413T. Y. Lin:
Extensions of pushdown automata and Petri nets. 414
Session T-25
James T. Canning, Richard A. Miner, Iheanacho Nwokogbo:
The ULowell dataflow project. 415Claudio Kirner:
Design of a recursively structured parallel computer. 416Amal Chakraborty, Donald C. S. Allison, Calvin J. Ribbens, Layne T. Watson:
Parallel homotopy algorithms. 417Bassel R. Arafeh:
Interactive loop interchanging: a facility for tuning sequential programs to parallel architectures. 418H. Conrad Cunningham:
Concurrent programming in the shared dataspace paradigm. 419
Session T-26
Masao Kishore:
Priming read and end_of_file. 420Jeffrey P. Turmelle, Georges G. Grinstein:
The use of EQUIVALENCE in converting C to Fortran. 421Shuhua Shen, Georges G. Grinstein, Arun Arya:
Converting a C pointer to an Ada access type. 422James L. Silver:
Bach: a procedural language for specifying polyphonic music. 423Dave Geis, Rick Morscher, James Kiper:
An expert system for debugging novice programmers' pascal programs. 424Clinton R. Foulk:
Assembly language program development on the Macintosh. 425
Session W-14
Mustafa A. Kamal:
Prototype expert system to evaluate risk factor from hazardous substances. 426Markus F. Peschl:
The dead end of symbolic AI and the connectionist approach. 427Robert B. Allen:
Adaptive training for connectionist state machines. 428Alastair D. McAulay:
Neural network computers. 429Brent Auernheimer, Alison Butler:
A neural net model of the neuropsychology of spelling processes. 430
Session W-15
E. K. Park:
Software fault tolerance in real-time embedded systems. 431Roy Giacchino:
Xref: a universal cross referencer. 432Joseph E. Lang:
An interpreter for Backus's formal functional programming language. 433Adam Drozdek:
Interlingua in machine translation. 434B. Djokic:
Execution and processing time in computer performance measurements. 435Walter H. Burkhardt:
Compilation or interpretation. 436
Session W-16
Dov Dori:
Enhancing CAD/CAM systems communication by understanding engineering machine drawings. 437Thomas C. McMillan, Ivan B. Liss:
Statistical analysis of the effect the initial order of an array has on the performance of a sorting algorithm. 438Allen Brady, Mohammad Changi, Jiyu Yu:
Pascal language extensions for parallel processing. 439Frank C. Lin:
Methodology to design and implement an expert system for aids. 440C. K. Yuen:
Binary division and square-rooting using Gray code. 441
Session W-24
Gerard Kiernan, Arnold Koltun, Edward N. Schwartz:
Programming expert systems at the K-tree level. 442Charles P. Kosta:
Rule based programming in C. 443Ali Manafi Shemirani, John C. Thompson:
The qualitative problem solving system PHYSYS. 444Srinivas Krovvidy, William G. Wee:
Heuristics for ordering of production rules. 445A. Das:
Learning to bootstrap from examples. 446Lynne Marie Davis:
Quality and expert system technology. 447
Session W-25
Asad Khailany:
Extended rigerous dependency diagrams for designing fully normalized relational databases. 448John Sieg:
Buffer management for extensible database systems. 449Domenick J. Pinto:
Inference in a statistical database a solution with noise. 450-451Michael V. Doran, Herbert E. Longenecker Jr.:
Data: data to algorithm translator analysis. 452T. Y. Lin:
Topological data models and approximate retrieval and reasoning. 453David R. Beuerman:
An SQL interface to a prolog-based DBMS. 454
Session W-26
Mo Adam Mahmood:
Performance comparison of COBOL vs. PASCAL: a comparative investigation. 455Ronald C. Linton:
COBOL business graphics. 456S. Srinivasan:
The new COBOL standard. 457Syed Tariq Ali, Michael V. Doran, Herbert E. Longenecker Jr.:
Definition of menus as an abstract data type. 458Narayan C. Debnath:
A structure based measurement of software. 459Mark Interrante, Stephen M. Thebaut, Lowell Kaufman:
A software requirements determinations strategy utilizing provisional solutions. 460
Session TH-15
Chun-Hung Tzeng:
An axiomatic foundation of Dempster-Shafer theory. 461Edward L. Bosworth Jr.:
The missing clause method and its application to the satisfiability problem. 462Narayan Murthy:
The longest upsequence: a new implementation. 463Christos Nikolopoulos, Parupalli Prassad:
On topologically equivalent dendrograms. 464Padmini S. Raghuram, Frederick E. Petry:
Constant division algorithms. 465Raymond D. Gumb:
Free logic is a natural logic. 466
Session TH-16
Sami Khuri:
Optimal & near-optimal space efficient decision diagram algorithms. 467Louis Gentry:
A generalized technique to solve phase-1 linear programming problems with modified phase-2 methods. 468Stephen M. Streeter, Georges G. Grinstein, Ronald M. Pickett:
The implementation of an exploratory scientific visualization system. 469Norito Watanabe, Tadashi Fukushima, Tsugio Tomita, Masahiro Goto:
An implementation method of multi-viewing on an engineering workstation. 470Yuri Breitbart, Amit Kumar, S. S. Pyo, Hemant G. Rotithor:
An architecture for heterogeneous computer integrated manufacturing system. 471Donald C. S. Allison, Ritu Chadha:
An O(N log N) expected time merge heuristic for the planar ETSP. 472
Session TH-25
Clyde Christopher, Richard Galle:
A study of spatial data management and analysis systems. 473John A. Cross:
Technology transfer in the 1990's: evaluating computer-support for cooperative work. 474Ignatios Vakalis:
Integrating visual cues for the reconstruction of visible surfaces. 475Andrew Bernat, Stephen Riter:
An algorithm for machine detection and tracking of moving objects in television images. 476De Shen, Beverly Park Woolf:
A perspective on teams of robots. 477W. E. Mattis:
A voice recognition system for computers. 478
Session TH-27
Tereza G. Kirner, Nicolau Reinhard:
An expert system to software specification. 479Vijay Kanabar:
An integrated model for automated planning and estimation. 480Richard J. Botting:
Theory and practice of software engineering. 481David J. Smaldone, Jesse M. Heines:
Human factors implications of text display rates for computer-assisted instruction. 482David A. Scanlan:
Structured flowcharts outperform pseudocode across five measures: an experimental comparison. 483Raghava G. Gowda, Stanley L. Saxton:
A study of factors influencing the productivity of programming teams. 484
last updated on 2019-10-21 23:28 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
