default search action
The Computer Journal, Volume 33, 1990
Volume 33, Number 1, 1990
- K. H. Baik, L. L. Miller:
Topological Approach for Testing Equivalence in Heterogeneous Relational Databases. 2-10 - Nandlal L. Sarda:
Algebra and Query Language for A Historical Data Model. 11-18 - Mark Levene, George Loizou:
The Nested Relation Type Model: An Application of Domain Theory to Databases. 19-30 - Manoochehr Azmoodeh:
BRMQ: A Database Interface Facility Based on Graph Traversals and Extended Relationships on Groups of Entities. 31-39 - David A. Bell, J. Shao, M. Elizabeth C. Hull:
Integrated Deductive Database System Implementation: A Systematic Study. 40-48 - Malcolm C. Taylor:
Logical Optimisation of Distributed Knowledge Base Queries. 49-60 - Patrick Martin, K. H. Lam, Judy I. Russell:
An Evaluation of Site Selection Algorithms for Distributed Query Processing. 61-70 - Divyakant Agrawal, Amr El Abbadi:
Integrating Security with Fault-Tolerant Distributed Databases. 71-78 - Ravi Mukkamala, Steven C. Bruell:
Efficient Schemes to Evaluate Transaction Performance in Distributed Database Systems. 79-89
Volume 33, Number 2, 1990
- Ralph E. Griswold:
String Scanning in the Icon Programming Language. 98-107 - Paul Philbrow, Malcolm P. Atkinson:
Events and Exception Handling in PS-Algol. 108-125 - R. Geoff Dromey, T. A. Chorvat:
Structure Clashes - An Alternative to Program Inversion. 126-132 - Matti O. Jokinen:
Parameter Transmission Abstractions. 133-139 - Geoff Whale:
Indentification of Program Similarity in Large Populations. 140-146 - Gordon Davies, Alan Burns:
The Teaching Language Pascal-FC. 147-154 - C. F. Reynolds:
CODIL: The Architecture of an Information Language. 155-163 - G. D. P. Dueck, Gordon V. Cormack:
Modular Attribute Grammars. 164-172 - Marian Petre, Russel L. Winder:
On Languages, Models and Programming Styles. 173-180 - Hal Berghel, Richard Rankin:
A Proposed Standard for Measuring Crossword Compilation Efficiency. 181-184
- R. Govindarajan, Lalit M. Patnaik:
Lenient Execution and Concurrent Execution of Re-Entrant Routines: Efficient Implementation in Data Flow Systems. 185-187
Volume 33, Number 3, 1990
- Oscar G. Plata
, Javier D. Bruguera, Francisco F. Rivera, Ramon Doallo, Emilio L. Zapata:
ACLE: A Software Package for SIMD Computer Simulation. 194-203 - Sandeep Gulati, S. Sitharama Iyengar, Jacob Barhen:
The Pebble-Crunching Model for Fault-Tolerant Load Balancing in Hypercube Ensembles. 204-214 - Kam-Wing Ng, Ho-fung Leung
Competition: A Model of AND-Parallel Execution of Logic Programs. 215-218 - Camille C. Price, Moktar A. Salama:
Scheduling of Precedence-Constrained Tasks on Multiprocessors. 219-229 - David Abramson
The RMIT Data Flow Computer: A Hybrid Architecture. 230-240 - Sujit Dey, Pradip K. Srimani:
A New Parallel Sorting Algorithm and its Efficient VLSI Implementation. 241-246 - P. Chaudhuri:
Finding and Updating Depth-First Spanning Trees of Acyclic Digraphs in Parallel. 247-251 - Ferng-Ching Lin, Kung Chen:
On the Design of an Integrated Systolic Array for Solving Simultaneous Linear Equations. 252-260 - Graham M. Megson:
An Efficient Double Pipe Systolic Array for Matrix Product. 261-265 - H. Wills:
Fundamentals of Pricing and Scheduling Computer Services and Investment in Computer Equipment. 266-273 - Jeffrey S. Rohl:
Reversing is Not Inherent in Lexiocographical Permutation Generation. 274-278
- F. Warren Burton, John G. Kollias, D. G. Matsakis, V. G. Kollias:
Implementation of Overlapping B-Trees for Time and Space Efficient Representation of Collections of Similar Files. 279-280 - Gu Xunrang, Zhu Yuzhang:
A New HEAPSORT Algorithm and the Analysis of Its Complexity. 281-282
Volume 33, Number 4, 1990
- Chris J. Mitchell, Dave Rush, Michael Walker:
A Secure Messaging Architecture Implementing the X.400-1988 Security Features. 290-295 - Aviezri S. Fraenkel, Shmuel T. Klein
Bidirectional Huffman Coding. 296-307 - R. L. Bailey, Ravi Mukkamala:
Pipelining Data Compression Algorithms. 308-313 - Peter M. Fenwick:
Performance Measurements on a 39 km Extended Ethernet. 314-322 - Yi Pan, Rami G. Melhem:
Short Circuits in Buffered Multi-Stage Interconnection Networks. 323-329 - F. Warren Burton, Geoff P. McKeown, Victor J. Rayward-Smith:
Applications of UET Scheduling Theory to the Implementation of Declarative Languages. 330-336 - D. Alcock, D. Brown:
PRAXIS: A Program for Reproducing Proforma Design Calculations. 337-343 - Massimo Ancona, Leila De Floriani, Jitender S. Deogun:
Structured Spanning Trees. 344-355 - Ronen Feldman, Martin Charles Golumbic:
Optimization Algorithms for Student Scheduling via Constraint Satisfiability. 356-364 - Bruce K. Haddon:
Cycle-Sort: A Linear Sorting Method. 365-367 - B. John Oommen
On Generating Random Permutations with Arbitrary Distributions. 368-374 - H. Miyakoshi:
A Literal Code Method For Minimizing Boolean Functions. 375-380
- T. H. Merrett:
Scoping is not Orthogonal to Completeness. 381
Volume 33, Number 5, 1990
- Sarah B. M. Bell, David C. Mason:
Tesseral Quaternions for the Octtree. 386-397 - Andrew Hunter, Philip J. Willis:
A Note on the Optimal Labelling of Quadtree Nodes. 398-401 - Kevin G. Suffern:
Quadtree Algorithms for Contouring Functions of Two Variables. 402-407 - L. R. Neal, Michael L. V. Pitteway:
Yet More Circle Generators. 408-411 - Binh Pham:
Algorithms for Calculating Cubic Beta-Splines. 412-416 - Paolo Puliti, Guido Tascini:
Interpreting Technical Drawings. 417-423 - Frank K. H. A. Dehne, L. Ficocelli:
An Efficient Computational Geometry Method for Detecting Dotted Lines in Noisy Images. 424-428 - Laura Moltedo, A. Noferini:
An Implementation of 7-Bit Character Encoding for Standard Computer Graphics Environments. 429-436 - Francis Neelamkavil, O. Mullarney:
Separating Graphics from Application in the Design of User Interfaces. 437-443 - M. Bilodeau, D. L. Laguitton:
Development of Screen Management Subroutines Compatible with Microsoft FORTRAN Compiler. 444-452 - K. Bowden:
Kron's Method of Tearing on a Transputer Array. 453-459 - Lloyd Allison:
Continuations Implement Generators and Streams. 460-465 - Tom H. Axford:
Reference Counting of Cyclic Graphs for Functional Programs. 466-470
- Arne Andersson:
A Note on the Expected Behaviour of Binary Tree Traversals. 471-472 - Giuseppe Alia, Enrico Martinelli:
VLSI Binary-Residue Converters for Pipelined Processing. 473-475
Volume 33, Number 6, 1990
- Keith L. Clark:
Parallel Logic Programming. 482-493 - Kazunori Ueda, Takashi Chikayama:
Design of the Kernel Language for the Parallel Inference Machine. 494-500 - Ian T. Foster, Carl Kesselman, Stephen Taylor:
Concurrency: Simple Concepts and Powerful Tools. 501-507 - I. Shizgal:
The Amoeba-Prolog System. 508-517 - J. Gerard Wolff:
Simplicity and Power - Some Unifying Ideas in Computing. 518-534 - K. G. Waugh, M. Howard Williams, Quinzheng Kong, S. Salvini
Designing SQUIRREL: An Extended SQL for a Deductive Database System. 535-546 - Norman W. Paton, Peter M. D. Gray:
Optimising and Executing DAPLEX Queries Using Prolog. 547-555 - H. J. Roberts:
Expert Systems. Clubs: Design Methods. 556-561 - Graham M. Megson, David J. Evans:
A Systolic Array Solution for the Assignment Problem. 562-569 - Tsong Yueh Chen
On the Consistency of Multi-Valued Functions. 570-572
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-11-22 19:33 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: