DREAM Tool  (0.7 Beta) Free Download

DREAM Tool 0.7 Beta Description:
DREAM Tool is a generic framework that aims at providing a common semantic domain which can express several (real-time, power consumption, resource) constraints. The semantic domain has an executable C++ model which has been semantically anchored to the hybrid automata formalism. Although the model of computation corresponds to hybrid automata, so far we have been successful in analyzing the models by conservative approximation using timed automata on moderate size systems. To deal with large-scale examples the user has the ability to use the simulation/testing interface on the executable C++ model before implementing the system. We plan to extend the genetic algorithms to solve a large number of problems.

DREAM Tool: DREAM Tool for Linux - DREAM Tool is a generic framework that aims at providing a common semantic domain.
Publisher: DREAM Tool Team
DREAM Tool free downloadDownload
Buy
DREAM Tool Screenshot Screenshot
    Rate it
Category: Tools 
Publisher: DREAM Tool Team    More titles >>
Last Updated: 01/16/2019
Requirements: Not specified
License: GNU Public License
Operating system: Linux
Hits: 378
File size: 1.37 MB 
Price: Not specified

Latest Arrivals