Home My Page Projects

Project List

1037 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>
Sintaks - Sintaks takes advantage of metamodels to generate fully operational tools for concrete syntaxes. It uses bidirectional mapping-models to support both model-to-text and text-to-model transformations (generators and parsers).

Register Date: 2007-06-07 15:42

SIP-dataset - SIP-dataset is a labeled data-set dedicated to the evaluation of specific intrusion and anomaly detection algorithms in the context of VoIP/SIP enterprises.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-05-19 12:26

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

SKINNY SAC 2019 - Codes des attaques sur SKINNY publiées à SAC 2019
This project has not yet categorized itself in the Trove Software Map
Register Date: 2019-07-12 08:31

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

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