Rapports de recherche

2000

1. R. Andonov, S. Balev, S. Rajopadhye, N. Yanev. Optimal Semi-oblique Tiling.  Rapport de Recherche Irisa, Novembre 2000.
2. S. Sur Kolay, S. Rajopadhye, S. Derrien. Fine grain parallelism for regular arrays on FPGAs.  Rapport de Recherche Irisa, Novembre 2000.
3. D. Cachera, P. Quinton, S. Rajopadhye, T. Risset. Proving Properties of Multidimensional Recurrences with Application to Regular Parallel Algorithms.  Rapport de Recherche Irisa, No1362, Novembre 2000. (postscript)
4. D. Lavenier. FPGA Implementation of the K-means Clustering Algorithm for Hyper-Spectral Images.  Rapport de Recherche Los Alamos National Laboratory, NoLA-UR00-3079, Juillet 2000.
5. E. Fabiani, D. Lavenier. Using knapsack technique to place linear arrays on FPGA.  Rapport de Recherche IRISA, No1335, Juillet 2000.
6. M Manjunathaiah, S. Rajopadhye, T. Risset. Uniformization Tool for Systolic Array Designs.  Rapport de Recherche Irisa, No1350, 2000.
7. S.P.K. Nookala, T. Risset. A Library for Z-polyhedral Operations.  Rapport de Recherche Irisa, No1330, 2000.
8. F. Charot, F. Djieya, V. Messé, C. Wagner. Retargetable Compilation in the service of interactive ASIP design.  Rapport de Recherche IRISA, 2000.

1999

1. Y. Solihin, K. Cameron, Y. Luo, D. Lavenier, M. Gokhale. Boosting the Speed-up of Future Processor Architecture s by using Mutable Fuctional Units.  Rapport de Recherche Los Alamos National Laboratory, NoLA-UR99-6768, Décembre 1999.
2. D. Lavenier, Y. Solihin, K. Cameron. Integer/Floating-point Reconfigurable ALU.  Rapport de Recherche Los Alamos National Laboratory, NoLA-UR99-5535, Novembre 1999.
3. F. Bardoult, P. Quinton, S. Rajopadhye, T. Risset. Synthesis of data-flow interfaces for regular parallel programs.  Rapport de Recherche Irisa, No1260, Septembre 1999.
4. F. Dupont de Dinechin, P. Quinton, S. Rajopadhye, T. Risset. First Steps in Alpha.  Rapport de Recherche Irisa, No1244, 1999.
5. É. Mémin, T. Risse. Hardware driven considerations for energy based applications.  Rapport de Recherche Irisa, No1220, 1999.

1998

1. D. Lavenier, L. Perraudeau. Reconfigurable Co-Processors: from Nested Loops to FPGA Systolic Arrays.  Rapport de Recherche Dagstuhl, No201, Février 1998.
2. F. Charot, G. Le Fol, V. Messé. Programmable Processor Modeling for Retargetable Compiler Design and Architecture Exploration.  Rapport de Recherche IRISA, No1167, Janvier 1998.

1996

1. E. Rohou, F. Bodin, A. Seznec, G. Le Fol, F. Charot, F. Raimbault. Salto: System for Assembly-Language Transformation and Optimization.  Rapport de Recherche Irisa, No1032, Juin 1996.
2. Y. Saouter. The mortality of a pair of $2\times 2$ matrices is decidable.  Rapport de Recherche Irisa, No996, Mars 1996.
3. D. Lavenier. SAMBA: Systolic Accelerator for Molecular Biological Application.  Rapport de Recherche IRISA, No988, Mars 1996.
4. P. Quinton, S. Rajopadhye, T. Risset. On Manipulating Z-polyhedra.  Rapport de Recherche IRISA, No1016, 1996.
5. P. Quinton, S. Rajopadhye, T. Risset. Extension of the Alpha language to recurrences on sparse periodic domains.  Rapport de Recherche IRISA, No1017, 1996.
6. F. Dupont de Dinechin, P. Le Moënner. Automatic Synthesis of Regular Architectures Optimized at the Bit Level.  Rapport de Recherche IRISA, No1001, 1996.

1995

1. Y. Saouter. Vinogradov's theorem is true up to $10^20.  Rapport de Recherche Irisa, No977, Décembre 1995.
2. Y. Saouter. A Fermat-like sequence and primes of the form $2h.3^n+1$.  Rapport de Recherche Irisa, No965, Novembre 1995.
3. R. Andonov, S. Rajopadhye. Optimal Tiling of Two-Dimensional Uniform Recurrences.  Rapport de Recherche Irisa, Octobre 1995.
4. Y. Saouter. A new method for the generation of strong prime numbers.  Rapport de Recherche Irisa, No931, Septembre 1995.
5. D. Wilde, S. Rajopadhye. The Power of Polyhedra.  Rapport de Recherche Oregon State University, No95-80-8, Août 1995.
6. F. Bodin, G. Le Fol, F. Raimbault. OCO : manuel de l'utilisateur (version préliminaire).  Rapport de Recherche Irisa, No930, Mai 1995.
7. R. Andonov, S. Rajopadhye. Knapsack on VLSI.  Rapport de Recherche Oregon State University, No95-80-05, Avril 1995.
8. F. Charot, C. Labit, P. Lemonnier. Étude architecturale d'un algorithme d'estimation de mouvement bloc-récursif.  Rapport de Recherche Irisa, No919, Mars 1995.
9. Y. Saouter. Halting problem for one-state Turing machines.  Rapport de Recherche Irisa, No889, Janvier 1995.

1994

1. Y. Saouter. Optimization of number of processors in VLSI arrays.  Rapport de Recherche Irisa, No850, Septembre 1994.
2. A. Kerihuel, R. McConnell, S. Rajopadhye. VSDF: synchronous data flow for VLSI.  Rapport de Recherche Irisa, No843, Juin 1994. (abstract)
3. D. Lavenier, R. McConnell. A Component Model for Synchronous VLSI System Design.  Rapport de Recherche Irisa, No822, Mai 1994.
4. H. Le Verge, V. Van Dongen, D. Wilde. Loop nest synthesis using the polyhedral library.  Rapport de Recherche Irisa, No830, Mai 1994.
5. P. Quinton, S. Rajopadhye, D. Wilde. Using static analysis to derive imperative code from Alpha.  Rapport de Recherche Irisa, No828, Mai 1994.
6. C. Dezan, P. Quinton. Verification of regular architectures using Alpha : a case study.  Rapport de Recherche Irisa, No823, Mai 1994.
7. D. Wilde. Le langage Alpha.  Rapport de Recherche Irisa, No827, Mai 1994.
8. D. Wilde, O. Sié. Regular array synthesis using Alpha.  Rapport de Recherche Irisa, No829, Mai 1994.
9. R. Andonov, S. Rajopadhye. A sparse knapsack algo-tech-cut and its synthesis.  Rapport de Recherche Irisa, No801, Février 1994.
10. R. Andonov, S. Rajopadhye. An optimal algo-tech-cut for the knapsack problem.  Rapport de Recherche Irisa, No791, Janvier 1994.
11. R. Andonov, S. Rajopadhye. Optimal tilling.  Rapport de Recherche Irisa, No792, Janvier 1994.
12. J.P. Banâtre, D. Lavenier, M. Vieillot. From high level programming model to FPGA machines.  Rapport de Recherche Irisa, No810, Janvier 1994.
13. É. Memin, F. Heitz, F. Charot. Efficient parallel non-linear multigrid relaxation algorithms for low-level vision applications.  Rapport de Recherche Irisa, No790, Janvier 1994.
14. L. Audoire, J.J. Codani, D. Lavenier, P. Quinton. Machines spécialisées pour la comparaison de séquences biologiques.  Rapport de Recherche Irisa, No795, Janvier 1994.

1993

1. D. Wilde. A library for doing polyhedral operations.  Rapport de Recherche Irisa, No785, Décembre 1993.
2. D. Wilde, S. Rajopadhye. An inductive constructive method for computation of the face lattice of a polyhedron.  Rapport de Recherche Irisa, No786, Décembre 1993.
3. D. Lavenier, F. Raimbault, P. Frison. I/O and computation overlap on SIMD systolic Arrays.  Rapport de Recherche Irisa, No770, Novembre 1993.
4. H. Le Verge, Y. Saouter. New results on calculability of systems of recurrence equations.  Rapport de Recherche LaBRI, No380, Septembre 1993.

---

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

---

Webmaster : cosi_webmaster@irisa.fr Ces pages sont créées automatiquement par le programme bib2html du projet Vista de l'IRISA-INRIA Rennes