Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis

The increasing demands for highly performant, proven correct, easily maintainable, extensible programs together with the continuous growth of real-world programs strengthen the pressure for powerful and scalable program analyses for program development and code generation. Multi-core computing systems offer new chances for enhancing the scalability of program analyses, if the additional computing power offered by these systems can be used effectively. This, however, poses new challenges on the analysis side. In principle, it requires program analyses which can be easily parallelized and mapped to multi-core architectures. In this paper we remind to reverse data-flow analysis, which has been introduced and investigated in the context of demand-driven data-flow analysis, as one such class of program analyses which is particularly suitable for this

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis

TuBound is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of TuBound is the seamless integration of a WCET analysis component and of a compiler in a uniform tool. TuBound enables the programmer to provide hints improving the precision of the WCET computation on the high-level program source code, while preserving the advantages of using an optimizing compiler and the accuracy of a WCET analysis performed on the low-level machine code. This way, TuBound ideally serves the needs of both the programmer and the WCET analysis by providing them the interface on the very abstraction level that is most appropriate and convenient to them. In this paper we present the system architecture of TuBound, discuss the internal work-flow of the tool, and report on first measurements using benchmarks from Maelardalen University. TuBound took also part in the WCET Tool Challenge 2008

05101 Abstracts Collection -- Scheduling for Parallel Architectures: Theory, Applications, Challenges

From 06.03.05 to 11.03.05, the Dagstuhl Seminar 05101 ``Scheduling for Parallel Architectures: Theory, Applications, Challenges\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general

WCET Analysis: The Annotation Language Challenge

Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisfy hard real-time constraints. The expressiveness and usability of annotation languages, which are used by algorithms and tools for WCET analysis in order to separate feasible from infeasible program paths, have a crucial impact on the precision and performance of these algorithms and tools. In this paper, we thus propose to complement the WCET tool challenge, which has recently successfully been launched, by a second closely related challenge: the WCET annotation language challenge. We believe that contributions towards mastering this challenge will be essential for the next major step of advancing the field of WCET analysis

Разработка методики проведения in-vivo термометрии сеансов локальной гипертермии в рамках комбинированного лечения пациентов со злокачественными новообразованиями полости носа и придаточных пазух.

В работе выполнена разработка методики in-vivo термометрии сеансов локальной гипертермии для пациентов со злокачественными новообразования полости носа и придаточных пазух. Показано влияние различных факторов на уровень нагрева опухоли во время сеансов гипертермии.In this work, the method was developed for the in-vivo thermometry of sessions of local hyperthermia for patients with malignant tumors of the nasal cavity and paranasal sinuses. The influence of various factors on the level of tumor heating during the sessions of hyperthermia is shown

Dynamic Power Management for Reactive Stream Processing on the SCC Tiled Architecture

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.Dynamic voltage and frequency scaling} (DVFS) is a means to adjust the computing capacity and power consumption of computing systems to the application demands. DVFS is generally useful to provide a compromise between computing demands and power consumption, especially in the areas of resource-constrained computing systems. Many modern processors support some form of DVFS. In this article we focus on the development of an execution framework that provides light-weight DVFS support for reactive stream-processing systems (RSPS). RSPS are a common form of embedded control systems, operating in direct response to inputs from their environment. At the execution framework we focus on support for many-core scheduling for parallel execution of concurrent programs. We provide a DVFS strategy for RSPS that is simple and lightweight, to be used for dynamic adaptation of the power consumption at runtime. The simplicity of the DVFS strategy became possible by sole focus on the application domain of RSPS. The presented DVFS strategy does not require specific assumptions about the message arrival rate or the underlying scheduling method. While DVFS is a very active field, in contrast to most existing research, our approach works also for platforms like many-core processors, where the power settings typically cannot be controlled individually for each computational unit. We also support dynamic scheduling with variable workload. While many research results are provided with simulators, in our approach we present a parallel execution framework with experiments conducted on real hardware, using the SCC many-core processor. The results of our experimental evaluation confirm that our simple DVFS strategy provides potential for significant energy saving on RSPS.Peer reviewe

Lung transplantation after allogeneic stem cell transplantation : a pan-European experience

Late-onset noninfectious pulmonary complications (LONIPCs) affect 6% of allogeneic stem cell transplantation (SCT) recipients within 5 years, conferring subsequent 5-year survival of 50%. Lung transplantation is rarely performed in this setting due to concomitant extrapulmonary morbidity, excessive immunosuppression and concerns about recurring malignancy being considered contraindications. This study assesses survival in highly selected patients undergoing lung transplantation for LONIPCs after SCT. SCT patients undergoing lung transplantation at 20 European centres between 1996 and 2014 were included. Clinical data pre- and post-lung transplantation were reviewed. Propensity score-matched controls were generated from the Eurotransplant and Scandiatransplant registries. Kaplan-Meier survival analysis and Cox proportional hazard regression models evaluating predictors of graft loss were performed. Graft survival at 1, 3 and 5 years of 84%, 72% and 67%, respectively, among the 105 SCT patients proved comparable to controls (p=0.75). Sepsis accounted for 15 out of 37 deaths (41%), with prior mechanical ventilation (HR 6.9, 95% CI 1.0-46.7; p Lung transplantation outcomes following SCT were comparable to other end-stage diseases. Lung transplantation should be considered feasible in selected candidates. No SCT-specific factors influencing outcome were identified within this carefully selected patient cohort.Peer reviewe