Changes between Version 3 and Version 4 of Contribute


Ignore:
Timestamp:
Jun 18, 2008, 4:40:28 PM (11 years ago)
Author:
Viet Yen Nguyen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Contribute

    v3 v4  
    99
    1010=== Unimplemented Features: ===
    11  * Markov Reward Model Checker, VOSS-II final meeting. [attachment:VOSS_2007_11_12.pdf PDF]
    12  * How Fast and Fat Is Your Probabilistic Model Checker? [attachment: PPS]
    13  * Bisimulation minimisation mostly speeds up probabilistic model checking. [attachment: PDF]
    14  * Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. [attachment: PDF]
    15  * A Markov Reward Model Checker. [attachment: PDF]
    16  * ETMCC v2.0 (MRMC), VOSS-II kick off meeting. [attachment: PDF]
     11 * Employ graphical processor units to do the core matrix operations in MRMC.
     12 * TODO
    1713
    1814=== Support Fellow Users: ===
    19  * Tag der Informatik'06 at RWTH-Aachen. [attachment: JPG], [attachment: PNG]
     15We stay in contact with ours users via the mrmc-users mailinglist. Question are occasionally asked and we answer them in a timely fashion. You can join our community by subscribing to the list, and also help out fellow users.
    2016
    2117=== Art and Design: ===