Publications by Alena Simalatsar

Near-optimal Deployment of Dataflow Applications on Many-core Platforms with Real-time Guarantees

Safe and optimal deployment of data-streaming applications on many-core platforms requires the realistic estimation of task Worst-Case Execution Time (WCET). On the other hand, task WCET depends on the deployment solution, due to the varying number of inte ...

IEEE2017

Safe and Efficient Deployment of Data-Parallelisable Applications on Many-Core Platforms: Theory and Practice

Giovanni De Micheli, Federico Angiolini, Alena Simalatsar, Stefanos Skalistis

The safe and, at the same time, efficient deployment of parallelisable applications on many-core platforms is a challenging task. Theoretical Models of Computation (MoC) require the realistic estimation of task Worst-Case Execution Time (WCET ...

2017

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Simon Bliudze, Alena Simalatsar, Alina Zolotukhina

The major research in the resource management literature focuses primarily on two complementary sub-problems: (1) specification languages for formulating resource requests and (2) constraint problems modelling allocation and scheduling. Both directions ass ...

Springer International Publishing2017

Cascaded PID controller for anaesthesia delivery

Monia Guidi, Alena Simalatsar

The technologies for continuous measurement of the anaesthetic agents circulating in body fluids are not mature yet, though some preliminary prototypes exist already. We present a control algorithm that based on the real measurement of propofol plasma conc ...

2016

Assessment of Image Quality vs. Computation Cost for Different Parameterizations of Ultrasound Imaging Pipelines

Jean-Philippe Thiran, Giovanni De Micheli, Federico Angiolini, Marcel Arditi, Alena Simalatsar, Stefanos Skalistis, Aya Mohamed Naguib Ahmed Ibrahim

Ultrasound imaging is a technique widely used in medicine to visualize organs and other body structures, capturing their position, size, morphology and any pathological lesions. Its use is unfortunately limited to specialized centers with trained personnel ...

2015

Modeling of Reconfigurable Medical Ultrasonic Applications in BIP

Alena Simalatsar, Stefanos Skalistis

Medical ultrasonic imaging applications require high quality of images produced in real-time often with limited resources available. Deadlock-freedom and confluency must be guaranteed to ensure the correctness of the applications, while feasibility and opt ...

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2014

Safe Implementation of Embedded Software for a Portable Device Supporting Drug Administration

Giovanni De Micheli, Yann Thoma, Alena Simalatsar, Wenqi You Dubout

Poor adherence to medical regimen causes approximately 33% to 69% of medication-related hospitalizations and accounts for $100 billion in annual health care costs. In this paper we address the problem of unintentional non adherence, when patient fails to t ...

IEEE2014

Representation of Medical Guidelines with a Computer Interpretable Model

Giovanni De Micheli, Alena Simalatsar, Wenqi You Dubout

Nowadays medical software is tightly coupled with medical devices that perform patient state monitoring and lately even some basic treatment procedures. Medical guidelines (GLs) can be seen as specification of a medical system which requires their computer ...

World Scientific Publ Co Pte Ltd2014

Personalized Drug Administrations Using Support Vector Machine

Giovanni De Micheli, Alena Simalatsar, Wenqi You Dubout

The decision-making process regarding drug dose, regularly used in everyday medical practice, is critical to patients’ health and recovery. It is a challenging process, especially for a drug with narrow therapeutic ranges, in which a medical doctor decides ...

2013

Parameterized SVM for Personalized Drug Concentration Prediction

Giovanni De Micheli, Alena Simalatsar, Wenqi You Dubout

This paper proposes a parameterized Support Vector Machine (ParaSVM) approach for modeling the Drug Concentration to Time (DCT) curves. It combines the merits of Support Vector Machine (SVM) algorithm that considers various patient features and an analytic ...

2013