Recherche - UR1 - publications Maths-STIC
[go: up one dir, main page]

Filtrer vos résultats

181 résultats
Type de dépôt : Notice

Cooperation Control in PSEE

Claude Godart , Hala Skaf , Nourredine Belkatir , Antonio Carzaniga , Estublier Jacky , et al.
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.117-166, 1999, Lecture Notes in Computer Science
Chapitre d'ouvrage inria-00110389v1

Status and new developments of the high intensity electron cyclotron resonance source light ion continuous wave, and pulsed mode

J.M. Lagniel , P.Y. Beauvais , D. Bogard , G. Bourdelle , G. Charruau , et al.
International Conference on Ion Sources 8, Sep 1999, Kyoto, Japan. pp.830-835
Communication dans un congrès in2p3-00015110v1

Finiteness Theorems for Graphs and Posets Obtained by Compositions

Jens Gustedt
Order, 1999, 15 (3), pp.203-220
Article dans une revue inria-00098825v1

Fusion Scanner / IRM entièrement automatique : perspective d'utilisation pour la radiothérapie

Pierre-Yves Bondiau , Grégoire Malandain , Karen Bénézery , Alexis Roche , R. Ferrand , et al.
Proc. du XIX Forum de Cancérologie, 1999, Paris, France
Communication dans un congrès inria-00615830v1

Simulation Levels of Detail for Real-time Virtual Worlds

Franck Multon , Bernard Valton , Bertrand Jouin , Rémi Cozot
ASTC-VR'99, 1999, San Diego, United States
Communication dans un congrès hal-01142559v1

Extension of cavity method to analyze the aperture-coupled microstrip patch antenna with a tilted feeding line

Olivier Lafond , Mohamed Himdi , J.P Daniel
Microwave and Optical Technology Letters, 1999
Article dans une revue hal-01622510v1

Mobile Robotics Planning using Abstract Markov Decision Processes

Pierre Laroche , François Charpillet , René Schott
International Conference on Tools with Artificial Intelligence - ICTAI'99, IEEE Computer Society, 1999, Chicago, Illinois, pp.299-306
Communication dans un congrès inria-00098843v1

Rewriting Techniques & Applications

Paliath Narendran , Michaël Rusinowitch
P. Narendran & M. Rusinowitch. Springer-Verlag, 396 p, 1999, Lecture Notes in Computer Science
Ouvrages inria-00098862v1

Compact DAG Representation and its Dynamic Scheduling

Michel Cosnard , Emmanuel Jeannot
Journal of Parallel and Distributed Computing, 1999, 58 (3), pp.487-514
Article dans une revue inria-00098841v1

A New Procedure for Simultaneously Checking Completeness and Ground Confluence

Adel Bouhoula
[Intern report] 99-R-420 || bouhoula99e, 1999
Rapport inria-00098945v1

Gestion mémoire: manuelle ou automatique ?

Philippe Coucaud , Olivier Zendra , Dominique Colnet
Programmez !, 1999, 7, pp.54-57
Article dans une revue inria-00098894v1

Optimal Routing to M parallel queues with no buffers

Eitan Altman , Sandjai Bhulai , Bruno Gaujal , Arie Hordijk
33rd Allerton Conference on Communication, Control, & Computing, 1999, Allerton, Illinois/USA, 10 p
Communication dans un congrès inria-00098807v1

Obtaining the mutual coupling in conformal printed antennas finite arrays

Franck Muller , C. Chikh , Kouroch Mahdjoubi , Ala Sharaiha , T. Girard
Progress In Electromagnetic Research Symposium (PIERS 99), Mar 1999, Taipei, China
Communication dans un congrès hal-00988558v1

Microstrip-CPW transitions for antenna arrays applications

T. Girard , Robert Staraj , Edmond Cambiaggio , Franck Muller
Microwave and Optical Technology Letters, 1999, 23 (3), pp.131-133
Article dans une revue hal-00987332v1

Vector and parallel implementations for the FDTD analysis of millimeter wave planar antennas

H. Hoteit , Ronan Sauleau , B. Philippe , Philippe Coquet , J.P. Daniel
International Journal of High Speed Computing, 1999, 10 (2), 209-234 - 25 p
Article dans une revue hal-00557655v1

Global Resource Management for High Availability and Performance in a DSM-based Cluster

Christine Morin , Renaud Lottiaux
Proc. of 1st workshop on Software Distributed Shared Memory, 1999, Rhodos, Greece
Communication dans un congrès hal-01272461v1

File mapping in shared virtual memory using a parallel file system

Renaud Lottiaux , Christine Morin , Thierry Priol
Parallel Computing: Fundamentals and Applications Proceedings of the International Conference (ParCo '99), 1999, Delft, The, Netherlands. pp.606--614
Communication dans un congrès hal-01271162v1

Etude de filtres spectraux accordables en optique intégrée sur semi-conducteurs III-V : Guides biréfringents dans les multicouches GaAs/AlAs

Bruno Bêche
Optique / photonique. Université de Franche-Comté Besançon; LOPMD - FEMTO ST, 1999. Français. ⟨NNT : ⟩
Thèse tel-03251263v1

La prédiction de la propagation associée à l'imagerie SAR

Stéphane Meric , Gérard Chassay , Olivier Béchu , Thierry Tenoux
XIe Journées Nationales Microondes (JNM), May 1999, Arcachon, France. pp.712-713
Communication dans un congrès hal-00762701v1

Data allocation strategies for dense linear algebra kernels on heterogeneous two-dimensional grid

Vincent Boudet , Antoine Petitet , Fabrice Rastello , Yves Robert
International Conference on Parallel and Distributed Computing and Systems (PDCS'99), 1999, Unknown, pp.561-569
Communication dans un congrès hal-00856661v1

Algorithmic issues for (distributed) heterogeneous computing platforms

Vincent Boudet , Fabrice Rastello , Yves Robert
Cluster Computing Technologies, Environments, and Applications (CC-TEA'99), 1999, Unknown, pp.709-712
Communication dans un congrès hal-00856663v1

Architectural Views and Alternatives

Wilhelm Schaeffer , Alfonso Fugetta , Claude Godart , Jens Jahnke
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.95-116, 1999, Lecture notes in Computer Science
Chapitre d'ouvrage inria-00110394v1

Analysis of millimeter wave Fabry-Perot cavities using the FDTD technique

Ronan Sauleau , Philippe Coquet , J.P. Daniel , T. Matsui , N. Hirose
IEEE Microwave and Guided Wave Letters, 1999, 9 (5), 189-191 - 3 p
Article dans une revue hal-00557643v1

On Sums of Seven Cubes

François Bertault , Olivier Ramaré , Paul Zimmermann
Mathematics of Computation, 1999, 68 (227), pp.1303-1310
Article dans une revue inria-00108056v1

Des méthodes efficaces pour l'incrustation d'objets virtuels dans des séquences d'images

Gilles Simon , Marie-Odile Berger
Traitement du Signal, 1999, 16 (1), pp.31-46
Article dans une revue inria-00108048v1

Phenomenological classification of natural scenes using multidimensional polarimetric SAR data

Laurent Ferro-Famil , Eric Pottier , Joseph Saillard
5th International Conference and Exhibition on Radar Systems, May 1999, Brest, France
Communication dans un congrès hal-01465322v1

Optimal Sequencing of Contract Algorithms

Shlomo Zilberstein , François Charpillet , Philippe Chassaing
Bar-Ilan Symposium on the Foundation of Artificial Intelligence, 1999, Ramat Gan, Israel
Communication dans un congrès inria-00108057v1

Patterns in words versus patterns in trees : a brief survey and new results

Gregory Kucherov , Michaël Rusinowitch
Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.283-296
Communication dans un congrès inria-00099009v1

Reasoning about Object Behaviours with Rewriting.

Adel Bouhoula , Ahmed Jebali , Michaël Rusinowitch
Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours (in conjunction with Principles, Logics, and Implementations of high-level programming languages PLI99) - OOSDS'99, 1999, Paris, France, 6 p
Communication dans un congrès inria-00099000v1

Interval Reductions and Extensions of Orders : Bijections to Chains in Lattices

Stefan Felsner , Jens Gustedt , Michel Morvan
Order, 1999, 15 (3), pp.221-246
Article dans une revue inria-00098826v1