Projet ReMap
Précédent : Diffusion des résultats
Remonter : Projet ReMaP, Régularité et Parallélisme
- Livres et
monographies
- 1
- L. BOUGÉ, J.-L.
DEKEYSER, P.
MANNEBACK (réd.),
Numéro spécial RenPar'7 , Technique et science
informatiques , 15 , 5,
mai 1996.
- 2
- L. BOUGÉ, P.
FRAIGNIAUD, A.
MIGNOTTE, Y.
ROBERT (réd.),
Euro-Par'96 Parallel Processing , Lect. Notes
Comp. Science , 1123/1124 , LIP, ENS Lyon,
Lyon, France, Springer Verlag, août 1996.
- 3
- J. DONGARRA, B.
TOURANCHEAU (réd.),
Environment and Tools for Parallel Scientific Computing
III ,
Parallel Computing, vol23, number 1-2, Faverges de la Tour,
France, septembre 1997.
- 4
- G.-R. PERRIN, A.
DARTE (réd.),
The Data Parallel Programming Model , LNCS
Tutorial , 1132 ,
Springer Verlag, 1996.
- Thèses et habilitations à diriger
des recherches
- 5
- T. CHICH,
Optimisation du routage par déflexion dans les réseaux de
télécommunication métropolitains ,
thèse de doctorat, Ecole normale supérieure de Lyon, 1997.
- Articles
- 6
- L. BOUGÉ, D.
CACHERA, Y.
LE
GUYADEC, G.
UTARD, B.
VIROT,
« Formal validation of data-parallel programs: a two-component
assertional proof system for a simple language »,
Theoretical Computer Science , 1997.
- 7
- P. BOULET, A.
DARTE, G.-A.
SILBER, F.
VIVIEN,
« Loop parallelization algorithms: from parallelism extraction
to code generation »,
Parallel Computing , 1997.
- 8
- L. BRUNIE, H.
KOSCH,
« Control strategies for complex relational query processing in
shared nothing systems »,
ACM Sigmod Records 25 , 3, septembre 1996.
- 9
- L. BRUNIE, H.
KOSCH,
« From the modeling of parallel relational query processing to
optimization and simulation »,
Parallel Processing Letters , 1997,
à paraître.
- 10
- L. BRUNIE, H.
KOSCH,
« Intégration d'heuristiques d'ordonnancement dans
l'optimisation parallèle de requêtes relationnelles »,
Calculateurs Parallèles 9 , 3, september 1997, p.
327-345.
- 11
- D. CACHERA, G.
UTARD,
« Proving data-parallel programs: a unifying approach »,
Parallel Processing Letters 6 , 4, 1996, p.
491-505.
- 12
- P.-Y. CALLAND, A.
DARTE, Y.
ROBERT, F.
VIVIEN,
« Plugging anti and output dependence removal techniques into
loop parallelization algorithms »,
Parallel Computing 23 , 1, 1997, p. 251-266.
- 13
- P.-Y. CALLAND, J.
DONGARRA, Y.
ROBERT,
« Tiling with limited resources »,
Concurrency: Practice and Experience , à paraître,
Available as Technical Report CS-97-350, The University of
Tennessee - Knoxville.
- 14
- A. DARTE, G.-A.
SILBER, F.
VIVIEN,
« Combining retiming and scheduling techniques for loop
parallelization and loop tiling »,
Parallel Processing Letters , 1997.
- 15
- A. DARTE, F.
VIVIEN,
« On the optimality of Allen and Kennedy's algorithm for
parallelism detectionin nested loops »,
Journal of Parallel Algorithms and Applications 12 ,
1-3, juin 1997, p. 83-112.
- 16
- A. DARTE, F.
VIVIEN,
« Optimal fine and medium grain parallelism detection in
polyhedral reduced dependence graphs »,
International Journal of Parallel Programming 25 , 6,
1997, p. 447-497.
- 17
- A. DARTE, F.
VIVIEN,
« Parallelizing nested loops with approximation of distance
vectors: a survey »,
Parallel Processing Letters 7 , 2, juillet 1997, p.
133-144.
- 18
- F. DESPREZ, J.
DONGARRA, F.
RASTELLO, Y.
ROBERT,
« Determining the idle time of a tiling: new results »,
Journal of Information Science and Engineering , à
paraître,
Available as Technical Report CS-97-360, The University of
Tennessee - Knoxville.
- 19
- F. DESPREZ, S.
UBÉDA,
« Le parallélisme dans l'industrie : rêve ou réalité »,
Technique et sciences informatiques 15 , 5, 1996, p.
643-647.
- 20
- P. FRAIGNIAUD, S.
VIAL,
« Approximation Algorithms for broadcasting and gossiping
»,
Journal of Parallel and Distributed Computing ,
1997.
- 21
- P. FRAIGNIAUD, S.
VIAL,
« Comparison of heuristics for one-to-all and all-to-all
communications in partial meshes »,
Soumis à PPL (Parallel Processing Letter) , 1997.
- 22
- P. KUONEN, S.
UBÉDA, J.
ZEROVNIK,
« Graph theory applied to mobile network optimisation »,
Elektroniski vestnik 2 , 62, 1997, p. 69-72.
- 23
- S. LAVALLÉE, J.
TROCCAZ, P.
SAUTOT, L.
BRUNIE, P.
CINQUIN, P.
MERLOZ, J.
CHIROSSEL,
« Robot assisted spine surgery »,
IEEE Transactions on robotics and automation ,
1997.
- 24
- L. LEFÈVRE,
« From the modeling of parallel relational query processing to
optimization and simulation »,
Parallel Computings 23 , 1-2, april 1997, p.
235-249.
- 25
- V. LOZANO, S.
UBÉDA, X.
VIGOUROUX,
« Parallel Image Quantization using LAN of Workstations »,
Intern. Jour. of Pattern Recognition and Artifiical
Intelligence , 1997.
- 26
- L. PRYLLI, B.
TOURANCHEAU,
« Efficient Block Cyclic Array Redistribution »,
Journal of Parallel and Distributed Computing ,
1997.
- Chapitres de
livre
- 27
- L. BOUGÉ, D.
CACHERA, Y.
LE
GUYADEC, G.
UTARD, B.
VIROT,
« Formal Validation of Data-Parallel Programs: A Two-Component
Assertional Proof System for a Simple Language »,
in: The Data-Parallel Programming Model , A. Darte et
G.-R. Perrin (réd.), LNCS Tutorial , 1132
,
Springer Verlag, juin 1996, p. 252-281,
Invited conference.
- 28
- L. BOUGÉ,
« The Data-Parallel Programming Model: A Semantic Perspective
»,
in: The Data-Parallel Programming Model , A. Darte et
G.-R. Perrin (réd.), LNCS Tutorial , 1132
,
Springer Verlag, juin 1996, p. 4-26,
Invited Conference.
- 29
- L. BRUNIE,
« Parallélisation de bases de données »,
in: Ordinateurs et calcul parallèles , Arago
19 ,
Observatoire français des techniques avancées, 1997.
- 30
- S. LAVALLÉE, R.
SZELISKI, L.
BRUNIE,
« Anatomy-based registration of 3D medical images, range images
X-ray projections 3D models using octree-splines »,
in: Computer integrated surgery , R. T. et al.
(réd.),
MIT Press, 1996, p. 115-143.
- 31
- S. PETITON, B.
TOURANCHEAU,
Ordinateurs et Calculs Parallèles ,
M. Dupuis, OFTA, 1997, ch. bibliothèques pour le calcul
numérique.
- Communications à des manifestations
scientifiques
- 32
- N. BISCONDI, L.
BRUNIE, A.
FLORY, H.
KOSCH,
« Encapsulation of Intra-Operator Parallelism in a Parallel
Match Operator »,
in: ACPC'96 , L. S. Springer (réd.), 1127
,
Linz, Austria, 1996.
- 33
- N. BISCONDI, L.
BRUNIE, A.
FLORY,
« Parallel databases : structured query optimization »,
in: ACM SIGMOD Advances in Databases and Information
Systems , p. 146-152,
Moscow, 1996.
- 34
- L. BOUGÉ, D.
CACHERA,
« Formal Validation of Data-Parallel Programs: The Assertional
Approach »,
in: Theory and Practice of Higher-Order Parallel
Programming , M. Cole, S. Gorlatch, C. Lengauer, D.
Skillicorn (réd.), Schloss Dagstuhl, Germany,
mai 1997. Invited seminar.
- 35
- L. BOUGÉ, D.
CACHERA,
« A Logical Framework to Prove Properties of Alpha Programs
»,
in: Int. Conf. on Application-specific Syst., Arch. and
Proc. (ASAP'97) , IEEE, p. 187-198,
Zürich, juillet 1997.
- 36
- L. BOUGÉ, J.
GABARRÓ, X.
MESSEGUER, N.
SCHABANEL,
« Concurrent rebalancing of AVL trees: A fine-grained approach
»,
in: Euro-Par'97: Parallel Processsing , Lect.
Notes Comp. Science , 1300 , p. 421-429,
Passau, Germany, août 1997.
- 37
- L. BOUGÉ,
« PAR Considered Harmful »,
in: Theory and Practice of Higher-Order Parallel
Programming , M. Cole, S. Gorlatch, C. Lengauer, D.
Skillicorn (réd.), Schloss Dagstuhl, Germany,
mai 1997. Invited seminar.
- 38
- A. BRETTO, S.
UBÉDA,
« Hypergraph Model of Digital Topology for Grey Level Images
»,
in: Discrete Geometry for Computer Imagery , LNCS
1176, p. 217-226,
Lyon, France, 1996.
- 39
- L. BRUNIE, H.
KOSCH,
« DPL graphs - A powerful representation of parallel relational
query execution plans »,
in: EUROPAR 96 , L. . Springer (réd.), Parallel
Processing ,
août 1996.
- 40
- L. BRUNIE, H.
KOSCH,
« Parallized query optimization in parallel databases »,
in: 4th Workshop on Scientific Computing , Shaker
(réd.), Parallel and Distributed Computing ,
octobre 1996.
- 41
- L. BRUNIE, H.
KOSCH,
« ModParOpt : a modular query optimizer for multi-user parallel
databases »,
in: ACM SIGMOD Advances in Databases and Information
Systems ,
Saint-Petersburg, septembre 1997.
- 42
- L. BRUNIE, H.
KOSCH,
« Optimizing complex decision support queries for parallel
execution »,
in: PDPTA , CSREA (réd.), p. *58-*67,
Las Vegas, juillet 1997.
- 43
- L. BRUNIE, L.
LEFÈVRE, O.
REYMANN,
« DOSMOS+ : A scalable Distributed Shared Memory environment
including monitoring facilities »,
in: Parallel Programming Environments for High Performance
Computing , p. 165-168,
Alpe d'Huez, France, avril 1996.
- 44
- L. BRUNIE, L.
LEFÈVRE, O.
REYMANN,
« Extensibilité et systèmes de mémoire distribuée virtuellement
partagée »,
in: MPR '96: Journées de Recherche sur La Mémoire Partagée
Répartie ,
Bordeaux, France, mai 1996.
- 45
- L. BRUNIE, L.
LEFÈVRE,
« A DSM-based Structural Programming Environment for
Distributed and Parallel Processing »,
in: HiPC '96 : 3rd International Conference on High
Performance Computing , E. I. C. S. Press (réd.), p.
469-474,
Trivandrum, India, décembre 1996.
- 46
- L. BRUNIE, L.
LEFÈVRE, O.
REYMANN,
« Execution Analysis of DSM Applications: A Distributed and
Scalable Approach »,
in: SPDT'96 : SIGMETRICS Symposium on Parallel and
Distributed Tools , A. Press (réd.), FCRC, p. 51-60,
Philadelphia, Pennsylvania, USA, mai 1996.
- 47
- L. BRUNIE, L.
LEFÈVRE, O.
REYMANN,
« Integration of Performance Evaluation Facilities into
Distributed Shared Memory based Programming Environments »,
in: TDP'96 - Telecommunication, Distribution,
Parallelism , p. 279-294,
La Londe Les Maures, France, juin 1996.
- 48
- L. BRUNIE, L.
LEFÈVRE, O.
REYMANN,
« Monitoring and Performance Evaluation of Distributed Shared
Memory Applications »,
in: Second International Conference on Massively Parallel
Computing Systems , Euromicro, p. 382-389,
Ischia, Italy, mai 1996.
- 49
- L. BRUNIE, L.
LEFÈVRE,
« New Propositions to Improve the Efficiency and Scalability of
DSM Systems »,
in: 1996 IEEE Second International Conference on Algorithms
& Architectures for Parallel Processing - ICA3PP '96 ,
IEEE (réd.), p. 356-364,
Singapore, juin 1996.
- 50
- L. BRUNIE, O.
REYMANN,
« Concepts and Functionalities of the DOSMOS-Trace Monitoring
Tool »,
in: Euro-Par'96 - Parallel Processing , LNCS
, 1123, Springer-Verlag, p. 74-77,
Lyon, France, août 1996.
- 51
- P. CALIGARI, P.
KUONEN, B.
CHAMARET, S.
JOSSELIN, D.
WAGNER, S.
UBÉDA, M.
PIZAROSSO,
« Radio Network Planning with Combinatorial Optimisation
Algorithms »,
in: ACTS Workshop, Sofware Group ,
Madrid, Espagne, 1997.
- 52
- P.-Y. CALLAND, A.
DARTE, Y.
ROBERT, F.
VIVIEN,
« On the removal of anti and output dependences »,
in: Application Specific Systems, Architectures and
Processors , J. Fortes, C. Mongenet, K. Parhi, V. Taylor
(réd.), IEEE Computer Science Press, p. 353-364,
1996.
- 53
- P.-Y. CALLAND, A.
DARTE, Y.
ROBERT, F.
VIVIEN,
« Plugging anti and output dependence removal techniques into
loop parallelization algorithms »,
in: Third Workshop on Environments and Tools for Parallel
Scientific Computing , J. J. Dongarra, B. Tourancheau
(réd.), SIAM,
août 1996.
- 54
- P.-Y. CALLAND, J.
DONGARRA, Y.
ROBERT,
« Tiling With Limited Resources »,
in: Application Specific Systems, Architectures and
Processors , L. Thiele, J. Fortes, K. Vissers, V. Taylor,
T. Noll, J. Teich (réd.), IEEE Computer Society Press, p.
229-238,
1997.
- 55
- B. CHAMARET, S.
JOSSELIN, D.
WAGNER, S.
UBÉDA,
« Adaptative BTS location in cellular network »,
in: Parallel and Distributed Computing and Networks ,
p. 287-291,
Singapore, 1997.
- 56
- B. CHAMARET, S.
UBÉDA, J. Zerovnik,
« A Randomized Algorithm for Graph Coloring Applied to Channel
Allocation in Mobile Telephone »,
in: KOI : International Conference on Operational
Research , Croatian Operational Research Society, p.
25-30,
Zagreb, Croatie, 1996.
- 57
- T. CHICH, P.
FRAIGNIAUD,
« An extended comparison of slotted and unslotted deflection
routing »,
in: Proc of the ICCCN'97 , IEEE,
1997.
- 58
- J. COHEN, P.
FRAIGNIAUD, J.
KONIG, A.
RASPAUD,
« Broadcasting and Multicasting in Cut-through Routed Networks
»,
in: IPPS'97 , IEEE,
avril 1997.
- 59
- A. DARTE, F.
VIVIEN,
« On the optimality of Allen and Kennedy's algorithm for
parallelism detectionin nested loops »,
in: Europar'96 , LNCS , 1123 ,
Springer Verlag,
Lyon, France, août 1996.
- 60
- A. DARTE, F.
VIVIEN,
« Optimal fine and medium grain parallelism detection in
polyhedral reduced dependence graphs »,
in: 1996 Conference on Parallel and Architectures and
Compilation Techniques , IEEE Computer Society Press, p.
281-291,
Boston, MA, octobre 1996.
- 61
- F. DESPREZ, J.
DONGARRA, A.
PETITET, C.
RANDRIAMARO, Y.
ROBERT,
« Scheduling Block-Cyclic Array Redistribution »,
in: Parallel Computing '97 (ParCo97) ,
North-Holland,
Septembre 1997.
- 62
- F. DESPREZ, J.
DONGARRA, F.
RASTELLO, Y.
ROBERT,
« Determining the idle time of a tiling: new results »,
in: Parallel Architectures and Compilation Techniques
PACT'97 , IEEE Computer Society Press,
1997.
- 63
- A. FERREIRA, C.
KENYON, A.
RAU-CHAPLIN,
S. UBÉDA,
« d-Dimensional Range Search on Multicomputers »,
in: International Parallel Processing Symposium , IEEE
Press,
Geneve, Suisse, 1997.
- 64
- P. FRAIGNIAUD, S.
VIAL,
« Approximation Algorithms for Information Dissemination
Problems »,
in: IEEE Second International Conference on Algorithms and
Architectures for Parallel Processing (ICA3PP-96) , I. S.
Section (réd.), p. 155-162,
juin 1996.
- 65
- P. FRAIGNIAUD, S.
VIAL,
« Heuristics Algorithms for Personalized Communication problems
in Point-to-Point Networks »,
in: SIROCCO'97 (4th International Colloquium on Structural
Information and Communication Complexity) ,
1997.
- 66
- H. KOSCH,
« How to build up an efficient simulation tool for complex
parallel relational query proce ssing based on high-level Petri
nets. »,
in: HPCN 97 , L. Springer (réd.),
avril 1997.
- 67
- P. KUONEN, B.
CHAMARET, S.
JOSSELIN, D.
WAGNER, S.
UBÉDA, B.
SALAS-MANZANEDO,
M. PIZAROSSO,
« Radio Network Optimization With Stable Set Search »,
in: Vehicular Technology 97 ,
USA, à paraître.
- 68
- P. KUONEN, S.
JOSSELIN, S.
UBÉDA, S.
WAGNER,
« Parallel Computing of Radio Coverage »,
in: Vehicular Technology Conf. , IEEE, p.
1438-1442,
Atlanta, Georgia, USA, 1996.
- 69
- A. MOSTEFAOUI,
« Design of a high performance video server for managing TV
archives »,
in: ACM SIGMOD Advances in Databases and Information
Systems ,
Saint-Petersburg, septembre 1997.
- 70
- A. MOSTEFAOUI,
« Exploiting data structuration in a high performance video
server »,
in: International Symposium on Digital Media Information
Base DMIB'97 ,
Saint-Petersburg, novembre 1997.
- 71
- C. PEREZ,
« Load Balancing HPF Programs By Migrating Virtual Processors
»,
in: Second International Workshop on High-Level Programming
Models and Supportive Environments, HIPS97 , IEEE Computer
Society Press, p. 85-92,
avril 1997.
- 72
- L. PRYLLI, B.
TOURANCHEAU, R.
WESTRELIN,
« Modeling of a high speed network to maximize throughput
performance: the experience of BIP over Myrinet »,
in: IPPS/SPDP98 ,
Orlando, USA, 1998. Submitted.
- 73
- L. PRYLLI, B.
TOURANCHEAU,
« Calcul parallèle sur réseau ATM de stations de travail »,
in: RENPAR'8 , Roman (réd.), Université de
bordeaux,
1996.
- 74
- L. PRYLLI, B.
TOURANCHEAU,
« Distributed simulation of parallel computers »,
in: 29th Annual Simulation Symposium , IEEE computer
society press,
New Orleans, USA, avril 1996.
- 75
- L. PRYLLI, B.
TOURANCHEAU,
« Parallel computing on an ATM LAN »,
in: ATM97 , IFIP,
Bradford, UK, 1997.
- 76
- L. PRYLLI, B.
TOURANCHEAU,
« BIP: a new protocol designed for high performance networking
on Myrinet »,
in: Workshop PC-NOW ,
Orlando, USA, 1998.
- 77
- S. UBÉDA, J. Zerovnik,
« A Randomized Algorithm for Graph Coloring Applied to Channel
Assignement Problem »,
in: International Symposium on Operational Research in
Slovenia ,
Preddvor, Slovenia, 1997.
- 78
- S. UBÉDA, J. Zerovnik,
« A Randomized Algorithm for Graph Coloring Applied to Channel
Assignement Problem »,
in: TELEPAR 97 ,
Lausanne, Suisse, 1997.
- Rapports de
recherche
- 79
- L. BRUNIE, A.
MOSTEFAOUI,
« Exploiting data structures in a high performance video server
for TV archives »,
RR97-39, LIP - Ecole normale supérieure de Lyon, octobre
1997.
- 80
- F. NAQUIN,
Evaluation d'architecture réseaux locaux haut débit:
Myrinet ,
Mémoire, LHPC, Laboratoire d'informatique de Besançon,
1997.
- 81
- L. PRYLLI, B.
TOURANCHEAU,
« New protocol design for high performance networking »,
rapport de recherche No97-22, LIP-ENS Lyon, 69364 Lyon, France,
1997.
- 82
- R. WESTRELIN,
Réseaux haut débit et calcul parallèle: étude de
Myrinet ,
Mémoire, LHPC, CPE-Lyon, 1997.
- Bibliographie
générale
- HATC
- Ph.J. Hatcher and M. Quinn.
In DataParallel C: Compiling DataParallel Languages on MIMD
architectures,MIT Press, 1992.