Bibliographies thématiques / Calcul parallèle

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « Calcul parallèle »

Auteur : Grafiati

Publié le 4 juin 2021

Mis à jour le 22 février 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Calcul parallèle ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Calcul parallèle"

-Devos, Francis. « Calcul parallèle et Rétines artificielles ». Revue de l'Electricité et de l'Electronique -, n^o 10 (1998) : 85. http://dx.doi.org/10.3845/ree.1998.116.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Cros, Jean-Michel. « Sous-structuration dynamique et calcul parallèle ». Comptes Rendus de l'Académie des Sciences - Series IIB - Mechanics-Physics-Astronomy 327, n^o 1 (janvier 1999) : 13–18. http://dx.doi.org/10.1016/s1287-4620(99)80004-0.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Soulaïmani, Azzeddine, et Amine Ben Haj Ali. « Calcul parallèle-distribué pour les problèmes multiphysiques ». Revue Européenne des Éléments Finis 12, n^o 7-8 (janvier 2003) : 793–829. http://dx.doi.org/10.3166/reef.12.793-829.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Cognard, Jean-Yves, David Dureisseix, Pierre Ladevèze et Philippe Lorong. « Expérimentation d'une approche parallèle en calcul des structures ». Revue Européenne des Éléments Finis 5, n^o 2 (janvier 1996) : 197–220. http://dx.doi.org/10.1080/12506559.1996.10511217.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Digonnet, Hugues, Olivier Basset, Luisa Silva et Thierry Coupez. « Calcul parallèle appliqué aux écoulements de fluides complexes ». European Journal of Computational Mechanics 16, n^o 6-7 (janvier 2007) : 703–22. http://dx.doi.org/10.3166/remn.16.703-722.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Escaig, Yves, et Gilbert Touzot. « Application des méthodes de décomposition de domaines au calcul parallèle ». Revue Européenne des Éléments Finis 6, n^o 5-6 (janvier 1997) : 589–609. http://dx.doi.org/10.1080/12506559.1997.10511296.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Boufflet, Jean-Paul, Piotr Breitkopf, Christophe Denis et Michel Vayssade. « Equilibrage en volume de calcul pour une méthode parallèle à fronts multiples ». Revue Européenne des Éléments Finis 14, n^o 1 (janvier 2005) : 87–113. http://dx.doi.org/10.3166/reef.14.87-113.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

PERRIER, G. « Concurrent programming as proof net construction ». Mathematical Structures in Computer Science 8, n^o 6 (décembre 1998) : 681–710. http://dx.doi.org/10.1017/s0960129598002655.

Texte intégral

Résumé :

We propose a concurrent process calculus, called Calcul Parallèle Logique (CPL), based on the paradigm of computation as proof net construction in linear logic. CPL uses a fragment of first-order intuitionistic linear logic where formulas represent processes and proof nets represent successful computations. In these computations, communication is expressed in an asynchronous way by means of axiom links. We define testing equivalences for processes, which are based on a concept of interface, and use the power of proof theory in linear logic.

Styles APA, Harvard, Vancouver, ISO, etc.

Dureisseix, David, et Pierre Ladevèze. « Une approche parallèle et multi-échelles en calcul des structures : exemples et performances ». Revue Européenne des Éléments Finis 7, n^o 1-3 (janvier 1998) : 73–87. http://dx.doi.org/10.1080/12506559.1998.11690466.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Duget, Anne, Thierry Roux, Pierre Noire et Olivier Lapierre. « Hexapodes de positionnement de précision ». Photoniques, n^o 115 (8 août 2022) : 51–56. http://dx.doi.org/10.1051/photon/202211257.

Texte intégral

Résumé :

L’hexapode est un robot parallèle permettant la mise en position d’objets suivant les six degrés de liberté (trois translations Tx, Ty, Tz et trois rotations Rx, Ry, Rz). Au milieu du xxe siècle, les premiers hexapodes ont servi à tester des pneus ou comme simulateurs de vol. Dans les années 1990, grâce à l’évolution des composants électroniques et à l’augmentation des capacités de calcul, l’arrivée de contrôleurs abordables et performants a permis leur essor. Nous verrons dans cet article comment un hexapode est constitué et étudierons les critères de sélection les plus pertinents avant de décrire quelques exemples d’applications.

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Calcul parallèle"

Mezher, Dany. « Calcul parallèle de pseudo-spectres ». Rennes 1, 2001. http://www.theses.fr/2001REN10054.

Texte intégral

Résumé :

Nous présentons un nouvel outil pour le calcul parallèle des pseudo-spectres. L'outil proposé utilise un algorithme de suivi de lignes de niveau pour tracer la limite du pseudo-spectre. L'algorithme est parfaitement fiable et peut traverser les singularités de la ligne sans difficultés. Il offre une garantie de terminaison même en présence d'erreurs d'arrondi et présente une grande granularité pour le parallélisme permettant d'atteindre de bonnes accélérations. Notre outil est capable de tracer plusieurs lignes de niveau indépendamment et peut segmenter une même ligne de niveau en un ensemble de tranches calculées simultanément, ce qui augmente l'accélération et améliore l'efficacité. L'utilisateur utilise une interface graphique conviviale pour piloter l'application ; cette interface intègre toutes les fonctionnalités graphiques et de contrôle cruciales pour apprécier l'information offerte par le pseudo-spectre. L'application a été développée pour le problème du calcul de pseudo-spectres mais peut servir, moyennant de faibles modifications, pour tracer les lignes de niveau de toute fonction continue f(z) : C -> R.

Styles APA, Harvard, Vancouver, ISO, etc.

Barboteu, Mikaël. « Contact, frottement et techniques de calcul parallèle ». Montpellier 2, 1999. http://www.theses.fr/1999MON20047.

Texte intégral

Résumé :

Dans ce travail, nous avons developpe une modelisation mecanique et des methodes numeriques adaptees a l'analyse du comportement de structures multicontact ou interviennent de maniere essentielle le contact et le frottement. En effet, la multiplicite des zones de contact entre les differents corps deformables de la structure a pour consequence de rendre le probleme de grande taille, severement non lineaire et tres mal conditionne. Dans un premier temps, nous avons donne une formulation continue du contact qui a abouti au niveau discret a l'implantation d'elements contact. Une etude portant sur un rideau metallique compose de lames articulees a mis en evidence les limites des methodes classiques de resolution necessitant un temps de calcul exorbitant et une place memoire considerable. Pour remedier a cela, nous avons developpe deux techniques numeriques adaptees a l'architecture parallele de la nouvelle generation d'ordinateurs : - un preconditionneur element-by-element adapte aux elements contact fut etabli pour reduire le cout souvent excessif du preconditionnement de systemes mal conditionnes de grande taille. L'avantage de cette technique caracterisee par un parallelisme a petits grains reside dans le faible niveau de stockage necessaire, tout en ayant des performances comparables, et parfois superieures aux preconditionneurs classiques. - la deuxieme strategie basee sur des techniques de decomposition de domaine a permis de developper une methode de resolution utilisant une forte granularite, et donc mieux adaptee aux machines multi-processeurs. Notre probleme de contact avec frottement est alors traite par un schema de resolution couplant une methode de newton pour lever la difficulte de la non linearite et la methode du complement de schur permettant de resoudre les problemes linearises tangents non symetriques.

Styles APA, Harvard, Vancouver, ISO, etc.

Plazolles, Bastien. « Plateforme de calcul parallèle « Design for Demise » ». Thesis, Toulouse 3, 2017. http://www.theses.fr/2017TOU30055.

Texte intégral

Résumé :

Les risques liés aux débris spatiaux sont à présent considérés comme critiques par les gouvernements et les agences spa-tiales internationales. Durant la dernière décennie les agences spatiales ont développé des logiciels pour simuler la rentrée atmosphérique des satellites et des stations orbitales afin de déterminer les risques et possibles dommages au sol. Néan-moins les outils actuels fournissent des résultats déterministes alors que les modèles employés utilisent des valeurs de paramètres qui sont mal connues. De plus les résultats obtenus dépendent fortement des hypothèses qui sont faites. Une solution pour obtenir des résultats pertinents et exploitables est de prendre en considération les incertitudes que l’on a sur les différents paramètres de la modélisation afin d’effectuer des analyses de type Monte-Carlo. Mais une telle étude est particulièrement gourmande en temps de calcul à cause du grand espace des paramètres à explorer (ce qui nécessite des centaines de milliers de simulations numériques). Dans le cadre de ces travaux de thèse nous proposons un nouveau logiciel de simulation numérique de rentrée atmosphérique de satellite, permettant de façon native de prendre en consi-dération les incertitudes sur les différents paramètres de modélisations pour effectuer des analyses statistiques. Afin de maitriser les temps de calculs cet outil tire avantage de la méthode de Taguchi pour réduire le nombre de paramètres à étudier et aussi des accélérateurs de calculs de type Graphics Processing Units (GPUs) et Intel Xeon Phi
The risk of space debris is now perceived as primordial by government and international space agencies. Since the last decade, international space agencies have developed tools to simulate the re-entry of satellites and orbital stations in order to assess casualty risk on the ground. Nevertheless , all current tools provide deterministic solutions, though models include various parameters that are not well known. Therefore, the provided results are strongly dependent on the as-sumptions made. One solution to obtain relevant and exploitable results is to include uncertainties around those parame-ters in order to perform Monte-Carlo analysis. But such a study is very time consuming due to the large parameter space to explore (that necessitate hundreds of thousands simulations). As part of this thesis work we propose a new satellite atmospheric reentry simulation to perform statistical analysis. To master computing time this tool takes advantage of Taguchi method to restrain the amount of parameter to study and also takes advantage of computing accelerators like Graphic Processing Units (GPUs) and Intel Xeon Phi

Styles APA, Harvard, Vancouver, ISO, etc.

Lorong, Philippe. « Sur une approche parallèle pour le calcul des structures : comportement sur calculateurs parallèles ». Cachan, Ecole normale supérieure, 1994. http://www.theses.fr/1994DENS0015.

Texte intégral

Résumé :

Cette thèse a pour support une méthode de décomposition de domaine ayant pour cadre le calcul des structures en quasi statique, les matériaux ayant éventuellement un comportement non linéaire. Cette méthode comporte une double originalité. Elle présente le problème à étudier comme étant un assemblage d'entités, toutes mécaniques, les sous-structures et les interfaces, et elle utilise une approche à grand incrément de temps pour construire un algorithme itératif de résolution. Les développements réalisés, dans cette thèse, portent sur une première mise en œuvre numérique et informatique dans le cadre de l'élasticité. Le premier chapitre commence par présenter l'approche dans un cadre général. Le comportement des sous-structures et des interfaces y est détaillé. L'application à l'élasticité est ensuite aborde; des éléments de convergence sont donnes dans ce cadre. Le second chapitre, outre la présentation des choix effectues lors de la mise en œuvre numérique (mise en œuvre basée sur une approche éléments finis), propose une étude du comportement itératif de la méthode en fonction de divers paramètres présents. Une comparaison, en nombre d'opérations sur des réels avec une méthode de type Crout y est donnée. Enfin, le troisième chapitre détaille l'adaptabilité informatique de l'approche sur différentes classes de calculateurs parallèles existants: des calculateurs mimd (alliant fx8 et alliant 2800, ipsc d'Intel, ncube) et un calculateur simd (connection machine cm2)

Styles APA, Harvard, Vancouver, ISO, etc.

Bergogne, Laurent. « Quelques algorithmes parallèles sur des "séquences de" pour différents modèles de calcul parallèle ». Amiens, 1999. http://www.theses.fr/1999AMIE0130.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Kla, Koué Sylvanus. « Calcul parallèle et en-ligne des fonctions arithmétiques ». Lyon 1, 1993. http://www.theses.fr/1993LYO10031.

Texte intégral

Résumé :

Dans ce travail nous etudions de nouveaux algorithmes pour calculer plus rapidement les fonctions arithmetiques sur ordinateur, d'abord lorsque les chiffres des nombres manipules circulent en parallele, ensuite lorsqu'ils circulent en serie poids forts en tete. Le premier mode de calcul etudie correspond au cas habituel ou les chiffres des nombres manipules sont disponibles au meme moment. Par l'utilisation de nouveaux systemes d'ecriture des nombres, nous arrivons a concevoir des algorithmes plus paralleles et plus adaptes a une implantation rapide sur materiel. De tels algorithmes sont etudies pour l'addition, la racine carree, l'exponentielle, le cosinus, le sinus, le logarithme et d'autres fonctions. Mais lorsque l'on travaille sur un grand nombre de chiffres il est difficile de pouvoir les faire circuler tous en meme temps. Nous etudions un deuxieme mode de calcul dans le cas ou les chiffres sont transmis en serie poids forts en tete. En representant les nombres de la meme facon que dans le premier mode de calcul nous arrivons pour toutes les fonctions a concevoir des algorithmes egalement adaptes a une implantation materielle, et qui sont caracterises par le fait que les chiffres du resultat sont calcules au fur et a mesure que les chiffres des operandes sont disponibles, ce qui permet, par un pipeline d'operations successives, d'atteindre aussi d'excellentes performances de rapidite

Styles APA, Harvard, Vancouver, ISO, etc.

Xiao, Manyu. « Optimisation multidisciplinaire avec modèles réduits et calcul parallèle ». Compiègne, 2010. http://www.theses.fr/2010COMP1894.

Texte intégral

Résumé :

La gestion des calculs (temps CPU, mémoire, interfaçage) constitue un problème majeur en optimisation multidisciplinaire (Multidisciplinary Design Optimization ou MDO), notamment en raison du coût des simulations numériques « haute fidélité » (éléments finis, volumes finis, etc. ), et du couplage entre disciplines (échanges d’informations, compatibilité des maillages, formats de fichiers). En conséquence, pour limiter le coût global du processus d'optimisation multidisciplinaire, des modèles réduits combinés avec une stratégie de calcul parallèle fournissent une solution économique et performante ; cette problématique est spécifiquement investiguée dans cette thèse. Tout d'abord, un environnement de calcul parallèle considérant simultanément algorithmes d'optimisation, modèles numériques et gestion des processeurs est analysé sur le cas d'un profil d'aile aéroélastique, démontrant la relation étroite entre choix des méthodes d'optimisation et architecture de plates-formes parallèles, et mettant en évidence l'importance de développer des modèles réduits. La suite de la thèse s'attaque donc à l'élaboration de méthodes d'approximation originales combinant les avantages respectifs des métamodèles « généralistes » et « physiques ». Plus précisément, des variantes contraintes (CPOD/CPOD2) de la méthode de décomposition aux valeurs propres ont été mises au point, et appliquées avec succès sur un cas test académique (aile d’avion), ainsi que sur une application industrielle (optimisation multiobjectif de la forme d’un conduit d’admission développé par Renault)
The management of the computational effort (CPU time, memory, interfacing) is a major issue in Multidisciplinary Design Optimization (MDO), due to the cost of the “high fidelity” numerical simulations (finite elements, finite volumes, etc. ), as well as the coupling between disciplines (exchange of information, mesh compatibility, file formats). Therefore, to decrease the overall cost of an MDO process, reduced-order models combined with parallel computing strategies constitute an economical and efficient solution. This topic is thoroughly investigated in this thesis. First, a parallel computing environment gathering optimization algorithms, numerical models and process management is analyzed for the case of an airfoil subject to fluid-structure interaction, demonstrating the close connection between the selection of optimization algorithms and the high-performance computing (HPC) platforms, and also revealing the need for reduced-order models. Consequently, the remainder of the thesis is concerned with the development of novel approximation methods combining the advantages of both “general” and “physics-based” metamodels. More precisely, constrained versions of proper orthogonal decomposition techniques (called CPOD/CPOD2) have been carried out, and successfully applied to an academic test case (the aeroelastic airfoil) and to an industrial example (the multiobjective shape optimization of an intake port developed by Renault)

Styles APA, Harvard, Vancouver, ISO, etc.

Fedak, Gilles. « XtremWeb : une plate-forme générique pour l'étude expérimentale du calcul global et pair-à-pair ». Paris 11, 2003. http://www.theses.fr/2003PA112095.

Texte intégral

Résumé :

Héritier des systèmes de calcul global (SETI@Home, distributed. Net) et des applications pair à pair (Napster, Gnuttella), le calcul global pair à pair propose l'exploitation massive des ressources vacantes au sein des réseaux et sur Internet pour l'exécution d'applications parallèles. Dans ce modèle, chaque ressource est potentiellement mise à disposition pour l'ensemble des participants. L'environnement XtremWeb est une plate-forme généraliste, sécurisée et tolérante aux défaillances pour l'exécution d'applications parallèles. Le projet poursuit deux objectifs: un environnement de calcul haute-performance, pour la production, à destination des institutions académiques ou industrielles et une plate-forme logicielle d'expérimentation et de recherche. La thèse présente un état de l'art des systèmes distribués à grande échelle, les principes fondamentaux, l'architecture, la réalisation et une évaluation de performance d'XtremWeb. L'architecture s'articule autour de trois composants : le worker qui contrôle la ressource de calcul, le client qui soumet les applications et le coordinateur qui répartit les exécutions sur les noeuds du système et assure la tolérance à la volatilité des workers et des clients. Cette plate-forme a permis de mener à bien deux études plus spécifiques sur la sécurité des ressources ainsi que l'exécution d'applications parallèles communicantes à travers MPICH-V. MPICH- V est une implémentation de la librairie MPICH tolérante à la volatilité des noeuds de calcul fondée sur un checkpoint non coordonné et le log pessimiste des messages. XtremWeb est actuellement utilisé par plusieurs collaborateurs scientifiques à travers des projets ACI, RNTL, actions spécifiques et industriels en environnement de production. Une grille de PC basée sur XtremWeb est en cours de déploiement sur le campus d'Orsay
Defined as a merge between Global Computing systems (SETI@Home, distributed. Net) and Peer-to-Peer applications (Napster, Gnuttella), Peer-to-Peer Global Computing, gathers idle computing resources, spread over Internet or LAN to execute massively parallel applications. In this model, every resource is able to compute or to request a computation from the other participants. XtremWeb is a generic, secured, fault-tolerant environment to execute parallel applications on volatile nodes. The project aims at providing a high-performance computing environment for production use and providing a soft-ware platform for research and experimentation. The thesis presents a state of the art of large scale distributed systems, the fundamental principles, architecture, realization and performances evaluation of XtremWeb. Architecture is based on three components : Worker which controls the computing node, Client which submits applications and Dispatcher which distributes executions on computing no des and insures fault tolerance of workers and clients. With this platform we made two specific studies relative to security of computing nodes and execution of parallel applications (MPICH-V). MPICH-V is an implementation of the MPICH library tolerant to the nodes volatility based on uncoordinated checkpoint and pessimistic log of the messages. XtremWeb is used by several scientific collaborators through ACI, RNTL projects and by industrial partners in a production environment. A Desk-top Grid based on XtremWeb is currently deployed within the University Paris-Sud Campus

Styles APA, Harvard, Vancouver, ISO, etc.

Karaseva, Olga. « Déformations élastiques des presses de forgeage et calcul parallèle ». Phd thesis, École Nationale Supérieure des Mines de Paris, 2005. http://pastel.archives-ouvertes.fr/pastel-00001513.

Texte intégral

Résumé :

Afin d'améliorer la précision de la simulation numérique des procédés de forgeage à froid, un modèle de raideur de presse de forgeage a été introduit dans le logiciel Forge3®. Les déformations de la structure de la presse sont le résultat combiné du système pièce-outillage-presse qui évolue pendant le procédé de forgeage puisque la géométrie de la pièce évolue aussi. Le principe des puissances virtuelles appliqué à ce système conduit aux équations fortement couplées, qui déterminent les champs de vitesses et de pressions dans la pièce forgée et les outils déformables, mais aussi six vitesses additionnelles de corps rigide représentant les déflections de la presse. La prise en compte de ce modèle dans les applications industrielles s'est avérée justifiée et efficace. La comparaison des résultats des simulations avec des données expérimentales a montré un excellent accord, validant ainsi le modèle utilisé et son implémentation dans Forge3®. La deuxième partie de ce travail concerne le calcul parallèle et plus précisément les méthodes de décomposition de domaine. En se basant sur deux méthodes "classiques", la méthode de complément de Schur et la méthode FETI, nous avons proposé une nouvelle approche hybride, a priori mieux adaptée à la formulation mixte en vitesse/pression caractéristique de Forge3®. Les aspects de pré-conditionnement et de traitement des modes rigides ont également été abordés. Les résultats obtenus lors d'une étude des performances de ces méthodes dans le cadre de Forge3® sont prometteurs.

Styles APA, Harvard, Vancouver, ISO, etc.

Goldman, Alfredo. « Impact des modèles d'exécution pour l'ordonnancement en calcul parallèle ». Phd thesis, Grenoble INPG, 1999. http://tel.archives-ouvertes.fr/tel-00004839.

Texte intégral

Résumé :

Le contexte général de ce travail est l'étude du comportement d'applications parallèles, représentées par un graphe de précédence. La programmation de telles applications dépend fortement des supports d'exécution. Nous présentons et discutons les principaux modèles d'exécution et leur influence sur les problèmes d'ordonnancement des tâches du programme parallèle. Nous étudions en détail quatre problèmes d'ordonnancement sur des modèles d'exécution où le coût de communication est pris en compte. Nous proposons une solution pour un problème à grain très fin, le problème du sac à dos, sur hypercube dans un modèle d'exécution synchrone où le coût de communication est implicite. Nous étudions l'ordonnancement de chaînes sur un modèle à gros grain de communication, le modèle BSP. Nous démontrons qu'ici la recherche d'un ordonnancement optimal est un problème NP-difficile. Nous proposons des solutions avec un compromis entre le nombre de phases de communication/synchronisation et le temps d'inactivité dans chaque processeur. Les deux derniers problèmes étudiés concernent des techniques qui permettent de réduire l'impact du coût des communications inter processeurs. La première technique considère la duplication des tâches. Nous proposons un algorithme de liste avec garantie de performance 2 pour les problèmes à petit temps de communication sur un nombre limité de processeurs. Le deuxième méthode consiste à optimiser les phases de communication en ordonnançant les transmissions de messages. La recherche de la solution optimale étant NP-difficile, nous proposons plusieurs heuristiques.

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Livres sur le sujet "Calcul parallèle"

Parrow, Joachim. Algebraic theories for name-passing calculi. Edinburgh : LFCS, Dept. of Computer Science, University of Edinburgh, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Stone, Harold S. High-performance computer architecture. Reading, Mass : Addison-Wesley Pub. Co., 1987.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Topping, B. H. V. Parallel finite element computations. Edinburgh : Saxe-Coburg Publications, 1996.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Hromkovič, Juraj. Algorithmics for hard problems : Introduction to combinatorial optimization, randomization, approximation, and heuristics, with 71 figures. 2^e éd. Berlin : Springer-Verlag, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Hanrahan, Rotan B. W. The setcube calculus of value sets : A new paradigm of parallel test generation for combinational circuits. Dublin : University College Dublin, 1996.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Russo, Pippo. Gol di rapina : Il lato oscuro del calcio globale : oligarchici, agenti monopolisti, fondi d'investimento : come l'economia parallela sta divorando l'ex gioco più bello del mondo. Firenze : Edizioni Clichy, 2014.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Miele, Vincent, et Violaine Louvet. Calcul parallèle avec R. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2068-9.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Miele, Vincent, et Violaine Louvet. Calcul Parallèle Avec R. EDP Sciences, 2021.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Big Data AppliquÉ : Stockage, IntÉgration, QualitÉ, Calcul ParallÈle et DistribuÉ. Independently Published, 2022.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Baz, El. Méthodes itératives de décomposition de domaines et communications en calcul parallèle. Hermes Sciences Publicat., 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Calcul parallèle"

Leasure, Bruce, David J. Kuck, Sergei Gorlatch, Murray Cole, Gregory R. Watson, Alain Darte, David Padua et al. « Process Calculi ». Dans Encyclopedia of Parallel Computing, 1636. Boston, MA : Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-09766-4_2424.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Back, R. J. R. « Refinement of Parallel and Reactive Programs ». Dans Program Design Calculi, 73–92. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-662-02880-3_3.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Leasure, Bruce, David J. Kuck, Sergei Gorlatch, Murray Cole, Gregory R. Watson, Alain Darte, David Padua et al. « Pi-Calculus ». Dans Encyclopedia of Parallel Computing, 1554–62. Boston, MA : Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-09766-4_202.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Violard, E., S. Genaud et G. R. Perrin. « Refinement of data parallel programs in PEI ». Dans Algorithmic Languages and Calculi, 107–31. Boston, MA : Springer US, 1997. http://dx.doi.org/10.1007/978-0-387-35264-0_5.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Steele, Guy L., Xiaowei Shen, Josep Torrellas, Mark Tuckerman, Eric J. Bohm, Laxmikant V. Kalé, Glenn Martyna et al. « Calculus of Mobile Processes ». Dans Encyclopedia of Parallel Computing, 220. Boston, MA : Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-09766-4_2258.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Emery, Michel. « Parallel transport and moving frame ». Dans Stochastic Calculus in Manifolds, 113–27. Berlin, Heidelberg : Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-75051-9_8.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Südholt, M., C. Piepenbrock, K. Obermayer et P. Pepper. « Solving Large Systems of Differential Equations in Parallel Using Covers and Skeletons ». Dans Algorithmic Languages and Calculi, 132–63. Boston, MA : Springer US, 1997. http://dx.doi.org/10.1007/978-0-387-35264-0_6.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Berkling, Klaus. « Arrays and The Lambda Calculus ». Dans Arrays, Functional Languages, and Parallel Systems, 1–17. Boston, MA : Springer US, 1991. http://dx.doi.org/10.1007/978-1-4615-4002-1_1.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Hankin, C., D. LeMétayer et D. Sands. « A calculus of gamma programs ». Dans Languages and Compilers for Parallel Computing, 342–55. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57502-2_57.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Pagani, Michele, et Paolo Tranquilli. « Parallel Reduction in Resource Lambda-Calculus ». Dans Programming Languages and Systems, 226–42. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10672-9_17.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Calcul parallèle"

Acar, Umut A., Arthur Charguéraud, Mike Rainey et Filip Sieczkowski. « Dag-calculus : a calculus for parallel computation ». Dans ICFP'16 : ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA : ACM, 2016. http://dx.doi.org/10.1145/2951913.2951946.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Prasad, K. V. S. « Themes in Broadcast Calculi ». Dans 2014 IEEE 13th International Symposium on Parallel and Distributed Computing (ISPDC). IEEE, 2014. http://dx.doi.org/10.1109/ispdc.2014.34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bandyopadhyay, Soumyendu Sekhar, Anup Kumar Halder, Piyali Chatterjee, Mita Nasipuri et Subhadip Basu. « HdK-means : Hadoop based parallel K-means clustering for big data ». Dans 2017 IEEE Calcutta Conference (CALCON). IEEE, 2017. http://dx.doi.org/10.1109/calcon.2017.8280774.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Peschanski, Frédéric. « Parallel computing with the Pi-calculus ». Dans the sixth workshop. New York, New York, USA : ACM Press, 2011. http://dx.doi.org/10.1145/1926354.1926363.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Kempe, André, et Lauri Karttunen. « Parallel replacement in finite state calculus ». Dans the 16th conference. Morristown, NJ, USA : Association for Computational Linguistics, 1996. http://dx.doi.org/10.3115/993268.993277.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Gannouni, Sofien. « A Gamma-calculus GPU-based parallel programming framework ». Dans 2015 2nd World Symposium on Web Applications and Networking (WSWAN). IEEE, 2015. http://dx.doi.org/10.1109/wswan.2015.7210299.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Pedicini, Marco, et Francesco Quaglia. « A parallel implementation for optimal lambda-calculus reduction ». Dans the 2nd ACM SIGPLAN international conference. New York, New York, USA : ACM Press, 2000. http://dx.doi.org/10.1145/351268.351270.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Zhong, Farong, Yuxi Fu et Xiaoju Dong. « Bisimulation Congruence for Asymmetric \chi ^ \ne -Calculus ». Dans 2006 Fifth International Symposium on Parallel and Distributed Computing. IEEE, 2006. http://dx.doi.org/10.1109/ispdc.2006.13.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Loulergue, F. « A calculus of functional BSP programs with projection ». Dans Proceedings 20th IEEE International Parallel & Distributed Processing Symposium. IEEE, 2006. http://dx.doi.org/10.1109/ipdps.2006.1639552.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

« Call for papers ». Dans 18th Workshop on Parallel and Distributed Simulation. IEEE, 2004. http://dx.doi.org/10.1109/pads.2004.1301302.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Calcul parallèle"

Satyanarayanan, M., et E. H. Siegel. MultiRPC : A Parallel Remote Procedure Call Mechanism. Fort Belvoir, VA : Defense Technical Information Center, décembre 1987. http://dx.doi.org/10.21236/ada188613.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Philosoph-Hadas, Sonia, Peter B. Kaufman, Shimon Meir et Abraham H. Halevy. Inhibition of the Gravitropic Shoot Bending in Stored Cut Flowers Through Control of Their Graviperception : Involvement of the Cytoskeleton and Cytosolic Calcium. United States Department of Agriculture, décembre 2005. http://dx.doi.org/10.32747/2005.7586533.bard.

Texte intégral

Résumé :

Original objectives: The basic goal of the present project was to study the mechanism involved in shoot graviperception and early transduction, in order to determine the sequence of events operating in this process. This will enable to control the entire process of gravity-induced differential growth without affecting vertical growth processes essential for development. Thus, several new postulated interactions, operating at the perception and early transduction stages of the signaling cascade leading to auxin-mediated bending, were proposed to be examined in snapdragon spikes and oat shoot pulvini, according to the following research goals: 1) Establish the role of amyloplasts as gravireceptors in shoots; 2) Investigate gravity-induced changes in the integrity of shoot actin cytoskeleton (CK); 3) Study the cellular interactions among actin CK, statoliths and cell membranes (endoplasmic reticulum - ER, plasma membrane - PM) during shoot graviperception; 4) Examine mediation of graviperception by modulations of cytosolic calcium - [Ca2+]cyt, and other second messengers (protein phosphorylation, inositol 1,4,5-trisphosphate - IP3). Revisions: 1) Model system: in addition to snapdragon (Antirrhinum majus L.) spikes and oat (Avena sativa) shoot pulvini, the model system of maize (Zea mays) primary roots was targeted to confirm a more general mechanism for graviperception. 2) Research topic: brassinolide, which were not included in the original plan, were examined for their regulatory role in gravity perception and signal transduction in roots, in relation to auxin and ethylene. Background to the topic: The negative gravitropic response of shoots is a complex multi-step process that requires the participation of various cellular components acting in succession or in parallel. Most of the long-lasting studies regarding the link between graviperception and cellular components were focused mainly on roots, and there are relatively few reports on shoot graviperception. Our previous project has successfully characterized several key events occurring during shoot bending of cut flowers and oat pulvini, including amyloplast displacement, hormonal interactions and differential growth analysis. Based on this evidence, the present project has focused on studying the initial graviperception process in flowering stems and cereal shoots. Major conclusions and achievements: 1) The actin and not the microtubule (MT) CK is involved in the graviperception of snapdragon shoots. 2) Gravisensing, exhibited by amyloplast displacement, and early transduction events (auxin redistribution) in the gravitropic response of snapdragon spikes are mediated by the acto-myosin complex. 3) MTs are involved in stem directional growth, which occurs during gravitropism of cut snapdragon spikes, but they are not necessary for the gravity-induced differential growth. 4) The role of amyloplasts as gravisensors in the shoot endodermis was demonstrated for both plant systems. 5) A gravity-induced increase in IP.

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!