|
||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
|
Logiciels développés au Laboratoire I3S
BtrPlace
BtrPlace is a virtual machines placement algorithm for hosting platforms. You can specialized it safely through independant constraints to make it support what match your expectations. CNRS/University of Nice-Sophia Antipolis Contact: Fabien Hermenier
DRMSim
DRMSim is a routing-model simulator aiming at simulating the internet backbone at a large scale. It relies on the Grph library. CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Aurelien Lancin
Drwin
Parallel and adaptive Java framework for evolutionary computing. CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Luc Hogie
Grph
Java graph library geared towards efficiency. CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Luc Hogie
Jaseto
Efficient Java Object-to-XML mapping CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Luc Hogie
K-Passa
KPASSA is a tool for analysis and optimization of some Models of Computation and Communication (MoCC). INRIA Contact: Jean-Vivien Millo
OSA
An Independent C-library for Register Saturation Computation. CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Olivier Dalle
ProActive
ProActive Parallel Suite is an innovative Open Source solution (OW2) for acceleration and orchestration of applications, seamlessly integrated with the management of high-performance Clouds (Private and Public with bursting capabilities). CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Denis Caromel
SIRAlib
An Independent C-library for Register Pressure Reduction in Data Dependence Graphs. CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Sid Touati
TimeSquare
TimeSquare is an MDK (Model Development Kit) provided as a set of Eclipse plugins that can be downloaded or installed over an existing Eclipse. TimeSquare is based on the formal Clock Constraint Specification Language (CCSL), which allows the manipulation of logical time. CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Julien Deantoni
VERCORS
Vercors is a platform for the Specification and Verification of software systems build using asynchrounous, distributed, hierarchical components. The specification part is using a graphical formalism describing the architecture (ADL) of components of the Grid Component Model (Fractal/GCM). The verification part is using the CADP package (cadp.inria.fr) for the compositional construction of behavioural models, minimization, equivalence checking, model-checking, and symbolic simulation. CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Eric Madelaine
Corese/KGRAM
Corese/KGRAM is a Semantic Web Factory implementing W3C RDF(S), SPARQL 1.1 Query & Update and Inference Rules. It enables Graph-based Knowledge Representation and Query with Entailments. It is used in Social Semantic Web and Linked Open Data applications. Corese is developed by the Wimmics team and is distribued as open source software with Licence CeCILL-C (aka LGPL). CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Olivier Corby
Zone-project
ZONE-project, give us a new approach of RSS feeds. True news monitoring tool, the software has a greater aggregation capacity than traditional RSS Readers combining the power of the semantic web. CNRS/INRIA/University of Nice-Sophia Antipolis Contact: Christophe Desclaux
Familiar
A script language for managing and reasoning on feature models CNRS/University of Nice-Sophia Antipolis Contact: Philippe Collet
NeuroLOG
A federative platform supporting neuroscience multi-centric studies CNRS/University of Nice-Sophia Antipolis Contact: Johan Montagnat
MOTEUR
A scientific workflow designer and enactor based on the GWENDIA language. CNRS/University of Nice-Sophia Antipolis
WComp
A software platform for designing and developing ubiquitous applications. CNRS/University of Nice-Sophia Antipolis Contact: Stephane Lavirotte
Ubiquarium
A virtual laboratory for ubiquitous computing CNRS/University of Nice-Sophia Antipolis Contact: Stephane Lavirotte
CPBPV
CPBPV is a Constraint-Programming framework for Bounded Program Verification. CNRS/University of Nice-Sophia Antipolis Contact: Olivier Ponsini
ParadisEO
A software framework for meta-heuristics. Warning: Undefined array key 198 in /data/www/hogie/public_html/indexLogicielsI3S.php on line 215 CNRS/Université Nice Sophia Antipolis/INRIA Lille Nord Europe/Thales Research & Technology Contact: Sebastien Verel Warning: Undefined array key 198 in /data/www/hogie/public_html/indexLogicielsI3S.php on line 233 If you wish to contribute to this page, please contact Luc Hogie
|
|||||||||||||||||||||||||||
Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis (I3S) - UMR7271 - UNS CNRS 2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France Tél. +33 4 92 94 27 01 - Fax : +33 4 92 94 28 98 Adresse postale : Laboratoire I3S - CS 40121 - 06903 Sophia Antipolis CEDEX |