Software Map
Project Tree
Now limiting view to projects in the following categories:
Topic :: Scientific/Engineering [Remove This Filter]
22 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2>
SmartEiffel
- SmartEiffel The GNU Eiffel compiler, tools and libraries.
Software Engineering. Object Oriented Design. Design by contracts. |
- Development Status : 6 - Mature[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- License : OSI Approved : MIT/X Consortium License[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Natural Language : Spanish[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Eiffel[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development : Compilers[Filter]
- Topic : Software Development : Debuggers[Filter]
|
Activity Percentile: 96.29
Registered: 2005-11-29 10:06 |
Gappa
- Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why. |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 85.71
Registered: 2009-09-16 08:55 |
CoLoR
- The aim of this project is to develop the Coq library CoLoR on rewriting and termination. |
- Development Status : 6 - Mature[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2006-09-07 08:57 |
YALTA Toolbox
- YALTA is a Matlab toolbox dedicated to the stability analysis of delay systems and fractional delay systems given by their transfer function. |
- Development Status : 3 - Alpha[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 60.86
Registered: 2013-05-15 19:39 |
qumin
- Qumin (Quantitative Modeling of Inflection) is a platform for the computational modeling of the inflectional morphology of languages. |
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Python[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2015-01-19 12:40 |
bib2hal
- bib2hal permet de convertir une base BibTeX dans le format d'import de HAL. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : End Users/Desktop[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Perl[Filter]
- Topic : Printing[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 35.43
Registered: 2006-09-11 14:07 |
Active Data
- A programming model and framework for managing Big Data in hybrid distributed computing infrastructures. |
- Development Status : 3 - Alpha[Filter]
- Environment : No Input/Output \(Daemon\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 32.57
Registered: 2012-06-25 21:04 |
Polyphemus
- Polyphemus is an air quality modeling system, developed by École des ponts, EDF R&D and INRIA. It includes several chemistry-transport models (for radionuclides, photochemistry, aerosols, ...), data assimilation algorithms and ensemble methods. |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Programming Language : Python[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 26.86
Registered: 2008-02-13 16:03 |
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. |
|
Activity Percentile: 8.29
Registered: 2008-11-24 17:53 |
GossiPeer
- GossiPeer provides basic classes for gossip-based protocol implementation in real environment, including for example bootstrap server, inter peer communication, overlay maintenance and sampling methods.
Accueil: http://gossipeer.gforge.inria.fr |
|
Activity Percentile: 0.00
Registered: 2007-08-16 15:27 |
WCDMA Matlab
- Simulation WCDMA sur Matlab, estimation de la dynamique et de précision. Puis, implémentation en virgule fixe. |
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Other[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2008-04-06 16:26 |
OSA
- OSA (Open Simulation Architecture) is an open component-based architecture for discrete-event simulations based on the ObjectWeb's Fractal component model and the Eclipse platform. |
- Development Status : 3 - Alpha[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Java[Filter]
- Programming Language : Other[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
- Topic : System : Emulators[Filter]
|
Activity Percentile: 0.00
Registered: 2006-07-20 14:47 |
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,...). |
|
Activity Percentile: 0.00
Registered: 2006-12-28 00:16 |
totitatu
- totitatu is a test project. |
- Development Status : 1 - Planning[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2013-05-13 09:40 |
parXXL
- The parXXL suite that eases the implementation and benchmarking
of highly performant large scale parallel and distributed
applications. This project is a collaboration of INRIA and SUPELEC. |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : MPI[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 0.00
Registered: 2005-12-02 15:46 |
TimeSquare
- Time Square (http://timesquare.inria.fr) is a set of Eclipse plug-ins dedicated to the analysis of Timed systems with MARTE Time Model and CCSL. The UML Profile for MARTE (http://www.omgmarte.org) was adopted by the OMG in July 2009 |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Other Environment[Filter]
- Kind : Software[Filter]
- License : OSI Approved : Eclipse Public Licence[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2009-09-19 07:11 |
Lazy Lavender
- Lazy Lavender is a simulation environment for "cultural knowledge evolultion", i.e., experimenting with several agents evolving their own knowledge through interacting.
|
- Development Status : 3 - Alpha[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL-C[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2014-01-31 10:14 |
CDBoost
- This library provides model classes for multiple Discrete-Event Simulation formalisms and the tools to simulate those models.
The initial submission includes the model classes for describing Discrete-Event System Specification (DEVS) models, Extended DEVS (EDEVS), Parallel DEVS (PDEVS).
Simulation engines are provided for the different formalisms, that could be combined for coupling previously developed models.
The library is headers only and most internal structures are defined as template to allow interchangeability for specific purpose simulations.
The library was completely developed in C++11 and only has dependencies to some other Boost Libraries. |
- Development Status : 3 - Alpha[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2015-01-23 08:03 |
cmac
- CMAC is a new MAC layer optimizing the capacity of a wireless multihops networks with a convergecast traffic pattern.
This package contains the source of the simulation models (working wit OPNET Modeler 12.0) |
- Development Status : 4 - Beta[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2006-03-17 20:57 |
ProActive
- ProActive is a GRID Java library for parallel, distributed, and concurrent computing, also featuring mobility and security in a uniform framework.
ProActive runs on Local Area Network (LAN), on clusters of workstations, or on Internet Grids. |
- Development Status : 6 - Mature[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Registered: 2005-11-24 17:27 |
22 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2>