Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: Microsoft :: Windows [Remove This Filter]
|
Browse By: |
10 projects in result set.
Why3
- Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/ | |
|
Activity Percentile: 76.54 Registered: 2010-11-05 10:44 |
OpenNL
- OpenNL is a software library for numerical solvers, with an
easy-to-use API to construct sparse matrices, and bindings for
MATLAB. | |
|
Activity Percentile: 45.10 Registered: 2008-04-04 09:09 |
ALTA
- ALTA is a general-purpose library designed to help analyze and use measured material data such as BRDFs (Bidirectional Reflectance Distribution Functions).
It provides a generic set of tools to analyze and fit BRDF data and models. | |
|
Activity Percentile: 0.00 Registered: 2013-11-06 11:11 |
Immersia
- Repository hosting developpements related to Immersia | |
Registered: 2013-10-17 14:17 |
Capture Reconstruct Play
- In CR-PLAY we propose a new set of Image – and Video-Based technologies, which will provide ways to reduce the time and expense involved in creating such assets, but also make high quality realistic content accessible even to small game developers. | |
|
Activity Percentile: 0.00 Registered: 2014-03-17 07:56 |
Simulateur et Framework robotique
- Utilisation de USARSim et MOAST dans le cadre de d'étude sur la navigation coopérative en milieu urbain. | |
|
Activity Percentile: 0.00 Registered: 2007-05-14 15:09 |
OMiSCID
- O3MiSCID (aka OMiSCID) is an Object Oriented Opensource Middleware for Service Communication, Inspection and Discovery | |
|
Activity Percentile: 0.00 Registered: 2006-05-05 09:24 |
GridCOMP WP5 GridSystems Use Cases
- The purpose of this InriaGforge project is to host all the needed files to perform large scale experiments of the GridCOMP use case applications (those from GridSystems) using Grid'5000. | |
|
Activity Percentile: 0.00 Registered: 2008-01-28 08:48 |
A Virtual Topology for Ad Hoc Networks
- This project implements OPNET models: a virtual topology for ad hoc networks is built and maintained. Other models allow routing in ad hoc (with a tradeoff between reactive and proactive) or hybrid networks (with the adaptation of Cellular IP). | |
|
Activity Percentile: 0.00 Registered: 2005-10-11 16:41 |
SAMOVAR
- SAMOVAR is a simulation framework for wireless sensors and actuators networks (WSAN). It is based on Matlab/Simulink and the TrueTime toolbox. | |
|
Activity Percentile: 0.00 Registered: 2011-12-02 14:55 |