60 search results - page 1 / 12 » Arithmetical Measure |
MLQ
1998
13 years 4 months ago
1998
We develop arithmetical measure theory along the lines of Lutz [10]. This yields the same notion of “measure 0 set” as considered before by Martin-L¨of, Schnorr, and others. W...
ACSAC
2001
IEEE
13 years 8 months ago
2001
IEEE
We developed and evaluated several cryptographic system libraries for Palm OS
IVCNZ
1998
13 years 6 months ago
1998
: Interval arithmetic is a method for performing computations on measurements that are only known to within a xed error range. As the measurements are combined mathematically, thei...
CSL
2007
Springer
13 years 11 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ...
SIGSOFT
2005
ACM
14 years 5 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...