Home My Page Projects

Project List

1011 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>
Sirene - Sirene is a time-driven simulator dedicated to the simulation of spiking neural networks. Its high flexibility allows the user to implement easily any type of synaptic or neuronal model with appropriate numerical integration methods (e.g. Runge-Kutta).
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-12-22 14:41

Siren Interactive Redescription Mining - Siren is a tool for interactive mining and visualization of redescriptions.

Register Date: 2016-03-16 15:00

Sirocco - Sirocco large vocabulary speech recognition system.

Register Date: 2005-09-20 14:18

Site Admin - Projet de l'équipe d'administration de la Forge Inria Développement: http://siteadmin.gforge.inria.fr/dev.html

Register Date: 2005-01-08 00:38

Site News Admin
This project has not yet categorized itself in the Trove Software Map
Register Date: 2005-01-08 00:38

Sketching for Mixture Learning - Matlab toolbox for fitting mixture models to large databases, using sketching techniques. Associated with "Sketching for Large-Scale Mixture Learning" and "Compressive K-means" papers.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-09-06 08:01

SLA - SLA est une librairie C++ visant à offrir un framework souple et efficace pour la manipulation de matrices structurées. Nous y implémentons des algorithmes quasi-linéaires pour l'inversion de matrices structurés avec un petit rang de déplacement.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-01-05 17:06

slideotracker - This software enables to synchronize slides with the corresponding video recording
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-02-09 16:37

Slimmer - Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml.

Register Date: 2006-05-11 20:47

slurm-treematch - Developments around SLURM and TreeMatch
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-03-04 15:44

SmartEiffel - SmartEiffel The GNU Eiffel compiler, tools and libraries. Software Engineering. Object Oriented Design. Design by contracts.

Register Date: 2005-11-29 10:06

SmartTools Software Factory - The SmartTools software is used to develop more rapidelly Eclipse-based applications (plugins), Service-Oriented Applications into Eclipse frame-work and Peer-to-Peer Service-Oriented Applications on top of an Overlay Network (PON).

Register Date: 2006-08-31 16:01

Smews - Smews (Smart and Mobile Embedded Web Server) works without under laying OS on various 8, 16 and 32 bits hardware (smartcards, Sensors, GBA...) with a very low memory footprint. Smews is able to run rich web applications, static/dynamic contents, Comet...
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-12-18 14:42

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

1011 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>