Search

Deriving WCET estimates for software programs with probabilistic means (a.k.a. pWCET estimation) has received significant attention during last years as a way to deal with the increased complexity of the processors used in real-time systems. Many works build on Extreme Value Theory (EVT) that is fed with a sample of the collected data (execution times). In its application, EVT carries two sources of uncertainty: the first one that is intrinsic to the EVT model and relates to determining the subset of the sample that belongs to the (upper) tail, and hence, is actually used by EVT for prediction; and the second one that is induced by the sampling process and hence is inherent to all sample-based methods. In this work, we show that Markov’s inequality can be used to obtain provable trustworthy probabilistic bounds to the tail of a distribution without incurring any model-intrinsic uncertainty. Yet, it produces pessimistic estimates that we shave substantially by proposing the use of a power-of-k function instead of the default identity function used by Markov’s inequality. Lastly, we propose a method to deal with sampling uncertainty for Markov’s inequality that consistently improves EVT estimates on synthetic and real data obtained from a railway application., LIPIcs, Vol. 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), pages 20:1-20:24

Treballs Finals de Grau d'Enginyeria Informàtica, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2017, Director: Laura Igual Muñoz, [en] This work is part of a project which consists on the development of the web “Guía de consenso para el uso de medicamentos en de insuficiencia renal”. The goal of this web is to let their users search for relevant information of a set of medicines. For each active principle, users can read their descriptions and usage recommendations depending on the glomerular filtration rate of the patient. These descriptions and recommendations were written by a team of practical pharmacy from Faculty of Pharmacy of Universitat de Barcelona. This information has to be able to be updated in any moment. The main goal of this project is to let the administrator manage a database of active principles. The web application allow the administrator to do the following database operations: to add, edit and delete an active principle and to add, edit and remove a recommendation to or from any active principle. This paper analyzes and designs the development of a CRUD which fulfills the database requirements of the web administrator. Also, it is explained the technology which has been used and the solution of each operation of the CRUD.