Précédent : Animations scientifiques Remonter :
Projet
API Suivant : Abstract
- Thèses
- 1
- F. DUPONT
DE DINECHIN, Systèmes structurés
d'équations récurrentes : mise en oeuvre dans le langage Alpha
et applications, thèse de doctorat, université de Rennes
1, janvier 1997.
- 2
- P. LEMONNIER,
Étude d'une architecture parallèle VLSI pour un algorithme
d'estimation de mouvement bloc-récursif, thèse de
doctorat, université de Rennes 1, juin 1996.
- 3
- M. VIEILLOT,
Mise en oeuvre matérielle de l'opérateur Gamma à l'aide de
circuits logiques reconfigurables, thèse de doctorat,
université de Rennes 1, décembre 1995.
- Articles
- 4
- F. CHAROT,
C. LABIT,
P. LEMONNIER,
``Architectural study of a block-recursive motion estimation
algorithm'', Real Time Imaging, à paraître dans le
numéro spécial intitulé Real-Time Motion Analysis, 1996.
- 5
- P. GUERDOUX-JAMET, J. RISLER, ``Searching for a family to
orphan sequences with SAMBA, a parallel hardware dedicated to
biological applications'', Biochimie vol 78,
1996.
- 6
- D. LAVENIER,
``Dedicated Hardware for Biological Sequence Comparison'',
Journal of Universal Computer Science vol 2, 2,
février 1996, p. 77-86.
- 7
- R. MCCONNELL,
D. LAVENIER,
``Prototyping of VLSI Component from a Formal Verification'',
Journal of VLSI Signal Processing 12, 1, 1996,
p. 1-10.
- Communications à
congrès
- 8
- R. ANDONOV,
H. BOURZOUFI,
S. RAJOPADHYE,
``Two-dimensional Orthogonal Tiling: from Theory to Practice'',
in: International Conference on High Performance
Computing, IEEE, décembre 1996. (to appear).
- 9
- R. BARZIC,
C. BOUVILLE,
F. CHAROT,
G. LE FOL, P. LEMONNIER, C. WAGNER, ``MOVIE: A Hardware Building
Block for Software-Only Real Time Video Processing'', in:
IS&T/SPIE's Symposium on Electronic Imaging: Science &
Technology, Video Compression: Algorithms and Technologies
1996, San Jose, février 1996.
- 10
- R. BARZIC,
F. CHAROT,
G. LE FOL, C. WAGNER, ``Approche de conception du
processeur vidéo programmable MOVIE'', in: Journées
Adéquation Algorithme Architecture en traitement du signal et
images, Toulouse, janvier 1996.
- 11
- F. CHAROT,
G. LE FOL, C. WAGNER, ``De l'architecture MicMacs
au circuit de traitement vidéo MOVIE'', in: Quatrième
symposium architectures nouvelles de machines, Rennes,
février 1996.
- 12
- F. DE DINECHIN, P. LE MOëNNER, ``Automatic Synthesis of
Regular Architectures Optimized at the Bit Level'', in:
Workshop on Design Methodologies for Signal Processing,
Zakopane, Pologne, août 1996.
- 13
- F. DE DINECHIN, S. ROBERT, ``Hierarchical Static
Analysis of Structured Systems of Affine Recurrence
Equations'', in: Application Specific Array
Processors, IEEE Computer Society Press, Chicago, août
1996.
- 14
- F. DE DINECHIN, D. WILDE, S. RAJOPADHYE, R. ANDONOV, ``A Regular VLSI Array for
an Irregular Algorithm'', in: International Workshop on
Parallel Algorithms for Irregularly Structured Problems,
Springer-Verlag Lecture Notes in Computer Science, Santa
Barbara, août 1996.
- 15
- P. GUERDOUX-JAMET, D. LAVENIER, C. WAGNER, P. QUINTON, ``Design and Implementation
of a Parallel Architecture for Biological Sequence
Comparison'', in: EURO-PAR'96 Parallel Processing,
L. B. et al. (réd.), LNCS, 1123,
p. 11-24, août 1996.
- 16
- D. LAVENIER,
C. WAGNER,
``Conception d'un réseau systolique à partir de C-stolic.
Application à la biologie moléculaire'', in: 4ème Symposium
Architectures Nouvelles de Machines, Rennes, fevrier
1996.
- 17
- P. LE MOëNNER, L. PERRAUDEAU, S. RAJOPADHYE, T. RISSET, P. QUINTON, ``Generating Regular
Arithmetic Circuits with AlpHard'', in: Massively Parallel
Computing Systems (MPCS'96), Ischia, Italie, mai
1996.
- 18
- P. QUINTON,
S. V. RAJOPADHYE,
T. RISSET,
``Extension of the ALPHA language to recurrences on sparse
periodic domains'', in: Int. Conf. on Application Specific
Array Processors, Chicago, 1996.
- 19
- D. WILDE,
S. RAJOPADHYE,
``Memory Reuse Analysis in the Polyhedral Model'', in:
EUROPAR 96: Parallel Processing Conference, Springer
Verlag, p. 389-397, Lyon, France, août 1996.
- Rapports de
recherche
- 20
- F. DE DINECHIN, P. LE MOëNNER, ``Automatic Synthesis of
Regular Architectures Optimized at the Bit Level'', rapport
de recherche n°1001, Irisa, Rennes, France, 1996.
http://www.irisa.fr/bibli/pi/1001/1001.html
- 21
- D. LAVENIER,
``SAMBA: Systolic Accelerator for Molecular Biological
Application'', rapport de recherche n°988, Irisa, mars
1996.
http://www.irisa.fr/bibli/pi/988/988.html
- 22
- D. LAVENIER,
``SAMBA: Systolic Accelerator for Molecular Biological
Applications'', rapport de recherche n°RR 2845, Inria,
mars 1996.
http://www.inria.fr/RRRT/RR-2845.html
- 23
- P. QUINTON,
S. V. RAJOPADHYE,
T. RISSET,
``Extension of the ALPHA language to recurrences on sparse
periodic domains'', rapport de recherche n°1017,
Irisa, Rennes, France, 1996.
http://www.irisa.fr/bibli/pi/1017/1017.html
- 24
- P. QUINTON,
S. V. RAJOPADHYE,
T. RISSET, ``On
Manipulating Z-polyhedra'', rapport de recherche
n°1016, Irisa, Rennes, France, 1996.
http://www.irisa.fr/bibli/pi/1016/1016.html
- 25
- E. ROHOU,
F. BODIN,
A. SEZNEC,
G. LE FOL, F. CHAROT, F. RAIMBAULT, ``Salto: System for
Assembly-Language Transformation and Optimization'',
publication interne n°1032, Irisa, juin 1996.
http://www.irisa.fr/bibli/pi/1032/1032.html
- 26
- Y. SAOUTER, ``A
Fermat-like sequence and primes of the form
2h.3n+1'', rapport de recherche n°965,
Irisa, novembre 1995.
http://www.irisa.fr/bibli/pi/pi965.html
- 27
- Y. SAOUTER, ``A
new method for the generation of strong prime numbers'',
rapport de recherche n°2657, Inria, septembre
1995.
http://www.inria.fr/RRRT/RR-2657.html
- 28
- Y. SAOUTER,
``Vinogradov's theorem is true up to
1020 > '', rapport de
recherche n°977, Irisa, décembre 1995.
http://www.irisa.fr/bibli/pi/pi977.html
- 29
- Y. SAOUTER,
``The mortality of a pair of 2x2 matrices is decidable'',
rapport de recherche n°996, Irisa, mars 1996.
http://www.irisa.fr/bibli/pi/996/996.html