Search
Now showing items 11-20 of 20
ParaTran: A Transparent, Transaction Based Runtime Mechanism for Parallel Execution of Scheme
(1989-07)
The number of applications requiring high speed symbolic computation and the performance requirements of these projects are both rapidly increasing. However, the computer science community's ability to produce high ...
Optimistic Concurrency Control for Nested Distributed Transactions
(1989-06)
Optimistic concurrency control techniques allow atomic transactions (or actions for short) to execute without synchronization, relying on commit-time validation to ensure serializability. Previous work in this area has ...
Using Cycles and Scaling in Parallel Algorithms
(1989-08)
We introduce the technique of decomposing an undirected graph by finding a maximal set of edge-disjoint cycles. We give a parallel algorithm to find this decomposition in O(log n) time on (m+ n)/log n processors. We ...
Should a Function Continue?
(1989-09)
We show that two l-calculus terms can be observationally congruent (i.e., agree in all contexts) but their continuation-passing transforms may not be. We also show that two terms may be congruent in all untyped contexts ...
Communication Effects for Message-based Concurrency
(1989-02)
We describe a new framework for explicity concurrency that uses an effect system to describe the communication behavior of expressions in a typed polymorphic programming language. Concurrency occurs between processes ...
Type Abstraction Rules for References: A Comparison of Four Which have Achieved Notoriety
(1989-08)
I present four type abstraction rules which have been introduced by various authors to permit polymorphic type safety in the presence of mutable data. each of the type abstraction rules is discussed in the context of the ...
Nnuclear Fusion Through Dimensional Confinement
(1989-08)
A formal mechanism for enhancing nnuclear fusion rates is proposed. The enhancement results whenever the reacting nuclei preferentially migrate in a restricted subspace of phase space - in particular, a fractal subspace. ...