Desiderata pour la specification et la conception des systemes electroniques (Französisch)
- Neue Suche nach: Nicolescu, G.
- Neue Suche nach: Svarstad, K.
- Neue Suche nach: Cesario, W.
- Neue Suche nach: Gauthier, L.
- Neue Suche nach: Lyonnard, D.
- Neue Suche nach: Yoo, S.
- Neue Suche nach: Coste, P.
- Neue Suche nach: Jerraya, A. A.
- Neue Suche nach: Nicolescu, G.
- Neue Suche nach: Svarstad, K.
- Neue Suche nach: Cesario, W.
- Neue Suche nach: Gauthier, L.
- Neue Suche nach: Lyonnard, D.
- Neue Suche nach: Yoo, S.
- Neue Suche nach: Coste, P.
- Neue Suche nach: Jerraya, A. A.
In:
TECHNIQUE ET SCIENCE INFORMATIQUES
;
21
;
291-314
;
2002
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Desiderata pour la specification et la conception des systemes electroniques
-
Beteiligte:Nicolescu, G. ( Autor:in ) / Svarstad, K. ( Autor:in ) / Cesario, W. ( Autor:in ) / Gauthier, L. ( Autor:in ) / Lyonnard, D. ( Autor:in ) / Yoo, S. ( Autor:in ) / Coste, P. ( Autor:in ) / Jerraya, A. A. ( Autor:in )
-
Erschienen in:TECHNIQUE ET SCIENCE INFORMATIQUES ; 21 ; 291-314
-
Verlag:
- Neue Suche nach: HERMES
-
Erscheinungsdatum:01.01.2002
-
Format / Umfang:24 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Französisch
- Neue Suche nach: 005
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 005 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 21
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 6
-
Présentation de RSTIPomerol, Jean-Charles et al. | 2002
- 7
-
EditorialJacquart, René et al. | 2002
- 9
-
Exploration de l'espace des solutions architecturales dans le codesign. Estimation de performances au niveau systèmeBaghdadi, Amer et al. | 2002
- 9
-
Exploration de l'espace des solutions architecturales dans le codesign. Estimation de performances au niveau systemeBaghdadi, A. / Zergainoh, N.-E. / Cesario, W. / Jerraya, A.-A. et al. | 2002
- 37
-
Nouvelles perspectives en extraction d'informationDupont, Michel et al. | 2002
- 65
-
PASCAL : un algorithme d'extraction des motifs fréquentsBastide, Yves et al. | 2002
- 65
-
PASCAL: un algorithme d'extraction des motifs frequentsBastide, Y. / Taouil, R. / Pasquier, N. / Stumme, G. / Lakhal, L. et al. | 2002
- 97
-
Cadre de spécifications hiérarchiques orienté vers la réutilisationCoudert, Sophie et al. | 2002
- 97
-
Cadre de specifications hierarchiques oriente vers la reutilisationCoudert, S. / Le Gall, P. et al. | 2002
- 127
-
Chronique - Algorithmes et algorithmique. De l'intérêt des schémasMarneffe, Pierre-Arnoul de et al. | 2002
- 127
-
Algorithmes et algorithmique. De l'interet des schemasde Marneffe, P.-A. et al. | 2002
- 135
-
Chronique - Instructions et consignes aux auteurs| 2002
- 147
-
Chronique - Appel à articles sur le thème - Données numériques et informations symboliques : intégration et fusion| 2002
- 163
-
Elimination de redondances pour architecture EPICDjelic, Ivan et al. | 2002
- 183
-
Impact des extensions SIMD sur les performances d'applications multimédias. La bande passante mémoire limite AltiVecSebot, Julien et al. | 2002
- 183
-
Impact des extensions SIMD sur les performances d'applications multimedias. La bande passante memoire limite AltiVecSebot, J. et al. | 2002
- 203
-
Approches matérielles et logicielles de l'algorithme de chiffrement IDEABeuchat, Jean-Luc et al. | 2002
- 203
-
Approaches materielles et logicielles de l'algorithme de chiffrement IDEABeuchat, J.-L. / Haenni, J.-O. / Restrepo, H. F. / Teuscher, C. / Gomez, F. J. / Sanchez, E. et al. | 2002
- 225
-
Partitionnement de spécifications flots de données conditionnels pour la conception de systèmes embarquésAuguin, Michel et al. | 2002
- 225
-
Partitionnement de specifications flots de donnees conditionnels pour la conception de systemes embarquesAuguin, M. / Capella, L. / Cuesta, F. / Gresset, E. et al. | 2002
- 253
-
MPI ou MPI+OpenMP sur grappes de multiprocesseurs ?Cappello, Franck et al. | 2002
- 273
-
Appel à propositions d'articles sur le thème : Indexation de bases d'images fixes ou animées| 2002
- 273
-
Appel a propositions d'articles sur le theme: Indexation de bases d'images fixes ou animees| 2002
- 291
-
Desiderata pour la spécification et la conception des systèmes électroniquesNicolescu, Gabriela et al. | 2002
- 291
-
Desiderata pour la specification et la conception des systemes electroniquesNicolescu, G. / Svarstad, K. / Cesario, W. / Gauthier, L. / Lyonnard, D. / Yoo, S. / Coste, P. / Jerraya, A. A. et al. | 2002
- 315
-
Une approche graphique pour l'aide à la conception d'applications temps réel ordonnançablesCottet, Francis et al. | 2002
- 315
-
Une approche graphique pour l'aide a la conception d'applications temps reel ordonnancablesCottet, F. / Grolleau, E. / Richard, P. et al. | 2002
- 345
-
Recherche d'informations dans des corpus en langue française. Utilisation du référentiel AMARYLLISSavoy, Jacques et al. | 2002
- 345
-
Recherche d'informations dans des corpus en langue francaise. Utilisation du referentiel AMARYLLISSavoy, J. et al. | 2002
- 375
-
Couplage entre abstraction temporelle et reconnaissance de scénarios. Application à l'identification d'évolutionsFontaine, Dominique et al. | 2002
- 375
-
Couplage entre abstraction temporelle et reconnaissance de scenarios. Application a l'identification d'evolutionsFontaine, D. et al. | 2002
- 405
-
Chronique - Algorithmes et algorithmique. Exercices et propriétés implicitesMarneffe, Pierre-Arnoul de et al. | 2002
- 405
-
Algorithmes et algorithmique. Exercices et proprietes implicites Pierre-Arnoul de Marneffe| 2002
- 413
-
Chronique - Appel à propositions d'articles sur le thème Sécurité informatique| 2002
- 423
-
ENVIRONNEMENT DE DEVELOPPEMENT DE SYSTEMES MULTI-AGENTS - EditorialBriffault, Xavier et al. | 2002
- 427
-
ENVIRONNEMENT DE DEVELOPPEMENT DE SYSTEMES MULTI-AGENTS - SFERES : un framework pour la conception de systèmes multi-agents adaptatifsLandau, Samuel et al. | 2002
- 427
-
SFERES: un framework pour la conception de systemes multi-agents adaptatifsLandau, S. / Doncieux, S. / Drogoul, A. / Meyer, J.-A. et al. | 2002
- 447
-
La plate-forme Volcano. Modularite et reutilisation pour les systemes multi-agentsRicordel, P.-M. / Demazeau, Y. et al. | 2002
- 447
-
ENVIRONNEMENT DE DEVELOPPEMENT DE SYSTEMES MULTI-AGENTS - La plate-forme Volcano. Modularité et réutilisation pour les systèmes multi-agentsRicordel, Pierre-Michel et al. | 2002
- 473
-
Agents assistants personnels dans les systemes multi-agents mixtes. Realisation sur la plate-forme OMASBarthes, J.-P. / Ramos, M. et al. | 2002
- 473
-
ENVIRONNEMENT DE DEVELOPPEMENT DE SYSTEMES MULTI-AGENTS - Agents assistants personnels dans les systèmes multi-agents mixtes. Réalisation sur la plate-forme OMASBarthès, Jean-Paul et al. | 2002
- 499
-
ENVIRONNEMENT DE DEVELOPPEMENT DE SYSTEMES MULTI-AGENTS - oRis : un environnement de simulation interactive multi-agentsHarrouet, Fabrice et al. | 2002
- 499
-
oRis: un environnement de simulation interactive multi-agentsHarrouet, F. / Tisseau, J. / Reignier, P. / Chevaillier, P. et al. | 2002
- 525
-
Entre programmation par composants et langages d'experts. Rendre la modelisation individu-centree plus accessible a l'utilisateurHoussin, D. / Bornhofen, S. / Souissi, S. / Ginot, V. et al. | 2002
- 525
-
ENVIRONNEMENT DE DEVELOPPEMENT DE SYSTEMES MULTI-AGENTS - Entre programmation par composants et langages d'experts. Rendre la modélisation individu-centrée plus accessible à l'utilisateurHoussin, David et al. | 2002
- 549
-
Points de repere Un essai de definition de criteres pour l'etude comparative de plates-formes multi-agentsOccello, M. / Guessoum, Z. / Boissier, O. et al. | 2002
- 549
-
Chronique - Points de repère - Un essai de définition de critères pour l'étude comparative de plates-formes multi-agentsOccello, Michel et al. | 2002
- 553
-
Chronique - Le point sur - Standards pour l'interopérabilité de plates-formes agentsPierre, Denis et al. | 2002
- 553
-
Le point sur Standards pour l'interoperabilite de plates-formes agentsPierre, D. et al. | 2002
- 561
-
Compte rendu d'habilitation Des regles d'interaction comme modele de controle en univers multi-agentKoning, J.-L. et al. | 2002
- 561
-
Chronique - Compte rendu d'habilitation - Des règles d'interaction comme modèle de contrôle en univers multi-agentKoning, Jean-Luc et al. | 2002
- 565
-
Chronique - Appel à propositions d'articles sur le thème - Réseaux et protocoles| 2002
- 579
-
Pavage pour une séquence de nids de bouclesBouchebaba, Youcef et al. | 2002
- 579
-
Pavage pour une sequence de nids de boucles Youcef Bouchebaba, Fabien Coelho| 2002
- 605
-
Evolution d'un langage pour la programmation parallele multicontexte: Threaded-CTremblay, G. et al. | 2002
- 605
-
Evolution d'un langage pour la programmation parallèle multicontexte : Threaded-CTremblay, Guy et al. | 2002
- 635
-
Implémentation de l'interface PAPI sur la machine Multi-PC. Présentation et analyse des performances par l'intermédiaire de diagrammes temporelsRenault, Eric et al. | 2002
- 635
-
Implementation de l'interface PAPI sur la machine Multi-PC. Presentation et analyse des performances par l'intermediaire de diagrammes temporelsRenault, E. et al. | 2002
- 659
-
CORBA haute performanceDenis, Alexandre et al. | 2002
- 685
-
Un outil de prediction dynamique de performances dans un environnement de metacomputingQuinson, M. et al. | 2002
- 685
-
Un outil de prédiction dynamique de performances dans un environnement de metacomputingQuinson, Martin et al. | 2002
- 711
-
Equilibrage de charge statique pour noyaux d'algèbre linéaire sur plateforme hétérogèneLegrand, Arnaud et al. | 2002
- 711
-
Equilibrage de charge statique pour noyaux d'algebre lineaire sur plateforme heterogeneLegrand, A. et al. | 2002
- 735
-
Protocole universel auto-stabilisant de synchronisation d'horloges de phasesNolot, Florent et al. | 2002
- 767
-
AGENTS ET CODES MOBILES - EditorialArcangeli, Jean-Paul et al. | 2002
- 771
-
SYNTHESE - Apport des agents mobiles à l'exécution répartieBernard, Guy et al. | 2002
- 771
-
Apport des agents mobiles a l'execution repartieBernard, G. / Ismail, L. et al. | 2002
- 797
-
Code mobile et carte a puceGrimaud, G. / Jean, S. et al. | 2002
- 797
-
RECHERCHE - Code mobile et carte à puceGrimaud, Gilles et al. | 2002
- 823
-
RECHERCHE - Objets actifs mobiles et communicantsBaude, Françoise et al. | 2002
- 823
-
Objets actifs mobiles et communicantsBaude, F. / Caromel, D. / Huet, F. / Vayssiere, J. et al. | 2002
- 851
-
RECHERCHE - Les agents mobiles réactifs Mooréa. Une approche réactive pour la transparence à la mobilité et le passage à l'échelleDillenseger, Bruno et al. | 2002
- 851
-
Les agents mobiles reactifs Moorea. Une approche reactive pour la transparence a la mobilite et le passage a l'echelleDillenseger, B. / Hazard, L. / Tagant, A.-M. / Viet, H. T. et al. | 2002
- 877
-
Adaptation d'une application multimedia par un code mobileHagimont, D. / Layaida, N. et al. | 2002
- 877
-
RECHERCHE - Adaptation d'une application multimédia par un code mobileHagimont, Daniel et al. | 2002
- 899
-
Un element de gestion des reseaux actifs. Estimer les besoins en ressources de calculGaltier, V. et al. | 2002
- 899
-
RECHERCHE - Un élément de gestion des réseaux actifs. Estimer les besoins en ressources de calculGaltier, Virginie et al. | 2002
- 941
-
L'optimisation par essaim particulaire. Principes, modeles et usagesClerc, M. et al. | 2002
- 941
-
SYNTHESE - L'optimisation par essaim particulaire. Principes, modèles et usagesClerc, Maurice et al. | 2002
- 965
-
Optimisation genetique et interactive de sites webOliver, A. / Regragui, O. / Monmarche, N. / Venturini, G. et al. | 2002
- 965
-
APPLICATION - Optimisation génétique et interactive de sites webOliver, Antoine et al. | 2002
- 985
-
RECHERCHE - Construction de services distribués : une approche à base d'agents mobilesRouvrais, Siegfried et al. | 2002
- 985
-
Construction de services distribues: une approche a base d'agents mobilesRouvrais, S. et al. | 2002
- 1009
-
Une approche pour reduire la complexite du flot de controle dans les programmes CCasse, H. / Feraud, L. / Rochange, C. / Sainrat, P. et al. | 2002
- 1009
-
RECHERCHE - Une approche pour réduire la complexité du flot de contrôle dans les programmes CCassé, Hugues et al. | 2002
- 1033
-
CHRONIQUE - Algorithmes et algorithmique. Edsger W. Dijkstra (1930-2002)Marneffe, P.A.de et al. | 2002
- 1033
-
Algorithmes et algorithmique. Edsger W. Dijkstra (1930-2002)de Marneffe, P. A. et al. | 2002
- 1051
-
Cartes d'etapes d'etudes des diagrammes d'UML. Ordonnancements de ces etudesCastellani, X. et al. | 2002
- 1051
-
Cartes d'étapes d'études des diagrammes d'UML. Ordonnancements de ces étudesCastellani, Xavier et al. | 2002
- 1073
-
APPROCHES FORMELLES DANS L'ASSISTANCE AU DEVELOPPEMENT DE LOGICIELS - Spécifications formelles du chanfreinageLedoux, Franck et al. | 2002
- 1073
-
Specifications formelles du chanfreinageLedoux, F. / Mota, J.-M. / Arnould, A. / Dubois, C. / Le Gall, P. / Bertrand, Y. et al. | 2002
- 1099
-
Automatiser les preuves d'un sous-langage de la methode BBoite, O. et al. | 2002
- 1099
-
APPROCHES FORMELLES DANS L'ASSISTANCE AU DEVELOPPEMENT DE LOGICIELS - Automatiser les preuves d'un sous-langage de la méthode BBoite, Olivier et al. | 2002
- 1121
-
APPROCHES FORMELLES DANS L'ASSISTANCE AU DEVELOPPEMENT DE LOGICIELS - Raffiner pour vérifier des systèmes paramétrésBellegarde, Françoise et al. | 2002
- 1121
-
Raffiner pour verifier des systemes parametresBellegarde, F. / Charlet, C. / Kouchnarenko, O. et al. | 2002
- 1151
-
Appel a propositions d'articles sur le themeInteroperabilite des systemes distribues et al. | 2002
- 1151
-
APPROCHES FORMELLES DANS L'ASSISTANCE AU DEVELOPPEMENT DE LOGICIELS - Appel à propositions d'articles sur le thème - Interopérabilité des systèmes distribués| 2002
- 1161
-
TEST DE LOGICIEL - EditorialMarre, Bruno et al. | 2002
- 1163
-
Utilisation des contraintes pour la generation automatique de cas de tests structurelsBotella, B. / Gotlieb, A. / Michel, C. / Rueher, M. / Taillibert, P. et al. | 2002
- 1163
-
Utilisation des contraintes pour la génération automatique de cas de tests structurelsBotella, Bernard et al. | 2002
- 1189
-
B-Testing-Tools: generation de tests aux limites a partir de specifications BLegeard, B. / Peureux, F. et al. | 2002
- 1189
-
B-Testing-Tools : génération de tests aux limites à partir de spécifications BLegeard, Bruno et al. | 2002
- 1219
-
Test de conformite: une approche algebriqueArnould, A. / Le Gall, P. et al. | 2002
- 1219
-
Test de conformité : une approche algébriqueArnould, Agnès et al. | 2002
- 1243
-
Test de spécifications de logiciels synchronesParissis, Ioannis et al. | 2002
- 1243
-
Test de specifications de logiciels synchronesParissis, I. et al. | 2002
- 1265
-
TGV: theorie, principes et algorithmes. Un outil de synthese automatique de tests de conformite pour les systemes reactifsJeron, T. et al. | 2002
- 1265
-
TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifsJéron, Thierry et al. | 2002
- 1305
-
Spécialisation et sous-typage : thème et variationsDucournau, Roland et al. | 2002
- 1305
-
Specialisation et sous-typage: theme et variationsDucournau, R. et al. | 2002
- 1343
-
Agregation et composition dans UML. Revision basee sur la theorie Tout-PartieBarbier, F. / Le Parc-Lacayrelle, A. / Bruel, J.-M. et al. | 2002
- 1343
-
Agrégation et composition dans UML. Révision basée sur la théorie Tout-PartieBarbier, Franck et al. | 2002
- 1371
-
Un << Beowulf >> par des physiciens. Choix, problemes, performancesCalvayrac, F. / Labaye, Y. / Gimel, J.-C. et al. | 2002
- 1371
-
Un << Beowulf >> par des physiciens. Choix, problèmes, performancesCalvayrac, Florent et al. | 2002
- 1387
-
Un systeme de reconnaissance automatique de documents techniques Application aux plans de cadastreOgier, J.-M. / Mullot, R. et al. | 2002
- 1387
-
Un système de reconnaissance automatique de documents techniques Application aux plans de cadastreOgier, Jean-Marc et al. | 2002
- 1417
-
Index Volume 21-2002| 2002