323 search results - page 8 / 65 » Verify Your Runs |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
Book
"Tcl is a string-based command language.
The language has only a few fundamental constructs and relatively little
syntax, which makes it easy to learn. The Tcl syntax is mea...
Source Code
Blocks is an open source modular MATLAB framework which allows the user to avoid needlessly repeating computation.
Blocks may be easily used for your own experiments, and comes ...
VRST
2006
ACM
14 years 1 months ago
2006
ACM
Instead of the reality in which you can see your own limbs, in virtual reality simulations it is sometimes disturbing not to be able to see your own body. It seems to create an is...
NGC
2008
Springer
13 years 7 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...