Works matching IS 00104620 AND DT 2000 AND VI 43 AND IP 1
Results: 7
In situ, Stable Merging by Way of the Perfect Shuffle.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 40, doi. 10.1093/comjnl/43.1.40
- By:
- Publication type:
- Article
A Tool for Checking the CSP sat Property.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 13, doi. 10.1093/comjnl/43.1.13
- By:
- Publication type:
- Article
A Genetic Algorithm for Vertical Fragmentation and Access Path Selection.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 81, doi. 10.1093/comjnl/43.1.81
- By:
- Publication type:
- Article
Conceptual Graphs and First Order Logic.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 1, doi. 10.1093/comjnl/43.1.1
- By:
- Publication type:
- Article
Quotient Machines, the Interface Equation and Protocol Conversion.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 24, doi. 10.1093/comjnl/43.1.24
- By:
- Publication type:
- Article
Reversing the Error-Correction Scheme for a Fault-Tolerant Indexing.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 54, doi. 10.1093/comjnl/43.1.54
- By:
- Publication type:
- Article
The Reduced Ceiling Protocol for Concurrency Control in Real-time Databases with Mixed Transactions.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 65, doi. 10.1093/comjnl/43.1.65
- By:
- Publication type:
- Article