Sabiia Seb
PortuguêsEspañolEnglish
Embrapa
        Busca avançada

Botão Atualizar


Botão Atualizar

Ordenar por: 

RelevânciaAutorTítuloAnoImprime registros no formato resumido
Registros recuperados: 8
Primeira ... 1 ... Última
Imagem não selecionada

Imprime registro no formato completo
Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African conference on research in computer science IRD
Tankoano, J. (ed.).
Tipo: Text Palavras-chave: INFORMATIQUE; MODELISATION; INTELLIGENCE ARTIFICIELLE; BASE DE DONNEES; TELEDETECTION SPATIALE; GENIE LOGICIEL; RESEAU INFORMATIQUE; COOPERATION TECHNIQUE; PARALLELISME; MEMOIRE DISTRIBUEE; LANGAGE ORIENTE OBJET; MULTIMEDIA.
Ano: 1994 URL: http://www.documentation.ird.fr/hor/fdi:40852
Imagem não selecionada

Imprime registro no formato completo
Algorithme d'arrêt global consistant de systèmes distribués à temps de latence borné IRD
Moukeli, P..
La programmation parallèle nécessite des outils permettant l'arrêt global des systèmes distribués. Plusieurs travaux ont été menés permettant de construire de tels outils. Cependant le nombre de messages générés par les algorithmes qui en résultent les rend inefficaces. Le présent travail qui est une amélioration d'un résultat antérieur propose un algorithme permettant un arrêt consistant du système distribué et générant un nombre de messages borné et indépendant du nombre de processus dans le système. (Résumé d'auteur)
Tipo: Text Palavras-chave: ALGORITHME; PROGRAMMATION; SYSTEME DISTRIBUE; PARALLELISME.
Ano: 1996 URL: http://www.documentation.ird.fr/hor/fdi:010008751
Imagem não selecionada

Imprime registro no formato completo
Composition parallèle de réseaux de Pétri temporels : analyse par énumération des états accessibles IRD
Boucheneb, H.; Berthelot, G..
Nous présentons un modèle de spécification composé d'un ensemble de réseaux de Petri temporels évoluant en parallèle. Nous avons développé, dans [BOU,93], une approche de construction du graphe d'atteignabilité pour un réseau de Petri temporel. Il s'agit d'étendre et d'adapter cette approche au modèle présenté ici. (Résumé d'auteur)
Tipo: Text Palavras-chave: MODELE MATHEMATIQUE; ETAT; SYSTEME INFORMATIQUE; TRANSITION; RESEAU DE PETRI; PARALLELISME.
Ano: 1996 URL: http://www.documentation.ird.fr/hor/fdi:010008793
Imagem não selecionada

Imprime registro no formato completo
Etude de la complexité de la parallèlisation de la grille 2D sur un modèle d'architecture multiprocesseur IRD
Daoudi, E.M.; Lakhouaja, A.; Manneback, P..
Dans ce travail nous donnons une borne inférieure du temps d'exécution parallèle pour le graphe de précédence des taches grille 2D surun modèle d'architecture multiprocesseur MIMD. Les coûts des communications sont pris en compte et sont considérés comme étant une fonction linéaire de la taille des données échangées entre processeurs. Ensuite nous montrons que la borne inférieure peut être atteinte en utilisant une architecture multiprocesseur à mémoire distribuée : l'anneau des processeurs. (Résumé d'auteur)
Tipo: Text Palavras-chave: INFORMATIQUE; SYSTEME D'EXPLOITATION; ALGORITHME; MEMOIRE DISTRIBUEE; PARALLELISME; GRILLE 2D.
Ano: 1994 URL: http://www.documentation.ird.fr/hor/fdi:40921
Imagem não selecionada

Imprime registro no formato completo
Interface graphique virtuelle pour les programmes parallèles IRD
Moukéli, P..
Cet article propose un modèle et une démarche de conception d'interfaces graphiques de programmes parallèles. L'interface graphique a jusque là été considérée comme un outil secondaire mais pourtant très utile aux programmes parallèles. Sa conception et sa gestion sont strictement séparées du programme parallèle, alors qu'elle en est la plupart du temps une composante essentielle. Nous proposons de ramener au moins partiellement cette gestion dans le programme parallèle, en utilisant le concept d'interface graphique virtuelle. (Résumé d'auteur)
Tipo: Text Palavras-chave: INFORMATIQUE; PROGRAMMATION; INTERFACE; INTERFACE GRAPHIQUE; PARALLELISME.
Ano: 1994 URL: http://www.documentation.ird.fr/hor/fdi:40923
Imagem não selecionada

Imprime registro no formato completo
Logique temporelle pour la spécification et la vérification des systèmes réactifs IRD
M' Guerroumi Fawzi.
Dans cet article, nous nous intéressons à une classe particulière de systèmes informatiques, les "systèmes réactifs" qui regroupent ceux dont l'objectif est plutôt le maintien d'une interaction avec un environnement que le calcul d'un résultat à partir de données en entrée. Pour énoncer la correction de ces systèmes, les formalismes de la logique classique ne peuvent être utilisés : en effet, il est nécessaire d'exprimer des propriétés portant sur le déroulement même de leur exécution. Il est donc légitime de les étudier à l'aide de techniques déductives formalisant des concepts temporels. Le propre des logiques "modales" dont fait partie la logique temporelle est de proposer de telles méthodes. Nous présentons ici un environnement de programmation logique...
Tipo: Text Palavras-chave: MODELE MATHEMATIQUE; SYSTEME INFORMATIQUE; PROGRAMMATION; RESEAU DE PETRI; PARALLELISME.
Ano: 1996 URL: http://www.documentation.ird.fr/hor/fdi:010008794
Imagem não selecionada

Imprime registro no formato completo
OVIPAR : une plate-forme d'initiation au parallélisme sous UNIX IRD
Almeida, A.; Moukeli, P..
OVIPAR (Ordinateur Virtuel Parallèle) est un outil d'aide à l'apprentissage du parallélisme développé sous UNIX en langage C. Il s'adresse particulièrement aux étudiants et aux chercheurs désireux de découvrir ce domaine de l'informatique. OVIPAR se présente comme une bibliothèque de fonctions à intégrer dans un programme C classique. Ces fonctions mettent en oeuvre les instructions CSP. OVIPAR est en quelque sorte un modèle réduit de PVM, avec des ambitions très modestes. (Résumé d'auteur)
Tipo: Text Palavras-chave: PROGRAMMATION; INITIATION; SYSTEME INFORMATIQUE; PARALLELISME.
Ano: 1996 URL: http://www.documentation.ird.fr/hor/fdi:010008752
Imagem não selecionada

Imprime registro no formato completo
Réseaux de Pétri : controle optimal du marquage IRD
Simeu, E..
Cet article s'intéresse au problème d'optimisation du coût de production dans les systèmes dont la modélisation par un réseau de Pétri est disponible. La notion de dépense est modélisée au niveau du réseau de Pétri par un coût de franchissement associé aux transitions. Une description formelle adaptée du réseau de Pétri est introduite. Ce formalisme autorise une définition et un traitement analytique du problème de recherche d'un ordonnancement optimal du marquage au sens de la minimisation du coût de production. La méthode de résolution proposée s'appuie sur le principe fondamental de la programmation dynamique. (Résumé d'auteur)
Tipo: Text Palavras-chave: INFORMATIQUE; PROGRAMMATION; MODELISATION; PRODUCTION; COUT; RESEAU DE PETRI; OPTIMISATION; PARALLELISME.
Ano: 1994 URL: http://www.documentation.ird.fr/hor/fdi:40924
Registros recuperados: 8
Primeira ... 1 ... Última
 

Empresa Brasileira de Pesquisa Agropecuária - Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área restrita

Embrapa
Parque Estação Biológica - PqEB s/n°
Brasília, DF - Brasil - CEP 70770-901
Fone: (61) 3448-4433 - Fax: (61) 3448-4890 / 3448-4891 SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional