Software Map

Project Tree

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

27 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>

COoperative modelliNg Is For EveRybody - Framework for creating multi-user, multi-client and multi-represented model editors.
Environment : Web Environment[Filter] License : CeCILL-C[Filter] Natural Language : French[Filter] Operating System : OS Independent[Filter] Programming Language : Java[Filter] Programming Language : JavaScript[Filter] Research center : Lille - Nord Europe[Filter]	Activity Percentile: 0.00 Registered: 2011-06-30 08:59

Euclide - Euclide is a Constraint-Based Testing tool for verfying safety-critical C programs. It has three main applications: structural test data generation, counter-example generation, and partial program proving. It runs SICStus Prolog.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Prolog[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2008-11-24 17:53

comka - Kaapi component using the Dynaco scheme to dynamically add certification to programms compiled with the kaapi library.
Development Status : 4 - Beta[Filter] Environment : Console \(Text Based\)[Filter] Intended Audience : Developers[Filter] Kind : Software[Filter] License : CeCILL-C[Filter] Natural Language : English[Filter] Operating System : POSIX : GNU/Linux[Filter] Programming Language : C\+\+[Filter] Research center : Rennes[Filter] Topic : System : Clustering/Distributed Networks[Filter]	Registered: 2008-03-04 13:56

HIPS - HIPS stands for "Hierarchical Iterative Parallel Solver". It is a parallel solver for large sparse linear system.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : MPI[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Registered: 2006-10-16 08:28

FWR Toolbox - The FWR Toolbox is a Matlab toolbox used to analyse the Finite Word Length effects of digital filters/controllers implementations and find 'optimal' realizations (according to open-loop/closed-loop sensitivity measures, roundoff noise gain,...).
Development Status : 4 - Beta[Filter] Environment : Other Environment[Filter] Kind : Software[Filter] License : CeCILL-C[Filter] Natural Language : English[Filter] Natural Language : French[Filter] Operating System : OS Independent[Filter] Research center : Rennes[Filter] Topic : Scientific/Engineering[Filter]	Activity Percentile: 0.00 Registered: 2006-12-28 00:16

PaStiX-devel - PaStiX is a high performance parallel solver for very large sparse linear systems based on direct methods. It provides also an adaptive blockwise iLU(k) factorization that can be used as a parallel preconditioner.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : MPI[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2005-12-01 17:16

MURGE - MURGE is a common interface to several sparse linear solvers. This projet aims at providing a interface that can be use in numerical simulation to call different solvers without rewriting some code. "MURGE is close to MERGE".

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : MPI[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Fortran[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2009-02-04 15:35

27 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>