Search Results for "sound"

...In other words, SPL is about introducing performance assert(). The advantage of SPL in comparison with other similar solutions includes following. SPL formulas uses well-defined logic and statistically sound testing (such as t-test). Next, SPL is aimed at automatic evaluation. And finally, SPL formulas uses relative comparisons (opposed to comparing against fixed time) to provide better portability.

NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifier, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis.

Fast Fourier Transforms (FFT) for Multi-CPU (and RAM) Stress Testing. Shows detailed information about physical and logical processors in the system. Included CPU Benchmark feature for speed testing. Automatically utilizes and tests all CPU cores.

Ships Clock will ring a bell on every half-hour in the style of the standard ship's clock used for centuries on sailing ships around the world and still used in the world's navies today.

ConSense is a singular "jack of all trades" web development console intended to ease all your bugtracking, testing and page architecture tasks. Its siblings, RedSand and SimpleClasses form a sound, dynamic, object oriented JavaScript/DHTML framework.