| Projects on Google Code | Results 1 - 8 of 8 |
[http://www.flickr.com/photos/massenpunkt/47436435/ http://farm1.static.flickr.com/29/47436435_747cb55015.jpg]
Plural is a sound modular typestate checking tool for Java that employs fractional permissions to allow flexible aliasing control. Plural supports atomic blocks to check concurrent prog...
typestate,
atomic,
transactionalmemory,
eclipseplugin,
staticanalysis,
bugfinding,
verification,
usageprotocol
Inspired by http://www.onjava.com/pub/a/onjava/2001/11/07/atomic.html (corrected code http://www.tomlauren.com) I made my own version of a atomic file transaction system for Java. The code accompanying the article is messy and hard to follow, so I took a more object oriented approach, but used the o...
Split operator for the Time Dependent Schroedinger Equation (TDSE) in a cartesian 3D space. Works as a lab for attosecond physics.
http://garf.fis.usal.es/~camilo/images/logoQFishbowl.jpg
The software provided is a library fro the quick and massive development of numerical simulations of the T...
*Redis 1.1.92 released! (also known as 1.2.0 release candidate 3)* (sorted sets, in memory integer compression, append-only file persistence mode, and many more! Check the [Redis_1_2_0_Changelog Redis 1.2.0 Changelog page] for more information). Currently the *stable release is the 1.0.x*.
Redis ...
redis,
KeyValue,
AnsiC,
database,
networking,
persistent,
lists,
sets,
atomic,
memcached,
Posix,
GPL,
dictionary,
hashTable
== PPSS - (Distributed) Parallel Processing Shell Script ==
PPSS is a Bash shell script that executes commands, scripts or programs in parallel. It is designed to make full use of current multi-core CPUs. It will detect the number of available CPUs and start a separate job for each CPU core. It wil...
The software posted here automates the process of calibrating a rectangular microcantilever under heavy fluid loading conditions. This software should not be used by anyone until the technique has been accepted in a peer reviewed journal. The purpose of posting this software at this time is for ev...
Hardware accelerated 2D/3D game engine to develop advanced 2d/3d games. Now, it is just a 2d engine. more information will be available in the next version.
An extension of the Scala Actors library to provide atomic multicast message delivery.