In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including ...

In particular, we extend a well-known parallelization technique called run-time compilation to use structure information that is explicit on the array subscripts ... to an HPF/Fortran-77 ...

To compile an expression, simply call Crunch#compileExpression ... CompiledExpressions are NOT thread-safe, and may have issues if evaluate is called from multiple threads at the same time. For ...

It takes less than 5 minutes to compile any project with Ruby Packer ... for temporary files --keep-tmpdir Keeps all temporary files that were generated last time --openssl-dir The path to openssl ...