by mgabe
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
mgabe committed revision 5 to the DREAM SVN repository, changing 1 files
DREAM 0.7 Beta is a major jump from previous releases. The main discrete event simulation-based model checking is not only more stable, but also faster in this release. DREAM 0.7 Beta was checked for memory leaks using Valgrind (http://valgrind.org). ...
mgabe committed revision 4 to the DREAM SVN repository, changing 286 files
DREAM 0.7 beta --------------- DREAM 0.7 Beta is a major jump from previous releases. The main discrete event simulation-based model checking is not only more stable, but also faster in this release. DREAM 0.7 Beta was checked for memory leaks using ...
DREAM 0.7 beta --------------- DREAM 0.7 Beta is a major jump from previous releases. The main discrete event simulation-based model checking is not only more stable, but also faster in this release. DREAM 0.7 Beta was checked for memory leaks using ...
DREAM 0.7 beta --------------- DREAM 0.7 Beta is a major jump from previous releases. The main discrete event simulation-based model checking is not only more stable, but also faster in this release. DREAM 0.7 Beta was checked for memory leaks using ...
mgabe committed revision 3 to the DREAM SVN repository, changing 487 files
mgabe committed revision 2 to the DREAM SVN repository, changing 485 files
mgabe committed revision 1 to the DREAM SVN repository, changing 684 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
