Filters








7 Hits in 4.7 sec

PAFAS at work: comparing the worst-case efficiency of three buffer implementations

F. Corradini, M.R. Di Berardini, W. Vogler
Proceedings Second Asia-Pacific Conference on Quality Software  
In this paper, we use PAFAS (Process Algebra for Faster Asynchronous Systems) to compare the worst-case efficiency of three bounded-buffer implementations: Fifo, Pipe and Buff.  ...  We contrast our results with those in [1] and [5] which also aim at comparing the three implementations of the bounded buffer according to some efficiency measure.  ...  Introduction Recently, PAFAS has been proposed as a useful tool for comparing the worst-case efficiency of asynchronous systems [6, 3] .  ... 
doi:10.1109/apaqs.2001.990024 dblp:conf/apaqs/CorradiniBV01 fatcat:f74x3bu2fne45lhiiiglizzujm

A Framework for the Evaluation of Worst-Case System Efficiency [article]

Massimo Callisto De Donato Scuola di Scienze e Tecnologie, Sezione Informatica. Università di Camerino)
2011 arXiv   pre-print
We finally use fase to evaluate the efficiency of three different implementations of a bounded buffer and compare our results with previous ones obtained when the same implementations have been contrasted  ...  In this paper we present FASE (Fast Asynchronous Systems Evaluation), a tool for evaluating worst-case efficiency of asynchronous systems.  ...  A Case Study and concluding remarks In [3] , FASE has been used to evaluate the worst-case efficiency of three different implementations of a bounded buffer of capacity N + 2 whit N ∈ N + .  ... 
arXiv:1105.1370v1 fatcat:5la2ctxynzaedhxypkosok4mee

Evaluating the Efficiency of Asynchronous Systems with FASE [article]

Federico Buti, Flavio Corradini School of Science and Technology University of Camerino, Institut für Informatik Universität Augsburg)
2011 arXiv   pre-print
To show the applicability of FASE to concrete meaningful examples, we consider three implementations of a bounded buffer and use FASE to automatically evaluate their worst-case efficiency.  ...  In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems.  ...  Introduction PAFAS [6] has been proposed as a useful tool for comparing the worst-case efficiency of asynchronous systems.  ... 
arXiv:1105.1369v1 fatcat:cithjo5u3za4fcfhm6lcjy5ace

The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges [article]

Bjoern Annighoefer, Johannes Reinhart, Matthias Brunner, Bernd Schulz
2021 arXiv   pre-print
We discuss the overall feasibility and point out central challenges in the fields of runtime verification and models at runtime.  ...  The self-* properties commonly associated with the concept of autonomic computing are capabilities desirable for avionics software platforms.  ...  ACKNOWLEDGMENT This paper is based on the PAFA-ONE project (contract: 20E1921) funded by the German Federal Ministry of Economic Affairs and Energy (BMWI) in the LuFo VI-1 program. Preprint  ... 
arXiv:2103.12065v1 fatcat:6uv5pmxqojhlpfyii53q4irzra

Bisimulation on speed: worst-case efficiency

Gerald Lüttgen, Walter Vogler
2004 Information and Computation  
This paper introduces a novel (bi)simulation-based faster-than preorder which relates asynchronous processes, where the relative speeds of system components are indeterminate, with respect to their worst-case  ...  Two examples, one dealing with mail delivery and one relating two implementations of a simple storage system, testify to the practical utility of the new theory.  ...  Currently, we are adapting some of our ideas to comparing the best-case efficiency of asynchronous processes, thereby shedding some light onto what worst-case and best-case efficiency means in (bi)simulation-based  ... 
doi:10.1016/j.ic.2002.08.001 fatcat:jft4pxesp5ev7l6jm2q3ewbqj4

Re‐evaluation of potassium nitrite (E 249) and sodium nitrite (E 250) as food additives

Alicja Mortensen, Fernando Aguilar, Riccardo Crebelli, Alessandro Di Domenico, Birgit Dusemund, Maria Jose Frutos, Pierre Galtier, David Gott, Ursula Gundert‐Remy, Claude Lambré, Jean‐Charles Leblanc, Oliver Lindtner (+20 others)
2017 EFSA Journal  
The Panel assessed the endogenous formation of nitrosamines from nitrites based on the theoretical calculation of the NDMA produced upon ingestion of nitrites at the ADI and estimated a MoE > 10,000.  ...  Based on the results of a systematic review, it was not possible to clearly discern nitrosamines produced from the nitrite added at the authorised levels, from those found in the food matrix without addition  ...  (50 animals: three cases of papilloma and two cases of carcinoma) compared with controls (50 animals: one case of papilloma and no carcinomas) and exceeded historical NTP controls (all routes).  ... 
doi:10.2903/j.efsa.2017.4786 pmid:32625504 pmcid:PMC7009987 fatcat:fzcmf4smkvhszdtjdm4utx5hdq

Applicability of physicochemical data, QSARs and read‐across in Threshold of Toxicological Concern assessment

Arianna Bassan, Elena Fioravanzo, Manuela Pavan, Matteo Stocchero
2011 EFSA Supporting Publications  
EFSA reserves its rights, view and position as regards the issues addressed and the conclusions reached in the present document, without prejudice to the rights of the authors.  ...  This task has been carried out exclusively by the author(s) in the context of a contract between the European Food Safety Authority and the author(s), awarded following a tender procedure.  ...  It has to be noticed that in the case of three classes, the performance of the classification expected by chance is equal to 33%.  ... 
doi:10.2903/sp.efsa.2011.en-159 fatcat:pdg62zec7jbcdlm76bdxaa22fe