Software Map

Project Tree

• Per Category
• Per Hierarchy

Now limiting view to projects in the following categories:
      Environment :: Console (Text Based) [Remove This Filter]
      License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
      Operating System :: MacOS [Remove This Filter]
      Research center :: Rennes [Remove This Filter]

---

Intended Audience  >  Other Audience

Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

---

2 projects in result set.

---

Rapid HYbrid MultICore Simulator - Multicore simulators are valuable tools for evaluating design trade-offs and research ideas. However, simulation process is an extremely time consuming task. RHYMICS project pretends to accelerate the simulation without sacrifice excessive accuracy.

Development Status : 1 - Planning[Filter] Environment : Console \(Text Based\) (Now Filtering) Intended Audience : Developers[Filter] Intended Audience : Other Audience[Filter] Kind : Software[Filter] License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering) Natural Language : English[Filter] Operating System : MacOS (Now Filtering) Operating System : POSIX : GNU/Linux[Filter] Programming Language : Assembly[Filter] Programming Language : C[Filter] Programming Language : C\+\+[Filter] Research center : Rennes (Now Filtering) Topic : System : Hardware[Filter]

Activity Percentile: 0.00 Registered: 2010-02-17 15:38

---

ReaTK - Reactive systems verification and synthesis toolkit. This project distributes the ReaX tool for solving discrete controller synthesis problems for infinite state systems given as Controllable-Nbac programs, plus several libraries for handling such files and models. A version of the ReaVer tool is also included.

Development Status : 3 - Alpha[Filter] Environment : Console \(Text Based\) (Now Filtering) Intended Audience : Developers[Filter] Intended Audience : Other Audience[Filter] Kind : Software[Filter] License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering) Natural Language : English[Filter] Operating System : MacOS (Now Filtering) Operating System : POSIX : GNU/Linux[Filter] Programming Language : Objective-Caml[Filter] Research center : Rennes (Now Filtering) Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00 Registered: 2015-04-22 14:56

---