Search Results for "virtual-machine" - Page 3

LabMinder is an encapsulation of the VMware Lab Manager SOAP API within Ant tasks. The intended usage of this project is to enable Lab Manager automation through Ant scripts.

FIRMAMENT runs, inside the Linux kernel, user supplied micro-programs over each processed message to emulate communication fault situations, using a script approach. The tool is appropriate to perform experiments over protocols and distributed systems.

PLEASE NOTE - JAVAPATHFINDER HAS MOVED TO: http://babelfish.arc.nasa.gov/trac/jpf Java PathFinder is a system to verify executable Java bytecode programs.

CompareZilla is a utility application that can compare database table. The databases DO NOT have to be of the same type and not even on the same machine. Current release supports Oracle, SQL Server, MySQL and DB2. database table compare database table ..

Hardware Simulation and Vitualization Environment: Unfortunately I have lost my source code in a freak accident (My roommate dropped a bed onto my laptop) for this project. Please be patient and visit http://devsoft.ath.cx/crisis for more information.

Presents a proposal to employ use cases to estimate the test effort and to create a finite state machine for model-based test case generation.

This project is designed to help programmers understand the resource utilization of their code in the Java Virtual Machine and provide real time feedback via a GUI interface.

Open Source Application Server Appliance based on Open Source GlassFish

Artifical World simulator, it simulate virtual 3D world and execute IA programs. It have API for programming IAs in C++. it use Irrlicht as 3D engine.

Mock framework for c# which deal with static, non-virtual methods and sealed class.

CASIMIR is a web-based PHP/MySQL interface which controls over SSH-secured connexions qemu/kvm virtual machines dispatched over several physical servers. It also provides to administrators the ability to delegate control of these machines to other users.

JDLabAgent is a dynamic link library which is loaded into the Java Virtual Machine via Java Virtual Machine Debug Interface (JVMDI). The JDLabAgent can be parameterized via config files and logs JVM events (e.g. breakpoints, exceptions).

This is a dynamic slicing tool for Java programs. The tool modifies the Kaffe virtual machine to collect the execution trace, and compress the trace on-the-fly. Please proceed to the tool's website http://jslice.sourceforge.net/ for download.

FSMExplorer - Finite State Machine Explorer after reading specification of N FSM entities, generates available states for this FSM.

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.

pyvix is a Python wrapper for the VMWare(R) VIX C API that allows Python to programmatically control VMWare(R) virtual machines. Example operations include: powering on; suspending; creating, reverting to, and removing snapshots; and running programs.

PHPTuring is a Turing Machine simulator built in Object-Oriented PHP5, using the Test-Driven (TDD) approach.

YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.

Web application load testing tool written in Java. Uses a central console to manage remote simulations allowing for a large number of virtual users. Can test fullblown web applications requiring cookies and complex querystring and formdata.

This provides an interactive, programmer-friendly interface to VMware's VProbes facility. VProbes is a safe, dynamic technology for instrumenting software running in virtual machines, and the software stack itself.

grenadilla is a lab resource reservation system. It handles booking machines in a lab or server room. grenadilla is written in python, and leverages django.

A whole lot of source code related to programming Linux systems with C

Tool for generete testcasesPresents a proposal to employ use cases to estimate the test effort and to create a finite state machine for model-based test case generation.

News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki Alchemist plugin is a collection of plugins for GCC/LLVM for external and fine-grain code analysis and tuning. It is intended to to extract program properties for machine learning based optimization (see MILEPOST GCC); optimize programs at fine-grain level (such as unrolling, tiling, prefetching, etc); tune default optimization heuristic; gradually decompose program and detect performance or other anomalies; generate benchmarks particularly useful to train ML-based compilers. GCC plugin is licenced under GPLv3 licensed, while future LLVM plugins will be licensed under BSD license. ...