We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
Sokoban YASC - Yet Another Sokoban Clone - for Windows. A wealth of features, e.g., deadlock detection, reverse mode, and replay mode. Good import functions and highly configurable, e.g., skins. Tools: Editor, solver, optimizer, and generator.
Dimmunix is a tool for imparting deadlock immunity to Java/C/C++ software (both legacy and new) without any assistance from programmers or users. Deadlock immunity is a property by which programs, once afflicted by a deadlock pattern, develop the ability to avoid future occurrences of that deadlock pattern. Over time, programs with such an "immune system" progressively increase their resistance to deadlocks. Dimmunix was originally developed in the Dependable Systems Lab at EPFL and is now open-
CHESS is a tool for systematic and disciplined concurrency testing. Given a concurrent test, CHESS systematically enumerates the possible thread schedules to find hard-to-find concurrency errors, including assertion violations, deadlocks, data-races, and atomicity violations.
MotivationThis is a class project for CS 480: Database Systems done by students from University of Illinois, Chicago for Spring 2010. Project DescriptionA database driven *nix Command Usage Application. We start off with nine users and close to 250,000 UNIX commands history and try to analyze the usage patterns of these users. Another aspect of the project would be to inspect deadlocks in databases. The complete project specification can be found at http://markgrechanik.com/cs480/Group4/