550 search results - page 9 / 110 » Implementing Real Numbers With RZ |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Peer-to-peer networks consist of thousands or millions of nodes that might join and leave arbitrarily. The evaluation of new protocols in real environments is many times practical...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—Packet classification is a function increasingly used in a number of networking appliances and applications. Typically, sists of a set of abstract classifications, and a set o...
ADAEUROPE
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
ESA
2001
Springer
14 years 2 months ago
2001
Springer
Real algebraic expressions are expressions whose leaves are integers and whose internal nodes are additions, subtractions, multiplications, divisions, k-th root operations for int...
CIE
2006
Springer
14 years 1 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...