Home My Page Projects

Project List

1034 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> <48> <49> <50> <51> <52>
SMSOA-Security Meta-Services Orch. Arch. - SMSOA (Security Meta-Services Orchestration Architecture) is an architectural framework that consists of security meta-services and a central service used for the orchestration of the security services..

Register Date: 2009-11-03 11:23

smt2d - Traduction de smtlib2 vers dedukti
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-11-24 16:13

SMT Preprocessor - This tool preprocesses formulas. Examples of preprocessing methods are, obfuscation, symmetry breaking, push-pop simulation.

Register Date: 2015-01-19 08:04

Snooze - Snooze is a scalable, autonomic, and energy-aware virtual machine (VM) management framework based on a self-organizing hierarchical architecture.

Register Date: 2012-01-13 12:55

soa4all-distributed-semanticspaces - Semantic Spaces offers a distributed virtualization layer on top of RDF repositories. This code is developped as part of the European SOA4ALL project.

Register Date: 2010-07-12 15:34

SOA4All fDSB - fDSB is a ProActive/GCM component-based layer that allows independent distributed service buses (DSBs) to be federated to form an Internet wide federation of DSBs (the SOA4All fDSB). This code is developped as part of the European SOA4ALL project.

Register Date: 2011-01-20 08:44

SocialStorage - Leveraging social interactions to improve distributed storage.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-02-19 12:10

SODIAC - SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g

Register Date: 2007-09-06 20:42

SOFA - ########################################## ..... WARNING: This GForge project is DEPRECATED ..... ########################################## - SOFA source code is now on GitHub: https://github.com/sofa-framework/sofa - SOFA wiki has been merged with online documentation: https://www.sofa-framework.org/documentation - Mailing-lists are now here: https://sympa.inria.fr (search "sofa") - Files about code (releases, dependencies) are on GitHub: https://github.com/sofa-framework/sofa/releases - Files about infos (tutorials, presentations) are on SOFA website SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.

Register Date: 2007-02-26 14:06

sofa-collodi - Ensemble de plugins sofa dédié à la simulation de vêtements et de chevelures.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-02-10 12:49

SOFA (git scm) - SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-12-20 09:21

sofa-qtquick - SOFA plugin for user interfaces. IMPORTANT NOTE: This project has been moved to INRIA GitLab at the following address : https://gitlab.inria.fr/ocarre/sofaqtquick Ask for access to Olivier CARRE using the GitLab interface.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-04-17 11:35

SoHuSim - SoHuSim s’intéresse à la problématique de la modélisation et de la simulation d’interaction molle entre humain et objets

Register Date: 2010-10-28 12:49

SOLEIL - Solver for integral equations by collocation methods

Register Date: 2011-03-24 16:48

Solipsis - Solipsis is an opensource decentralized Metaverse platform.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-09-12 18:51

Sollya - Sollya is a tool environment for safe floating-point code development. It is particularily targeted to the automatized implementation of libms. Amongst other features, it offers a certified infinite norm and a fast Remez algorithm.

Register Date: 2007-10-26 12:00

SOLSTICE - --- High performance solvers for large scale scientific simulations ---

Register Date: 2007-01-21 17:22

SPADE: small particle detection - Warning! Project has been moved to https://gitlab.inria.fr/ncedilni/spade

Register Date: 2016-05-12 16:35

SPAMS - devel - SPArse Modelling Software (SPAMS) is an optimization toolbox for solving various sparse estimation problems. A new git repository is available at https://gitlab.inria.fr/thoth/spams-devel

Register Date: 2012-03-13 06:56

spark-parSketch - Massively Distributed Indexing of Time Series for Apache Spark
This project has not yet categorized itself in the Trove Software Map
Register Date: 2018-05-07 10:34

1034 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> <48> <49> <50> <51> <52>