Search Results for "arithmetic"

...The rest of the machine keeps the real time - your domain logon, your certificates and every other application carry on as normal. Chrono Mock comes with built-in QA calculator that speaks in QA terms rather than arithmetic: - Business days and holidays - United States and Poland at launch, including the US rule where a holiday landing on a Saturday is observed on the preceding Friday - Build the expression from controls, not from a sentence - a starting point plus steps (- 18 years, - 1 day, set time 23:59:59), with the intermediate result shown after each step - Presets that explain what they catch - trial end, month-end and quarter close, year-end rollover, epoch 0, the 2038 boundary - Every format at once, one click to copy

... * symtex - Program analysis called Symbolic Execution * cosymtex - Program analysis called Compact Symbolic Execution * segy - Symbolic Memory with pointers and pointer arithmetic * llvm2celllvm - Translates LLVM to constant-expressions-less LLVM. * celllvm2lonka - Translates constant-expressions-less LLVM into Lonka. * C benchmarks - A set of small C programs

Lepton image compression, saving 22% losslessly from images at 15MB/s. Lepton achieves a 22% savings reduction for existing JPEG images, by predicting coefficients in JPEG blocks and feeding those predictions as context into an arithmetic coder. Lepton preserves the original file bit-for-bit perfectly. It compresses JPEG files at a rate of 5 megabytes per second and decodes them back to the original bits at 15 megabytes per second, securely, deterministically, and in under 24 megabytes of memory. We have used Lepton to encode 16 billion images saved to Dropbox, and are rapidly recoding our older images. ...

A tool for overflow detection in arithmetic operations in Java programs.

Pure-Java cryptographic calculator, featuring basic arithmetic operators, cryptographic operations, multiple key file formats and edition of ASN.1 object files.