Changes between Version 3 and Version 4 of Contribute

Show
Ignore:
Timestamp:
06/18/08 16:40:28 (5 years ago)
Author:
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: ===