物件導向軟體之架構(Object-Oriented Software Construction)探討

Parallel Numerical Linear Algebra

The problem of checking the correctness of distributed computations arises when debugging distributed algorithms, and more generally when testing protocols or distributed applications. For that purpose, one describes the expected behavior (or suspected errors) by a global property: for example, a predicate on process variables, or the set of admissible orderings on observable events. The problem is to check whether this property is satisfied or not during the execution. A relevant model for this study is the partial order of message causality and the associated state graph, called "lattice of consistence cuts". In this paper, we propose a general approach to trace checking, based on partial order theory

A general approach to trace-cheking in distributed computing systems

We propose an object-oriented design which enables very good code reuse for both sequential and parallel linear algebra applications. A linear algebra class library called LAKe is implemented using our design method. We introduce a new reuse mechanism called matrix shape which enables us to derive the implementation of both the sequential and the parallel version of the iterative methods of Linear Algebra Kernels (LAKe). We show that polymorphism is insufficient to achieve our goal and that both genericity and polymorphism are needed. We propose a new design pattern as a part of the solution. Some numerical experiments validate our approach and show that efficiency is not sacrificed.

A key for reusable parallel linear algebra software

Le concept d'informatique ambiante propose une vision dans laquelle les etres humains sont continuellement entoures d'une myriade d'equipements numeriques susceptibles d'interagir les uns avec les autres, et bien sur avec les utilisateurs eux-memes. Deployer et supporter des services complexes dans un environnement d'informatique ambiante souleve cependant quelques defis majeurs. Ainsi, la grande heterogeneite des equipements susceptibles d'heberger ces services rend difficile la conception d'applications logicielles pouvant fonctionner sur une grande variete de plates-formes, et capables de s'adapter le cas echeant aux caracteristiques changeantes de ces plates-formes. D'autre part, assurer la communication et la coordination entre des services s'executant sur des equipements distincts n'est pas chose aisee lorsque tout ou partie de ces equipements sont mobiles, et ne peuvent s'appuyer pour interagir sur une infrastructure de communication fixe, stable, et performante. Les travaux presentes proposent des elements de reponse aux problemes evoques ci-dessus. Ces travaux se declinent selon trois axes : * La conception de methodes et outils de type intergiciel permettant de doter des composants logiciels de la capacite de percevoir leur environnement d'execution (vu comme un ensemble de ressources tant materielles que logicielles), afin que ces composants puissent adapter dynamiquement leur comportement en fonction des caracteristiques de cet environnement, en negociant le cas echeant avec la plate-forme d'execution qui les heberge l'acces aux ressources necessaires a leur bon fonctionnement. * Le support de la communication dans un environnement constitue de terminaux mobiles assembles en reseau ad hoc (MANET) discontinu, en l'absence de connectivite de bout en bout au sein de ce reseau. Dans ce cas precis la connectivite reseau est elle-meme percue comme une ressource particuliere dont la disponibilite fluctuante est toleree via la mise en ouvre d'un protocole reposant sur le principe de la communication opportuniste. * Une reflexion enfin sur la nature et les caracteristiques majeures des services applicatifs susceptibles d'etre deployes sur des equipements mobiles assembles en MANET discontinu. Cette reflexion est illustree a travers quelques exemples concrets.

https://tel.archives-ouvertes.fr/tel-00340426/document

Déploiement et support à l'exécution de services communicants dans les environnements d'informatique ambiante

Les methodes et les environnements de programmation adaptes aux machines mono-processeur traditionnelles s'averent inutilisables avec les machines paralleles a memoire distribuee, car ils ne permettent pas d'en maitriser le parallelisme. A ce jour, l'utilisation de ces machines demeure donc tres limitee, car les programmeurs sont en general assez reticents a l'idee de devoir y porter manuellement leurs applications. De nombreuses recherches actuelles visent a simplifier le developpement des applications paralleles pour ce type de machine. Le travail effectue au cours de cette these s'inscrit dans le cadre du developpement et de l'experimentation de l'environnement epee (environnement parallele d'execution de eiffel). Epee constitue un cadre conceptuel pour la conception et la mise en uvre de composants logiciels paralleles reutilisables a l'aide des mecanismes de la programmation par objets. Nous avons caracterise les objets pouvant etre distribues et exploites en parallele dans l'environnement epee, et propose des schemas conceptuels permettant de developper de tels objets en insistant sur les points cles mis en avant dans les techniques modernes de genie logiciel, a savoir la maitrise de la complexite (resolue par la modularisation, l'encapsulation, l'heritage), la maintenabilite corrective et evolutive, et la reutilisabilite. Nous avons ensuite applique ces schemas conceptuels pour developper une bibliotheque parallele de demonstration. Cette bibliotheque experimentale, baptisee paladin, est dediee au calcul d'algebre lineaire sur machines paralleles a memoire distribuee. Elle est en outre extensible, d'un emploi aise, performante et portable. Ces caracteristiques confirment la viabilite de l'approche consistant a utiliser les mecanismes de la programmation par objets pour construire des bibliotheques pour machines paralleles

/pdf/un-cadre-conceptuel-pour-la-programmation-par-objets-des-3f6mc696pl.pdf

Un cadre conceptuel pour la programmation par objets des architectures parallèles distribuées : application à l'algèbre linéaire

Handle everyday research tasks with reliable, citation-backed results

Your personal Research Agent to handle research tasks with citation-backed results

Popular Tasks used by Researchers

How can I help with your research?

Meet SciSpace

Get more enhanced response by uploading the PDFs you want me to reference.

No relevant PDFs in your library

SciSpace is the AI research assistant for academics. Run systematic literature reviews on 280M+ papers, and write papers with cited sources. Trusted by 1M+ students, PhDs & researchers.

SciSpace | AI for Research

Analyze PDFs

Code & Manuscripts

Funding & Grants

Literature & Patents

Medical & Clinical Data

Systematic Review

Visualize & Present

Web & Data

Build a Google Scholar-like website for your research.

Build a website

Create charts and images for your research

Create a Chart

Write a paper for submission to a journal

Draft a manuscript

Patent Search

Design eye-catching scientific posters in minutes.

Scientific Poster Generation

Systematic Literature Review

One task is running at the moment. Your messages will be shown right after.

Drag and drop or click here to browse

Loved by <highlight>1 million+</highlight> researchers

Extract a list of specific topics and their sources from unstructured text

Topics

Compare and analyze relevant papers that matches with your search

Papers

Get insights from PDFs and bookmarked papers from your library

My library

Recent searches

Try searching for:

Catch AI-generated content in scholarly and non-scholarly content

{ai} Detector

Ai Writer

Get PDF Summaries, highlighted text explanations 

Chat with PDF

Effortlessly create in-text citations and bibliographies in APA and 2,500 other formats

Citation generator

Get explanations, summaries, and answers on academic papers

Ease up your research workflow with {scispace}'s cohort of exciting AI tools

Elevate your academic writing skills and convey your ideas the way you want

Paraphraser

Explore our range of reading and writing tools

Your file is being prepared and should be ready in a few minutes. If it's a large file, it might take a bit longer. You can close this window, and we'll email you the file when it's done.

You have reached a maximum limit of <strong>{limit}</strong> columns in the table. Remove at least <strong>1</strong> column to add or create another one.

Frédéric Guidec

Author Tools

Chat about Author

Papers

Un cadre conceptuel pour la programmation par objets des architectures parallèles distribuées : application à l'algèbre linéaire