Logiciels du laboratoire I3S 



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.
CNRS/Universit Nice Sophia Antipolis/INRIA Lille Nord Europe/Thales Research & Technology
Contact: Sebastien Verel
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