Search Results for "cycle" - Page 8

An LTL[e] model checker for EVENT-B model as Rodin plugins. There are two algorithms for detecting accepting cycle: one is based on Nested Depth First Search (NDFS), another based on Strongly Connected Components (SCCs). Download Rodin platform from http://www.deploy-project.eu/ or eventb.org, then add this plugin for LTL[e] model checher for event-b model,(reqiures ProB library)

A MLP-FiM themed game, which uses the Blender Game Engine. Forked from My Little Pony Open Source by CreatorOfPony.

S1000D-SCORM Bridge DM Life Cycle Management Service

CBattery for Mac OS X displays useful information about your Mac like Cycle Count, Battery Charge, Capacities, Serial Number, health information about your battery, etc.

This is a series of *.java Classes for making programming tasks simpler, much like Apache Commons. Included in this src package is an Advanced Randomizer, TStringList Clone From Delphi, an Algorithem Class, and Method MultiTask Better than Runnables.

OpenBlox lets you make games with a built-in physics engine, Lego-like building blocks, and a scripting language called Lua. Once you've made a game with OpenBlox, you can pack it into a single file with one mouse click, and share your game with anyone you want.

Open Product Life Cycle Management - An Open source Platform independant, database independant next generation Product lifecycle Management solution For latest information please visit http://www.oplm.org http://github.com/oplm/sparta

Kalm is an Application Life-cycle Management solution like IBM jazz. Strengths in Kalm is totally BPM Solution based Work-list support, Issue Management support in the way of SW Develop process change management and Continuous Process Innovation.

This application is used to simulate the chips pipeline,which could calculate what happen in the specific clock cycle.

A simple OS X script to change your desktop background if it is set to cycle (i.e. change every time you log in, every hour, 30 min., so on, so forth.)

Show all life cycle of software

myCycle is a Mac OS X tool for keeping track of the female cycle (length, pain, intensity of menstruation).

Language, compiler and simulator for CDL cycle description language Platforms: OSX, Linux, Cygwin CDL is a C-like language for hardware description; simulator generates C++ models and synthesizable verilog. Includes C++ cycle simulation engine.

Tool monitoring IT infrastructure

nu-BDI is an extension of the Jason agent interpreter aimed at processing norms using constraints on the agent's instantiated plans. The core agent reasoning cycle now includes a component for processing norms and enforcing norm constraints.

RoboBeans is an interface to the "Robocup 2D Soccer Simulation Server" that allows developers to write Robocup teams\agents concentrating on behaviour and AI without having to worry about syntax of communication or network issues.

HELEN is a flexible framework to support the computer-based management of Clinical Practice Guidelines (CPG). It covers the whole life-cycle of a guideline, providing methods and tools for each step (from development to clinical use).

Framework for profiling & early performance testing of J2SE, thread based applications. Integrates into the Maven build-cycle. Closely integrates with YourKit profiler to produce automatic CPU profiling of you application.

Fatigue Event Template project provides an XML template for fatigue loads event time histories, signal source identifiers, event time basics, and cycle counting. Algorithms of various languages are consistent with the specified XML format.

An application that estimates machine cycle times for the injection molding of plastic parts in a variety of resins. Useful for rough cost estimation.

A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.

GEZEL is a cycle-based hardware description language. The GEZEL tools offer stand-alone - and cosimulation, and code-generation into VHDL code. User-defined library-block extensions in C++ allow to add new cosimulation/cosynthesis interfaces.

ClearWorks is a flexible and powerful Agile project management software that works with Scrum, Extreme Programming, and Lean etc. It is also a BPM(Business Process Management) environment to improve agility and operation performance of enterprise.

Wakodi is an Open Source Project for a Property Management System. Written with Rails Wakodi allows to control all the processes required to manage life cycle of acquired property including Acquisition, Control, Accountability, Maintenance, Utilizati

Handy Photo Album is a Photo Album Component For Joomla! that automates the retrieval of all images within a specific directory to show, with pagination links generated to cycle through each page.