Search Results for "deadlock"

...HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps.

Pcynlitx is an innovative open-source multi-thread software development platform and it is an outcome of a scientific research study that is carried out by Erkam Murat Bozkurt who is a research engineer in ISTANBUL/TURKEY. Basically, Pcynlitx is not a threading library. Instead, Pcynlitx is a threading library generator and it produces an application specific multi-threading library specialized based on its user needs. The library produced by Pcynlitx acts as an autonomuous thread...

A user-friendly drawing and verification tool for Message Sequence Charts (MSC, HMSC) and UML Sequence Diagrams. Integrated with Microsoft Visio.

A cross-platform implementation of a mutex, that automatically checks for everything, you might be doing wrong: - DeadLocks - Invalid mutex leave order - Thread Shutdown, while still holding mutex locks - Destroying a locked mutex - (Un)Locking a destroyed mutex - UnLocking an unlocked mutex - UnLocking an mutex locked by another thread - Locking a non-recursive, locked mutex - Not destroying all mutexes before application termination Every abnormal produces a console...

Deadlock is a 2D top-down adventure game. In this game you play a hero who is part of a tribe that struggles a war against an evil fire demon. You are the only hope to restore peace and prosperity to your people.

"Deadlock" is a artillery combat game for Windows. It's very similar to Schorched Earth but is built using more modern technology (DirectX9). The last tank alive is the winner.

Await && Locks is a library that contains easy-to-use thread synchronization tools for C++. It helps to write understandable and robust multithreaded programs. Features: simplicity, expressiveness, platform independence, deadlock detection.

A simple MUD with an experimental Scheme - structured database. The game theme is magical combat. An attempt to use the Scheme language as the basis of a logical game magic system.