Document Actions
Software list
Last modified
2008/01/14 11:05
-
| 2D->3D Video Codec | 3D model-based
video codec. |
| ADAGE | ADAGE
is a prototype middleware designed to automatically launch distributed or
parallel applications on the resources of a computational grid. Version 0.1
March 2006. |
| ATL | The
Atlas Transformation Language (ATL) is a hybrid language (a mix of
declarative and imperative constructions) designed to express model
transformations as required by the MDA™ approach to answer the QVT RFP issued
by OMG. Version of October 2004. |
| ATLAS MODEL WEAVER | AMW
is a component-based platform for model weaving, i.e. establishing and
managing correspondences between models. |
| ATMI | ATMI is an analatycal model in temperature in microprocessors, implemented as a set of C functions. |
| CALVIN 2 + DICE | Simulation
tool for designing microprocessor. |
| CASTING | CASTING
Tools. Version 2.0 - 2005 |
| CHI MARK2 | Robust
image watermarking tool. Version 3.1 du 26 janvier 2004. |
| COBRA | Cobra is a runtime system that is compliant tot the CORBA (Common Object Request Broker Architecture) specification. Cobra is being developed within the PACHA Esprit Project. It aims at helping the design of high-performance applications using independent software components through the use of distributed objects. |
| COSMAD | COSMAD
is a toolbox for in-operation modal analysis and damage detection and
localization. Version 3.1.1 of Marsh 2004. |
| D-CHANGE | D-change
is a multi-platform object-oriented software to detect mobile objects in an
image sequence acquired by a static camera. Version 1.00 of Marsh 2000. |
| Decodage de codes arithmétiques | Joint source-channel coding. Version 1.0 of May 2005. |
| DENSE-MOTION | The
Dense-Motion software written in c enables to compute a dense velocity field
between two consecutive frames of a sequence. Version 1 of January
2001. |
| DISCOS | Distant
compiler system. Version 0.5 December 2001. |
| D-MOTION | D-change
is a multi-platform object-oriented software to detect mobile objects in an
image sequence acquired by a mobile camera. Version 100 of July 1998. |
| DYNACO | Dynamic Adaptation for Components |
| Esavane | Data
processing management |
| FAULT DETECTION | The
sofware allows the detection of modal changes in time data.Subspace based
damage detection algorithm for output-only as well as input-output time
data. |
| FAULT DETECTION and LOCALIZATION | The
software allows the detection of small change in the modal parameters of
mechanical structures. Version of February 2002. |
| FT-NFS | Efficient
fault tolerant NFS server. Version 1.0 June 1996. |
| GAUSSIAN VECTOR DIAGNOSIS | GVD is a tool for residual evaluation. Version 1.1 december 1998. |
| GLR-FMD | Speaker's
face and mouth detection in videophone sequences. |
| GridPrems | Gridprems
- Version 1.0 octobre 2005 |
| HAVEGE | The
unpredictable random number generator. Version 2.0 August 2002. |
| HEPTANE | Tool
to compute worst-case execution times by static analysis. Version 1 of
November 2003. |
| IALLOC | Dynamic
allocation library. Version 1.00 january 1999. |
| IATO | IATO,
the IAOO Toolkit is a flexible environment that permits to analyze, emulate
or simulate the IA64 Instruction Set Architecture (ISA) binary executables.
Version 1.0 January 2004. |
| I-DESCRIPTION | I-Description
software allows to compute local or global image descriptors. Version 1.0
April 2003. |
| IPV6 test Toolkit | Toolkit
to develop and test communication protocols with TTCN-3. Version 1.0 Marsh
2006. |
| JAVA SPREAD | JAVA
SPREAD - Version 2 December 2005 . |
| Jspec | JSpec
is a partial evaluator for Java programs. It is currently being applied in
various domains such as image processing, checkpointing, computer graphics,
scientific computation and software engineering. Version 0.1 of September
2000. |
| JULIET | JULIET
(Joint Use of Landmarks and Intensity for Elastic regisTration) is a
non-rigid registration algorithm that builds on the Romeo. Version 1.0 April
2003. |
| JuxMem | JuxMem
is a supportive platform for a data-sharing service for grid computing.
Version 0.1 April 2005. |
| JuxTest | P2P
services for the JXTA platform. Version 0.1 of November 2004. |
| KerMeta | Kermeta
is a Model-Oriented language based on an object-oriented executable
meta-modeling paradigm. Version 0.0.9 of June 2005. |
| Kerrighed | Kerrighed
is a Single System Image operating system for clusters. Version 1.1 Alpha of May
2006. |
| LogFun | Librairie
de foncteurs logiques permettant la construction de logiques dédiées aux
systèmes d'informations. Version 1.2 du 10 mai 2005. |
| Magellan | Magellan
Platform. Version 0.8.5 2004/2005. |
| MARKER | The
Marker software implements an algorithm supplying the computation of camera
pose and camera calibration using fiducial markers. Version 1.0.0 septembre
2002. |
| MARKERLESS | MARKERLESS
allows the computation of camera pose with no fiducial marker. It also rely
on the virtual visual servoing approach. Version 1.00 February 2003. |
| MD-SHOTS | The software MD-shots , for "Motion-based Detection of shots" performs the temporal segmentation of a video into shots |
| MENHIR | Matlab
Environment For High Performance. Matlab code compilater. |
| MIMAD | The
Modeling paradigm for Integrated Modular Avionics Design (Mimad) is an extensible component-oriented framework that enables high level models of systems designed on integrated modular avionics architectures. |
| MKM | MKM
is a real-time animation engine for synthetic humans Version 0.86 du 30 mars
2005 |
| MMALPHA | Software
that implements transformations for the Alpha language. |
| MORPHINE | Automated
debugger for Mercury. Version 0.2 novembre 1999. |
| MOTION 2D | Software
for 2D dominant motion estimation. Version 113 of December 1998. |
| MOVIQS | Video
communication with QoS support. Version 1.0 of October 2002. |
| MPTK | The Matching Pursuit ToolKit provides a fast implementation of the Matching Pursuit algorithm for the sparse decomposition of audio signals. It comprises a library, some standalone utilities and some scripts to plot the results under Matlab. |
| M-TOOL | Metadata
authoring tool for multimedia and audiovisual resources descriptions. Version
1.0 September 2005. |
| NAVIGATEUR SPATIAL | An
innovative metadata authoring tool using a unified model based on MPEG-21 and
TV-Anytime standards . Version of March 2005. |
| OpenMASK | OpenMASK
(Modular Animation and Simulation Kit) is a platform for modular applications
development and execution in animation, simulation and virtual reality
fields. |
| PACCMAN | A
compiler/simulator suite for cryptography ASIP. Version Beta 5.0. |
| PaCO | Portable
Parallel CORBA Object. |
| PACO++ | A
portable Parallel Distributed object model based on CORBA. |
| PADICO | Padico
is a software environment for computational grids; it is designed for high
performance parallel computing, distributed computing, and software
components. Version 1.4 april 2002. |
| PATCH PUSH | PATCH
PUSH version 1 de décembre 2005. |
| Polychrony - Sigali | System
for verification of reactive systems and discrete controller synthesis. |
| Polylib | A
library of polyhedral functions. |
| PPAT | PPAT
(Parallel Path following Algorithm using Triangles) is a new parallel tool
for the computation of pseudospectra. |
| PROG_ENCOD et PROG_DECOD | Compression
/ decompression of digital images. Version 1.0 marsh 1997. |
| PROTEE | Analysis and modelling of video sequences |
| PYGRAM | Pygram aims at abstracting the organization of the repeated structures in genomic sequences. The pygram is created with the idea of visualizing all exact maximal repeats (eMR) located either within single or multiple sequences without producing any link between pairs of eMR. |
| RepDB | RepDB
is an Open Source Software data management component for replicating
autonomous databases or data sources in a cluster system. Version 1.0 03
december 2004. |
| REQS | The
Reqs tool is a generic solver of recursive equations system used in static
program analysis. |
| RESIFCar | RESIFCar
is the software specialized to recognize handwritten characters: latin
alphabet, digits and special symbols. |
| RMRmod | Robust
multiresolution estimation of parametric motion models. |
| ROMEO | Romeo
(RObust Multigrid Elastic registration based on Optical flow) is a non-rigid
registration algorithm based on optical-flow. Version 1.0 July 2001. |
| SaintEtiq | SaintEtiQ
is a data summarisation system which provides synthetic user-friendly views
over large databases. |
| SALSA | Java
bytecode compression for embedded systems. Version 2.0. |
| SALOME_2_RV | Computer generated images, animation, modeling and simulation. |
| SCILIN | Scilin
is a Scilab toolbox for sparse linear systems. |
| SCRATCHY | Real-time
Java distributed processing. Version 1.0 April 2003. |
| Signal-Meta | Metamodel
designed for the synchronous data-flow language SIGNAL. |
| SOFAT | Scenario
Oracle and Formal Analysis Toolbox. |
| SPREAD UBIBUS | SPREAD
(Spatial PRogramming Environment Ambient computing Design) is a software
system enabling simple and elegant programming of ubiquitous computing
applications. Version 1 de mars 2003 |
| STAN | Suffix
Tree ANalyzer software. |
| SWARP | SWARP
is a C-to-C retargetable preprocessor
that searches for portions of code suitable to the use of multimedia
instructions and automatically inserts their intrinsic equivalent. SWARP is
based on modern code analysis and code transformation (dependence analysis,
alias analysis, loop transformation, vectorization,...) and on pattern
matching for recognizing and replacing suitable code patterns. Version 2 du
02 avril 2002. |
| TEMPO SPECIALIZER | Partial
evaluator for C. |
| TGV-CADP | The
main operations of TGV are : (1) a synchronous product which identifies
sequences of the specification accepted by a test purpose; (2) abstraction
and determinization for the computation of next visible actions; (3)
selection of test cases by reachability and coreachability. TGV has been
developed in collaboration with Verimag Grenoble and uses libraries of the
CADP toolbox. |
| The Matching Pursuit Toolkit | Library |
| Timbuk | Timbuk
is a collection of tools for achieving proofs of reachability over Term
Rewriting Systems and for manipulating Tree Automata (bottom-up
non-deterministic finite tree automata). |
| TSF | TSF
aims at developping a new kind of tool to adapt codes to high performance
computers. Version 1.0 of October 1998. |
| TwaveLocation | ECG
T -wave end location. Version 1.0 octobre 2005. |
| Ubi-Board | Ubi
Board - Version april 2005. |
| UBIBUS | UBIBUS
- Version de march 2005. |
| Ubi-Q | Ubi-Q
system; Version october 2005. |
| UBI-TAG | UBI-TAG
system. |
| UMLAUT | Unified
Modeling Language All pUrposes Transformer. |
| UMLAUT NG | Meta
Language based on MOF technologies. Basically it adds executability to a
metamodel. This kind of language allows a large variety of applications. One
of its primary application is to be used as a model transformation language.
|
| ViSP2 | Visual
servoing is a very active research area in vision-based robotics. |
| VISTAL | VistaL
is a software platform of 3D and 3D+t image analysis allowing the development
of generic algorithms used in different contexts (rigid and non-rigid
registration, segmentation, statistical modelling, calibration of free-hand
3D ultrasound system and so on). This software platform is composed of
generic C++ template classes (Image3D, Image4D, Lattice and so on) and a set
of 3D/3D+t image processing libraries. VistaL is a multi-operating system
environment (Windows, Linux/UNIX...). Version 3.1 March 2000. |
| VITERBI DIAGNOSER | Fault
diagnosis in telecommunication networks. Version 3 of december 19th
2003. |
| WAVIX | Scalable
video coder/decoder, called WAVIX, based on motion-compensated
spatio-temporal wavelet transforms. Version 1.0 March 2003. |
| WCDMA SIGNALMASTER | Third-generation
communication chain based on WCDMA techniques. |
| WULL | WULL
is a Windows library that implements the UDP-Lite protocol according to the
very new RFC 3828. Version 1.0 April 2004. |