Vignette d'image

Kropf, Peter

Nom
Kropf, Peter
Affiliation principale
Fonction
Professeur.e ordinaire
Email
peter.kropf@unine.ch
Identifiants
https://libra.unine.ch/handle/123456789/221
_
0000-0001-6187-1510

Résultat de la recherche

Filtres

7
52
Réinitialiser les filtres

Paramètres

Voici les éléments 1 - 7 sur 7
  • Publication
    Métadonnées seulement
    Anästhesie Simulation auf einem Parallelrechner mit SystemSpecs
    (: Springer, 1992)
    Kropf, Peter 
    ;
    Boillat, J. E.
    ;
    Schwab, Peter
    SystemSpecs[2, 1] ist ein Programm — Entwicklungswerkzeug, das sich besonders zur Spezifikation von komplexen Systemen eignet. Die formale Basis von SystemSpecs bilden dabei Petri Netze höherer Ordnung, Petri Netze sind Graphen, auf denen sogenannte Marken bewegt werden, und so die zeitliche Abfolge der Zustände des Systems beschreiben. Die mathematische Grundlage dieser Netze gestattet es, mit analytischen Methoden mögliche Probleme, z.B deadlocks, zu erkennen und gewünschte Eigenschaften nachzuweisen. Die grundlegenden Konstrukte eines parallelen Systems, wie Sie in occam etwa durch die SEQ, PAR und ALT Anweisungen gegeben sind, haben dabei einfache intuitive Darstellungen.
  • Publication
    Métadonnées seulement
  • Publication
    Métadonnées seulement
    Parallel computing in the 1990s - Attacking the software problem
    (1991-1-22)
    Boillat, J. E.
    ;
    Burkhart, H.
    ;
    Decker, K. M.
    ;
    Kropf, Peter 
    It is today's general wisdom that the productive use of parallel architectures depends crucially on the availability of powerful development tools and run-time environments. In this paper, we systematically discuss the fundamental software problems encountered in programming parallel architectures, in particular those with distributed resources. All these problems need to be solved, if efficient and convenient use of parallel machines is to be guaranteed. We present a five phases model of parallel application program development, which describes the required efforts in parallel programming by means of four transformation steps: problem analysis, algorithm design, implementation, and mapping. The major part of the paper is dedicated to the description of three research projects which focus on the last three transformation steps: SKELETON, a tool for providing improved algorithmic support for the application-oriented programmer, SPADE, an integrated development and run-time environment. and MARC, a tool for automatic mapping of parallel programs.
  • Publication
    Métadonnées seulement
    MARC: A Tool for Automatic Configuration of Parallel Programs
    (: IOS Press International, 1991)
    Kropf, Peter 
    ;
    Boillat, J. E.
    ;
    Iselin, N
    The successful use of parallel architectures depends heavily on suitable development tools and runtime environments. The MARC environment has been developed to provide the user of parallel distributed memory machines with tools for the efficient use of such architectures. The MARC system analyses the structure of parallel programs and the structure of the available parallel architecture in order to produce a load balanced and communication optimized executable program. It includes a new method for load balancing and communication optimized process distribution onto arbitrary (network) topologies as well as efficient and secure routing strategies. A sophisticated performance analyser provides the system with the necessary load and communication cost information. MARC, which is realized so far for the language occam and Transputer networks, aims towards a true distributed operating system and development environment for parallel (MIMD) architectures.
  • Publication
    Métadonnées seulement
    A Fast Distributed Mapping Algorithm
    (: Springer, 1990)
    Kropf, Peter 
    ;
    Boillat, J. E.
    Generating an efficient program for a parallel computer requires that the distribution of the processes on the processors comprising the parallel computer is most optimal. This paper presents a new method for a load balanced and communication optimized process distribution onto an arbitrary processor (network) topology. As opposed to many other approaches for this problem, the presented algorithm is fully distributed and based on a purely local method. It has shown to be much faster compared to the classical methods like simulated annealing, heuristic search, etc.
  • Publication
    Métadonnées seulement
    Communication protocols and concurrency: an Occam implementation of X.25
    (: IEEE, 1988)
    Kropf, Peter 
    ;
    Goode, Paul
    ;
    Bärtschi, D.
    ;
    Spichiger, Andreas
    ;
    Boillat, J. E.
    Experience with the use of the current software and hardware offerings is presented and discussed in relation to practical implementation of the CCITT recommendation X-25. An implementation of X.25 is made using the concurrent programming language Occam and its associated hardware, the transputer. Their suitability in such an application is investigated. In particular, the simplicity of software design of communication systems based on concurrent implementation methods is reported. The implementation and its consequences are discussed, and conclusions regarding this approach are drawn.
  • Publication
    Métadonnées seulement
    An analysis and reconfiguration tool for mapping parallel programs onto Transputer Networks
    (: IOS Press International, 1988)
    Kropf, Peter 
    ;
    Boillat, J. E.
    ;
    Wespi, Andreas
    ;
    Meier, Daniel