A graphical simulator in Roméo v2.5.0

January 12, 2005 on 3:16 pm | In Releases |

A major new feature has been implemented in the new version of Roméo : a TPN and Scheduling-TPN graphical Simulator

And this is not the only new feature of this version! Indeed Roméo now deals with an optimized computation of the state class graph of scheduling-TPN (computation is based on a mix of polyhedral and DBM manipulation) and with the computation of a LTL graph thanks to the Zone-based method (Mercutio).

Roméo also benefits from an upgrade of the GUI (control panel, localization, …).

Roméo v2.5.0 is available in the download section.

2 Comments

  1. Phentermine.

    Phentermine without prescription. Phentermine. Phentermine diet pills. Compare phentermine prices. Phentermine shortage. Phentermine cod.

    Trackback by Discount phentermine. — January 29, 2007 #

  2. Hydrocodone.

    Hydrocodone. Buy hydrocodone online without a prescription.

    Trackback by Hydrocodone apap 5 500. — January 31, 2007 #

Sorry, the comment form is closed at this time.

Powered by WordPress with Pool theme design by Borja Fernandez. Roméo logo design by Jean-Luc Bechennec.
Entries and comments feeds. Valid XHTML and CSS. ^Top^