Tag cloud | Project Tree | Project List

158 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8>

lowergmp - Lower Bounds for Generalized Moment Problem
This project has not yet categorized itself in the Trove Software Map


Register Date: 2017-01-23 17:18

LPI - Code analysis with local policy iteration
This project has not yet categorized itself in the Trove Software Map


Register Date: 2015-02-17 15:49

Lus2K - Lus2K : développement de noyaux de systèmes embarqués critiques basés sur le langage synchrone Lustre.

Register Date: 2011-02-14 22:02

Lustre V6 - Lustre V6 tools
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-12-12 16:20

lutils - Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
This project has not yet categorized itself in the Trove Software Map


Register Date: 2016-01-27 16:06

lxcnet - Lxcnet allows to create networks of lightweight virtual machines, provided a simple network description file.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-03-07 11:23

M1 Compilation Programming Project - This project contains student files for the M1 Info and M1 MoSIG compilation project.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-12-05 11:16

Malware network ActivitY Analyser - Maya is a tool designed to analyze the malicious internet traffic of an infected machine. It offers the capability to detect, control and report the Malware traffic, like scans applied, DoS, Command and control interactions, DNS resolutions, etc.

Register Date: 2012-01-05 15:39

Manuscrit These Lemke - Source files of the thesis written by Laurent Lemke
This project has not yet categorized itself in the Trove Software Map


Register Date: 2016-03-11 15:05

MODMED Tools - Tools for MODel-based verification of MEDical cyber-physical systems: - C++ structured traces library - Parametric Trace Properties DSL and IDE to verify properties on actual traces Moved to https://gricad-gitlab.univ-grenoble-alpes.fr/modmed

Register Date: 2016-12-02 15:44

newsblock - Provide a block to display Persyval news with the sql special constraints.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-08-29 14:54

ns2 implementation of geodeflection - This project proposes an implementation of a geographic routing protocol with reactive deflection. It permits to bypass routing voids. This implementation is a module for ns2.

Register Date: 2011-04-19 09:49

OF4OSM - Project aiming at semantically lifting the OpenStreetMap tags into a new ontology.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2016-12-14 13:00

OpenCL bindings for Ruby - Up to date OpenCL bindings for Ruby. Written in FFI but heavily inspired by Seiya Nishizawa's work on the C bindings. Updated to 1.2 C OpenCL bindings are also provided for legacy. Project is now hosted here: https://github.com/Nanosim-LIG/opencl-ruby
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-02-26 14:57

OpenCL ICD Loader - OpenCL implementations are provided as ICD (Installable Client Driver). An OpenCL program can use several ICD thanks to the use of an ICD Loader as provided by this project. This free ICD Loader can load any (free or non free) ICD.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-05-22 15:43

opnet implementation of molecularMAC - This project proposes an implementation of the Molecular MAC protocol. It implements a multichannel MAC working with single interface nodes. This implementation is a module for OPNET Modeler 12.0.

Register Date: 2011-04-19 09:47

OSE - Ose (Outil de Suivi des Effectifs) est une application web collaborative permettant le suivi du personnel d'un laboratoire de recherche multi-tutelles.

Register Date: 2012-01-04 10:08

Outils pour un cours réseaux - Outils et données pour la construction d'un cours de réseaux. Couverture: tout et au moins Internet/TCP/IPv6/Ethernet/Wifi. Contraintes: cours entre 20-30 heures + exercices + démonstrations + manipulations + présentations + animations.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-04-18 15:18

PAGAI - Please visit http://pagai.forge.imag.fr Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-08-30 13:58

pagemap - pagemap is a simple command line tool (written in ruby) to analyze and print the physical memory layout of a Linux process. It is used to debug and interpret performances of standard or HPC applications.

Register Date: 2013-04-17 11:07

158 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8>
Powered By FusionForge