Home My Page Projects

Project List

840 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42>
ProActive NQueens - A reference implementation of the NQueens problem in ProActive.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-10-02 08:56

ProActiveExperiments - Host experiments, applications, contributions for ProActive middleware
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-11-27 16:20

Probabilistic Databases - The ProbDB project aims at extending the classical databases management systems to provide tools to exploit uncertainty of data.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-12-15 12:41

Processor Simulator ToolKit - PSTK aims to provide a behavior-based description language for micro-processor simulators. It uses Eclipse and EMF to offer model validation and checking. Through its DSL, PSTK will also be able to generate a VHDL description of micro-processors.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-05-08 14:30

Projet ANR Lise - The ANR Lise project intends to study the relationship between law and technique in the realization of secure computing systems. In particular, solutions for assessing and proving the responsibility of parties should be defined.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-03-05 14:15

Proland - A C++/OpenGL library for the real-time rendering and animation of natural scenes.

Register Date: 2007-01-08 08:57

Prolog/Mali (PM) - Prolog/Mali (PM) is an implementation of Lambda Prolog which has been designed in the former MALI Project at IRISA/INRIA Rennes. PM contains a compiler and a debugger. An Eclipse plugin for PM is available: http://gforge.inria.fr/projects/lpdt/
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-07-17 09:31

Proof Manager - Proof Manager is a test platform for SMT solvers, useful to run series of benchmarks (locally and distributed) and analyze results through a graphical interface.

Register Date: 2010-09-24 13:31

ProverEditor - A lightweight multi-prover interface in Eclipse.

Register Date: 2006-04-04 10:14

Pruning RPNI - Implementation of tree-RPNI with path-only and path-extended pruning
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-08-02 12:42

Prégroupes - Grammaires de prégroupes.

Register Date: 2007-09-28 14:36

Ptolemy II Java2Matlab - Ptolemy II Java to Matlab interface
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-07-22 09:22

Publication RFID 2012 - Latex source of a publication for RFID 2012
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-11-30 14:07

Puiseux's theorem - - Formal proof in Coq of Puiseux's theorem. - Program computing roots of a Puiseux series polynomial.

Register Date: 2014-09-14 10:01

PuppetMaster - PuppetMaster provides facilities to deal with computations on a Linux network.

Register Date: 2009-06-17 15:29

PyQGLViewer - PyQGLViewer provides Python wrappers for the LibQGLViewer library. It provides Qt tools that ease the creation of OpenGL 3D viewers.

Register Date: 2007-05-03 11:57

QBIOS - An automatic test platform dedicated to bioinformatics services

Register Date: 2008-04-18 09:35

Qgar Software - The Qgar Software system is aimed at the design of document analysis applications and is currently developed by the QGAR project-team at LORIA-INRIA Lorraine (Nancy, France)
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-06-04 14:03

Qos des projets publics avec subversion - Ce projet existe pour pouvoir tester la qualité de service de l'accès au dépôt subversion pour les projets publics

Register Date: 2005-04-26 08:05

QtDcm - This library can query a PACS or load a Dicom CD. It is also capable to convert selected images series to the nifti format (or other ITK supported images format). See http://qtdcm.gforge.inria.fr.

Register Date: 2011-09-05 10:07

840 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42>