Learn More
After a brief survey on the CORDIC algorithm, we give some new results which enable fast and easy signeddigit implementation of CORDIC, without modifying the basic iteration step. A slight modification would make it possible to use carry save representation of numbers, instead of signed-digit one. Our method, called branching CORDIC method, consists of(More)
To determine the mechanisms governing the last deglaciation and the sequence of events that lead to deglaciation, it is important to obtain a temporal framework that applies to both continental and marine climate records. Radiocarbon dating has been widely used to derive calendar dates for marine sediments, but it rests on the assumption that the 'apparent(More)
Primitive interplanetary dust is expected to contain the earliest solar system components, including minerals and organic matter. We have recovered, from central Antarctic snow, ultracarbonaceous micrometeorites whose organic matter contains extreme deuterium (D) excesses (10 to 30 times terrestrial values), extending over hundreds of square micrometers. We(More)
Distributed reference counting is a general purpose technique, which may be used, e.g., to detect termination of distributed programs or to implement distributed garbage collection. We present a distributed reference counting algorithm and a mechanical proof of correctness carried out using the proof assistant Coq. The algorithm is formalised by an abstract(More)
Bounds on sorting and selection in a matrix A = X + Y have been studied for the case where X and Y are two sorted n-vectors of reals. In this paper we construct a special family of such matrices to prove a lower bound of Q(n) for the problem of searching in X+ Y. As an O(n) algorithm for searching exists in the literature, we conclude that the complexity of(More)