Search Results for "runtime full" - Page 7

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

A Java framework for the creation of REST services. Krest is built upon Spring MVC and offers an enterprise scale solution for REST services. Please visit http://javakrest.sourceforge.net/ to find the demo app, or download the core library.

.... --- Highlights: --- org.knowceans.util: IndexQuickSort, TableList: apply order of one array/list to others +++ Vectors, ArrayUtils: array convenience +++ RandomSamplers, CokusRandom, ArmSampler, Densities: random sampling and distributions +++ Arguments: command line parser +++ StopWatch, Which, ExternalProcess: runtime stuff +++ ParallelFor: OpenMP workalike +++ PatternString, NamedGroupRegex: regex convenience --- org.knowceans.corpus: CorpusSearcher: full-text search engine +++ LabelNumCorpus: svmlight corpus storage and filtering +++ NIPS corpus with text, authors, labels and citations --- org.knowceans.map: InvertibleHashMultiMap, BijectiveHashMap: implement n:m and 1:1 relations. --- Other libs: knowceans-arms = port of the Adaptive Rejection Metropolis Sampler (ARMS) for arbitrary distributions +++ lda-j = port of lda-c, implementing Latent Dirichlet Allocation (LDA)

The Imaginary Game Engine project tries to create a full-featured, modular and multi-threaded game engine in C#, usable with both Microsoft's .NET runtime and Mono.

Blackbadger is a distributed ANT runtime for controlling and running tests against a large array of machines without complicated setup. Self-discovery and full Apache Ant integration, Blackbadger provides a distributed state machine.

JXmlConfig is an easy-to-use library for managing configurations in Java applications. It is designed to be performent when reading, even if runtime full update is supported. It provides a graphic editor for end-users to edit files without XML knowledge.

sandboss is a messaging framework generator that creates complete communications, persistency, UI forms, configuration management, and runtime control infrastructure from struct and node declarations. Full generator support in the dependency-aware build

MWS is a framework of PHP scripts aimed to allow web developers a fast and elegant way to building dynamic web sites. It reaches a full separation between content, layout, and automation through templates and runtime included blocks.

Xi3D is an X3D renderer and browser for 3D Web content. It contains compliant parsers for VRML'97 types, a java scenegraph, XML bindings using SAX2, a content converter, full runtime and event model, DOM Level 2, vecmath

Full standard compliant J2SE Java Runtime Environment implementation running over ECMA CLI

Full parameterizable multi-track sound machine for experimental/electronic musicians and sound designers. The software allows full control over ALL parameters, filters, and custom effects. New effects can be added and plugged in at runtime.