GEOTRUST SSL CERTIFICATE
Détail de la série
Documents disponibles dans cette série (14)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Présentation de visions et de perspectives diverses des sciences, techniques et applications informatiques et examen des conséquences de l'introduction massive de ces applications dans la société sur l'éducation, le droit, la santé, les transports.
texte imprimé
Le point sur les architectures d'ordinateurs : processeurs asynchrones et SMT, compilation recyclable, réseaux logiques programmables, fonctions élémentaires en multiprécision...
texte imprimé
Daniel Litaize, Metteur en scène, réalisateur ; Jean-Michel Muller, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002Recueil de versions étendues d'articles présentés à la sixième conférence SympA (Symposium sur l'architecture des ordinateurs). Traite notamment du processeur et de l'EPIC (Explicity parallel instruction computing) ; de l'apport des jeux d'instr[...]
texte imprimé
Au sommaire notamment : Interrogation de ressources XML concernant un domaine d'intérêt (B. Amann) ; Interrogation efficace de ressources distribuées dans des systèmes de médiation (I. Manolescu) ; RS2.7, un canevas adaptable de duplication (S. [...]
texte imprimé
Présente différents travaux qui proposent un environnement extensible et adaptable, capable d'être complété pour prendre en compte des services non prévus lors de son activation.
texte imprimé
Daniel Kayser, Metteur en scène, réalisateur ; Bernard Levrat, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Cinq articles sont présentés afin d'offrir une vision représentative des développements et tendances actuels du traitement automatique du langage naturel (TALN).
texte imprimé
Michel Dao, Metteur en scène, réalisateur ; Christophe Dony, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Thèmes : nécessité d'outils ergonomiques pour la réutilisation par héritage dans les langages à objets; mises en oeuvre de la programmation par aspects; expérience de réutilisation basée sur l'analyse de domaine; méthodologie pour la rétro-compr[...]
texte imprimé
Quatre articles présentés à RenPar 2000, ayant pour thèmes la parallélisation d'un algorithme évolutionnaire, l'utilisation de réseaux à capacité d'adressage pour la construction de mémoires partagées distribuées logicielles, une architecture li[...]
texte imprimé
Christophe Cérin, Metteur en scène, réalisateur ; Gil Utard, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002Communications issues de la conférence RenPar'13 couplée à Sympa'7 (7e symposium en Architectures nouvelles de machines) et à CFSE'2 (2e conférence française sur les systèmes d'exploitation). Sont abordés : les problèmes de programmation et de c[...]
texte imprimé
Un agent mobile est une entité logicielle capable de se déplacer dynamiquement d'une machine à une autre (au sein d'une architecture répartie, au sein d'un réseau), en transportant son code et ses données, ainsi que son état d'exécution. Les art[...]
texte imprimé
Yves Ledru, Metteur en scène, réalisateur ; Marie-Laure Potet, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Numéro thématique suite à l'atelier AFALD'2000 (approches formelles dans l'assistance au développement de logiciels) qui s'est tenu à Grenoble en janvier 2000. Aborde notamment : l'étude de cas d'un système de contrôle d'accès à un ensemble de b[...]
texte imprimé
Fait suite à l'atelier AFADL'2001. Plusieurs thèmes autour des différentes phases de développement d'un logiciel : approche UML, application des méthodes formelles, génération de tests, méthodologie de formalisation et vérification.
texte imprimé
Jacques Lévy Véhel, Metteur en scène, réalisateur ; Evelyne Lutton, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Numéro thématique sur l'analyse fractale et ses applications notamment au mouvement brownien, à une classe de systèmes auto-similaires et à mémoire longue, ainsi qu'à la modélisation des rentabilités boursières des marchés financiers émergents.
texte imprimé
Bruno Marre, Metteur en scène, réalisateur ; Farid Ouabdesselam, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002Traite des méthodes de test qui reposent toutes sur l'exécution d'un programme, que ce soit le code ou la spécification d'un produit logiciel. Ce test est représenté par un couple constitué des données (les entrées) et des résultats attendus (le[...]
