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