Home My Page Projects

Project List

929 projects in result set.
<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> <43> <44> <45> <46> <47>
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

ProActive Flowshop - This example solves the permutation flowshop scheduling problem, with the monoobjective case. This example uses the ProActive's branch and bound API.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2005-11-17 09:23

ProActive NBody - This example shows how ProActive may be used for the classic n-body problem.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-02-10 15:34

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

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

Projet kharon - Projet kharon
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-09-01 14:08

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

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

PVSide - Translation of proofs from PVS to Dedukti
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-03-16 10:53

PYGO - The pygo project is a software framework based on Python to create peer-to-peer applications. In particular, Pygo directly addresses the construction of systems so-called "Gossip-based".
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-12-03 08:56

Pypingen - Sequence miner based on AddIntent
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-01-14 09:50

929 projects in result set.
<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> <43> <44> <45> <46> <47>