Ebook: Computer Science: Research and Applications

Introduction. Historical Overview. Databases: Office Information Systems Engineering (J. Palazzo, D. Alcoba) Artificial Intelligence, Logic, and Functional Programming: A HyperIcon Interface to a Blackboard System for Planning Research Projects (P. Charlton, C. Burdorf). Algorithms and Data Structures: Classification of Quadratic Algorithms for Multiplying Polynomials of Small Degree Over Finite Fields (A. Averbuch et al.). Object Oriented Systems: A Graphical Interactive Object Oriented Development System (M. Adar et al.). Distributed Systems: Preserving Distributed Data Coherence Using Asynchronous Broadcasts (J. Piquer). Complexity and Parallel Algorithms: Parallel Algorithms for NPComplete Problems (M. Robson). Computer Architecture and Networks: The Caracas Multiprocessor System (M. Campo et al.). 30 additional articles. Index.

---

Introduction. Historical Overview. Databases: Office Information Systems Engineering (J. Palazzo, D. Alcoba) Artificial Intelligence, Logic, and Functional Programming: A HyperIcon Interface to a Blackboard System for Planning Research Projects (P. Charlton, C. Burdorf). Algorithms and Data Structures: Classification of Quadratic Algorithms for Multiplying Polynomials of Small Degree Over Finite Fields (A. Averbuch et al.). Object Oriented Systems: A Graphical Interactive Object Oriented Development System (M. Adar et al.). Distributed Systems: Preserving Distributed Data Coherence Using Asynchronous Broadcasts (J. Piquer). Complexity and Parallel Algorithms: Parallel Algorithms for NPComplete Problems (M. Robson). Computer Architecture and Networks: The Caracas Multiprocessor System (M. Campo et al.). 30 additional articles. Index.
Content:
Front Matter....Pages i-ix
Introduction....Pages 1-2
Historical Overview....Pages 3-5
Front Matter....Pages 7-7
Office Information Systems Engineering....Pages 9-21
Update Languages vs. Query Languages....Pages 23-33
OPUS: An Extensible Optimizer for up-to-Date Database Systems....Pages 35-46
Front Matter....Pages 47-47
A Hypericon Interface to a Blackboard System for Planning Research Projects....Pages 49-61
Chusaurus: A Writing Tool Resource for Non-Native Users of English....Pages 63-72
Trends in Representing the Semantics of Natural Language Sentences: A Comparative Study....Pages 73-94
Extending Partial Evaluation in Logic Programming....Pages 95-107
Modules, Macros and Lisp....Pages 109-121
Using Filters to Improve the Efficiency of Game-Playing Learning Procedures....Pages 123-133
Front Matter....Pages 135-135
An O (n2.5) Time Heuristic Algorithm for a Class of Large Weighted Edge Colouring Problems....Pages 137-141
Randomized Sorting of Shuffled Monotone Sequences....Pages 143-151
A Classification of Quadratic Algorithms for Multiplying Polynomials of Small Degree Over Finite Fields....Pages 153-157
An Algorithm for Computing Multivariate Polynomial Resultants....Pages 159-165
New Absorbing and Ergodic Doubly-Linked List Reorganizing Heuristics....Pages 167-177
Data Structures and Access Methods for Read-Only Optical Disks....Pages 179-187
Mixed-Radix Huffman Codes....Pages 189-207
Front Matter....Pages 209-218
A Schema Manipulation Mechanism for an OODB Model....Pages 219-219
Front Matter....Pages 221-237
Versions in the Context of Object-Oriented Database Systems....Pages 219-219
DDRAW: An Object-Oriented Design Tool....Pages 239-249
A Graphical Interactive Object-Oriented Development System....Pages 251-258
A Concurrent Object-Oriented Paradigm for Attribute Grammars....Pages 259-269
Front Matter....Pages 271-284
Preserving Distributed Data Coherence Using Asynchronous Broadcasts....Pages 285-285
An Implementation of Service Rebalancing....Pages 287-294
Bit Optimal Distributed Consensus....Pages 295-311
An Efficient Distributed Termination....Pages 313-321
Allocating Modules to Processors in a Distributed System with Limited Memory....Pages 323-333
Front Matter....Pages 335-347
The Complexity of Algorithmic Problems on Succinct Instances....Pages 349-349
Parallel Algorithms for NP-Complete Problems....Pages 351-377
Parallel Search in Sorted Multisets, and NP-Complete Problems....Pages 379-382
Towards Understanding the Effective Parallelization of Sequential Algorithms....Pages 383-393
On the Density of the Probabilistic Polynomial Classes....Pages 395-406
Front Matter....Pages 407-416
Modelling and Simulation of a Pseudosystolic Processor for Matrix Algorithms....Pages 417-417
The Caracas Multiprocessor System....Pages 419-430
A New Communication Systems Architecture Supporting Migration to OSI....Pages 431-439
Modelling and Analysis of Time Critical Applications on Local Area Networks....Pages 441-458
Matrix Multiplication on Digital Signal Processors and Hierarchical Memory Systems....Pages 459-471
Back Matter....Pages 473-483
....Pages 485-488