Search results
-
-
-
On the equivalence of B-trees and deterministic skip list
-
Author(s):
-
Lamoureux, Nickerson
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
In this paper we show the functional and structural equivalence of B-trees and deterministic skip lists by defining two new B...
-
-
-
Computer reasoning about nuclear physics processes
-
Author(s):
-
Hartati
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
Nuclear Process Theory (NPT) is a new process theory which models nuclear physics processes using a formal grammar. This, in...
-
-
-
The covert channel problem
-
Author(s):
-
Fadlalla, Cooper
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
The Canadian Trusted Computer Product Evaluation Criteria (CTCPEC), the U.S. Trusted Computer System Evaluation Criteria ...
-
-
-
3-D visualization of message passing in distributed programs
-
Author(s):
-
Gobrecht, Ware, Bhavsar
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
This paper describes PVMtrace, a software system for understanding and debugging message passing in distributed programs. In...
-
-
-
Bottom-up procedures for minimal clause trees
-
Author(s):
-
Horton, Spencer
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
Clause trees provide a basis for reasoning procedures .that use binary resolution. In this paper binary resolution trees are...
-
-
-
Inductive theory of vision
-
Author(s):
-
Goldfarb, Deshpande, Bhavsar
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
In spite of the fact that some of the outstanding physiologists and neurophysiologists (e.g. Hermann von Helmholtz and Horace...
-
-
-
Non-numeric measurement devices
-
Author(s):
-
Goldfarb, Deshpande
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
In this report we define a fundamentally new type of measurement device- structured measurement device. The readings of all...
-
-
-
MOSAA developer's guide
-
Author(s):
-
Wang, Nickerson, Lees
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
MOSAA (Molecular Spectroscopic Assignment Assistant) is a knowledge-based system that can assist physicists in spectroscopic...
Zircon - This is a contributing Drupal Theme
Design by
WeebPal.