


Остановите войну!
for scientists:


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 - H. 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 - M. 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 - T.-C. Lin, P. Gupta:
The 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 - M. 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, J. 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