Odyssée is an automatic differentiation (AD) package developed at INRIA. This tool is able to differentiate a sequential Fortran 77 code with respect to variables chosen by the user. In order to use Odyssée on parallel codes, the class of treatable programs has been extended. We have restrict ourselves to the differentiation of MPI code, but the same methodology can be applied to PVM or any other message passing library. An information base has been defined in order to make the system follow the dependencies between variables, in this way the code is properly analyzed and the generated code is correct. A library of derivative of MPI commands has been written in order to help the user compile and execute the generated code. The implementatio...
The problem studied in this paper originates from a just-in-time environment where a new supplying m...
The problem of finding the best mesh in a numerical simulation is addressed with the introduction of...
We investigate in this paper the numerical performances of quadratic functional quantization and the...
The lowest static reduction (LSR) is the 0^th-order Control-Flow Analysis without continuation passi...
Writing code that talks to hardware is a crucial part of any embedded project. Both productivity and...
In this paper, we show that the adaptation of distributed software components can be performed by ex...
Most existing implementations of multiple precision arithmetic demand that the user sets the precisi...
We show how any linear feedback law which asymptotically stabilizes the origin of a linear integrato...
We consider the problem of disseminating messages in networks whose topology and size are not known ...
This paper deals with the detection of moving objects. We have defined a method able to cope with pe...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
We present a compositional verification method for control flow based safety properties of smart car...
International audienceIn this paper, we study the validity of the assumption that speech source sign...
In this paper, we propose efficient methods for solving the direct kinematics problem (DKP) for para...
Projet FRACTALESPhysicists usually compute dimensions by using boxes and they also do so when dealin...
The problem studied in this paper originates from a just-in-time environment where a new supplying m...
The problem of finding the best mesh in a numerical simulation is addressed with the introduction of...
We investigate in this paper the numerical performances of quadratic functional quantization and the...
The lowest static reduction (LSR) is the 0^th-order Control-Flow Analysis without continuation passi...
Writing code that talks to hardware is a crucial part of any embedded project. Both productivity and...
In this paper, we show that the adaptation of distributed software components can be performed by ex...
Most existing implementations of multiple precision arithmetic demand that the user sets the precisi...
We show how any linear feedback law which asymptotically stabilizes the origin of a linear integrato...
We consider the problem of disseminating messages in networks whose topology and size are not known ...
This paper deals with the detection of moving objects. We have defined a method able to cope with pe...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
We present a compositional verification method for control flow based safety properties of smart car...
International audienceIn this paper, we study the validity of the assumption that speech source sign...
In this paper, we propose efficient methods for solving the direct kinematics problem (DKP) for para...
Projet FRACTALESPhysicists usually compute dimensions by using boxes and they also do so when dealin...
The problem studied in this paper originates from a just-in-time environment where a new supplying m...
The problem of finding the best mesh in a numerical simulation is addressed with the introduction of...
We investigate in this paper the numerical performances of quadratic functional quantization and the...