A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems
[chapter]
Formal Techniques for Networked and Distributed Systems
Preserved Fulltext
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2013
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2013
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Studies in Classification, Data Analysis, and Knowledge Organization
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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