Filters








7 Hits in 4.2 sec

PAMR: A Process Algebra for the Management of Resources in Concurrent Systems [chapter]

Manuel Núñez, Ismael Rodríguez
Formal Techniques for Networked and Distributed Systems  
In this paper we present a process algebra for the management of resources in concurrent systems.  ...  Systems will be defined as the parallel composition of a set of processes. We will study some examples applying the features of PAMR.  ...  We would also like to thank the referees of [12] for pointing out some interesting directions which have been reflected in this paper.  ... 
doi:10.1007/0-306-47003-9_11 fatcat:yxyrcdzgn5ghjhdw6edjuov4vi

Encoding PAMR into (Timed) EFSMs [chapter]

Manuel Núñez, Ismael Rodríguez
2002 Lecture Notes in Computer Science  
In this paper we show how the formal framework introduced in PAMR (Process Algebra for the Management of Resources) can be included into a notion of Extended Finite State Machines (in short EFSM).  ...  First, we give the definition of process. Following the lines of PAMR, a process consists not only of information about its behavior but also of information about the preference for resources.  ...  We would like to thank Alex Petrenko for useful discussions on conformance testing relations and in the application of these relations to PAMR.  ... 
doi:10.1007/3-540-36135-9_1 fatcat:klmfxfzoanezhjm7iaaucmsuby

D8.2: Refactoring and Algorithm Re-engineering Guides and Reports

Claudio Gheller
2013 Zenodo  
The present document provides a snapshot of the contents of the PRACE-2IP work package 8 (hereafter WP8) web site (http://prace2ip-wp8.hpcforge.org) at the time of submission.  ...  In the second part, the status of the code refactoring work carried out in WP8 is presented.  ...  The work made in the WP8 is part of a continuous integration of ABINIT through a Concurrent Version System (using a Bazaar server) accessible by every developer.  ... 
doi:10.5281/zenodo.6572387 fatcat:kpgvqclewbcuvnn25rrpd7wih4

D8.3: Re-integration into Community Codes

Claudio Gheller
2013 Zenodo  
The main focus of WP8 was the re-design and refactoring of a number of selected codes for scientific numerical applications, in order to effectively run on coming generations of supercomputing architectures  ...  A further major outcome of this methodology was the promotion of a "culture" in high performance computing awareness among community software developers, consolidating their knowledge base to face the  ...  We gain a lot of flexibility in terms of code management for the price of some loss in code readability.  ... 
doi:10.5281/zenodo.6572421 fatcat:z6yjehkxrjdvnptuodtehjb6v4

D8.4.2: Final Refactoring Report

Claudio Gheller
2014 Zenodo  
The main outcomes of the overall WP8 work are discussed and best practices for the development of scientific numerical applications on HPC systems are presented.  ...  This document presents the main achievements of the extension of Work Package 8 'Community Code Scaling', which focuses on the re-design and refactoring of a number of codes for scientific numerical applications  ...  Results As Fluidity-ICOM already uses PETSc for solving sparse linear systems, it is a natural progression to use DMPlex, a subclass of PETSc data management (DM) object, which allows the user to handle  ... 
doi:10.5281/zenodo.6572435 fatcat:2zxmz27swjebvf77uimfdn2tim

D8.4.1: Plan for the further Refactoring of Selected Community Codes

Claudio Gheller
2013 Zenodo  
We will give a short introduction to each of the codes, summarizing the main accomplishment in the framework of WP8 and describing the targets for the extension together with the details of the related  ...  A subset of codes originally in WP8 that promise further improvements will take part to the extension. Thirteen codes were selected according to the proposed objectives and the available resources.  ...  EAF-PAMR Overview One of the main objectives for WP8 was the creation of a grid based hydrodynamical threedimensional code that would make use of the most recent advances in computation technologies,  ... 
doi:10.5281/zenodo.6572431 fatcat:5g6nafkizremdpnyxph25suih4

Functional Data Analysis for Optimizing Strategies of Cash-Flow Management [chapter]

Francesca Di Salvo, Marcello Chiodi, Pietro Patricola
2017 Studies in Classification, Data Analysis, and Knowledge Organization  
Using clinical decision support system Physicians can improve their diagnosis and decision making assisted and it could be efficient and cost effective management of medical resources and surveillance  ...  a model, of the additional variability due to the imputation process.  ...  G C objectively ranks different algorithms for the same data processing task based on the bit rate of their respective capacities.  ... 
doi:10.1007/978-3-319-55723-6_17 fatcat:kbfhsu5km5hc7d7bs6yljeusia