Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTechnique et Science Informatiques, Volume 24
Volume 24, Number 1, 2005
- Farouk Belghoul, Yan Moret, Christian Bonnet:
Mécanismes de handover pour les réseaux IP sans fil. 7-37 - Guillaume Chelius, Eric Fleury, Stéphane Ubéda:
Environnement ad hoc et mobilité IP. Un état de l'art. 39-64 - Arnaud Troël, Frédéric Weis, Michel Banâtre:
Prise en compte du mouvement dans les systèmes de communication sans fil. 65-94 - Rodolphe Giroudeau:
Seuil d'approximation pour un problème d'ordonnancement en présence de communications hiérarchiques. 95-114 - Véronique Cortier:
Vérifier les protocoles cryptographiques. 115-140
Volume 24, Number 2-3, 2005
- Editorial. Tech. Sci. Informatiques 24(2-3): 149-152 (2005)
- Tigist Alemu, Alain Jean-Marie:
Etude de la configuration dynamique des paramètres de RED. 153-178 - Alexandre P. Royer, Stéphane Mocanu, Christian Commault:
Méthode de décomposition pour l'évaluation de performance de réseaux linéaires de routeurs ON/OFF. 179-202 - Yvan Calas, Alain Jean-Marie:
Qualité audio pour un schéma FEC simple. 203-228 - Anne Benoit, Brigitte Plateau, William J. Stewart:
Réseaux d'automates stochastiques à temps discret. 229-248 - Clément Delamare, Patrice Moreaux:
Analyse de performance des systèmes décomposables. Exemples et mise en oeuvre. 249-277 - Leïla Kloul, Amdjed Mokhtari:
Algèbre des processus pour l'analyse des performances des noeuds actifs. 279-309 - Georges Da Costa, Corine Marchand, Olivier Richard, Jean-Marc Vincent:
Eléments de caractérisation des environnements des systèmes pair à pair. 311-331 - Jalil Boukhobza, Claude Timsit:
Analyse des performances des accès séquentiels aux fichiers sous Windows. 333-358
Volume 24, Number 4, 2005
- Ferid Gharsalli, Frédéric Rousseau, Ahmed Amine Jerraya:
Conception des interfaces logiciel-matériel pour l'intégration des mémoires globales dans les systèmes monopuces. 369-394 - Raphaël David, Dominique Lavenier, Sébastien Pillement
:
Du microprocesseur au circuit FPGA. Une analyse sous l'angle de la reconfiguration. 395-422 - Joël Corral, Mohamed Ourraou, Géraldine Texier, Laurent Toutain:
Saturne. Une architecture pour mesurer les performances des classes de service IP. 423-448 - Engelbert Mephu Nguifo, Patrick Njiwoua:
Treillis de concepts et classification supervisée. 449-488
Volume 24, Number 5, 2005
- El Mostafa Daoudi, Thierry Gautier, Aicha Kerfali, Rémi Revire, Jean-Louis Roch:
Algorithmes parallèles à grain adaptatif et applications. 505-524 - Vincent Danjean, Pierre-André Wacrenier:
Mécanismes de traces efficaces pour programmes multithreadés. 525-545 - Cyrille Martin, Olivier Richard, Guillaume Huard:
Déploiement adaptatif d'applications parallèles. Algorithme de vol de travail appliqué au déploiement d'applications parallèles sur des grappes de grande taille. 547-565 - Antoine Vernois:
Pérennité dans les systèmes de stockage pair à pair. 567-590 - Stéphane Genaud, Marc Grunberg:
Calcul de rais en tomographie sismique. Exploitation sur la grille. 591-608 - Françoise Baude:
Grids @ work: Middleware, Components, Users, Contest and Plugtests. 609-613
Volume 24, Number 6, 2005
- Jérémie Detrey, Florent de Dinechin:
Outils pour une comparaison sans a priori entre arithmétique logarithmique et arithmétique flottante. 625-643 - Daniel Etiemble, Lionel Lacassagne:
Des flottants 16 bits sur microprocesseurs d'usage général pour images et multimédia. 645-665 - Guillaume Duc, Ronan Keryell, Cédric Lauradoux:
CryptoPage : Support matériel pour cryptoprocessus. 667-701 - Mathieu Giraud, Stéphane Guyetant, Dominique Lavenier:
Encodage linéaire d'automates pondérés. Filtrage de motifs génomiques et application sur l'architecture prototype R-disk. 703-724 - Pascal Benoit, Gilles Sassatelli, Lionel Torres, Michel Robert, Gaston Cambon, Didier Demigny:
Méthode de caractérisation des architectures d'accélérateurs flexibles pour systèmes sur puce. 725-755
Volume 24, Number 7, 2005
- Romulus Grigoras, Vincent Charvillat:
Vers l'apprentissage de mécanismes d'adaptation multimédia. 767-787 - Nabil Layaïda, Tayeb Lemlouma, Vincent Quint:
NAC, une architecture pour l'adaptation multimédia sur le web. 789-813 - Mariam Kimiaei Asadi, Jean-Claude Dufourd:
Support de transmodage de contenus multimédia dans MPEG-21. Etude et validation d'un outil de description. 815-835 - Damien Charlet, P. Camalda, Pascal Chatonnay, François Spies:
Mobilité dans les caches vidéo. Une stratégie adaptative. 837-864 - Tanguy Pérennou, Jérôme Lacan, Hanaa El Natour:
Évaluation de mécanismes de contrôle d'erreur pour des transmissions multipoints sur des réseaux de mobiles. 865-886 - Jean-Baptiste Ernst-Desmulier, Damien Charlet, Pascal Chatonnay, Julien Bourgeois, François Spies:
Optimisation du cache sibling à l'aide d'une architecture pair à pair. 887-907
Volume 24, Number 8, 2005
- Shelby H. Funk, Sanjoy K. Baruah:
Restricting EDF migration on uniform heterogeneous multiprocessors. 917-938 - Dieter Zöbel, David Polock:
Priority Inheritance Revisited. Towards the conformance of real-time protocols. 939-961 - Christine Rochange, Pascal Sainrat:
Régulation du flot d'instructions pour des processeurs orientés temps réel. 963-989 - Joël Goossens, Pascal Richard:
Optimisation de performance pour des systèmes temps réel stricts à priorité fixe. 991-1011 - Anis Koubaa, Yeqiong Song, Jean-Pierre Thomesse:
(m, k)-WFQ, intégration des contraintes temporelles (m, k)-firm dans les réseaux à débit garanti. 1013-1046
Volume 24, Number 9, 2005
- Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici:
Interopérabilité avec Objective Caml. 1055-1080 - Julien Cohen:
Typage des collections topologiques hétérogènes et des transformations. 1081-1111 - Frédérique Guilhot:
Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée. 1113-1138 - David Delahaye, Mathieu Jaume, Virgile Prevosto:
Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srs. 1139-1160 - Yves Bertot:
Vérification formelle d'extractions de racines entières. 1161-1185 - Catherine Dubois:
Typage, sreté et sécurité. 1187-1190
Volume 24, Number 10, 2005
- Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio:
Un protocole de tolérance aux pannes pour objets actifs non préemptifs. 1199-1226 - Nacer-Eddine Zergainoh, Ludovic Tambour, Henri Michel, Ahmed Amine Jerraya:
Méthodes de correction de retard dans les modèles RTL des systèmes monopuces DSP obtenus par assemblage de composants IP : fondement théorique et implémentation. 1227-1257 - Jacques Tisseau, Marc Parenthoën, Cédric Buche, Patrick Reignier:
Comportements perceptifs d'acteurs virtuels autonomes : une application des cartes cognitives. 1259-1293 - Ahmed Kada, Hicham Juidette, Hussein Youlal:
Conception et simulation d'un planificateur adaptatif de chemin pour le routage de données dans un réseau. 1295-1318
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
