Cache behavior prediction by abstract interpretation

Abstract interpretation is a technique for the static detection of dynamic properties of programs. It is semantics based, that is, it computes approximative properties of the semantics of programs. On this basis, it allows for correctness proofs of analyses. It replaces commonly used ad hoc techniques by systematic, provable ones, and it allows the automatic generation of analyzers from specifications as in the Program Analyzer Generator, PAG. In this paper, abstract interpretation is applied to the problem of predicting the cache behavior of programs. Abstract semantics of machine programs are defined which determine the contents of caches. For interprocedural analysis, existing methods are examined and a new approach that is especially tailored for the cache analysis is presented. This allows for a static classification of the cache behavior of memory references of programs. The calculated information can be used to sharpen worst case execution time estimations. It is possible to analyze instruction, data, and combined instruction/data caches for common (re)placement and write strategies. Experimental results are presented that demonstrate the applicability of the analysis

Systematic symptom screening in patients with advanced cancer treated in certified oncology centers: results of the prospective multicenter German KeSBa project

Purpose Guidelines recommend a structured symptom screening (SC) for especially advanced cancer patients (CPs). The aim of this multicenter German prospective quality assurance project KeSBa (Kennzahl Symptom- und Belastungserfassung) was to gain knowledge on SC procedures in Oncology Centers (OCs) for advanced cancer patients and a first impression on the consequences of SC. Methods The KeSBa project consisted of three phases: pilot, 3 months screening and feedback phase. Participating OCs decided to use either the Minimal Documentation System (MIDOS) or the Integrated Palliative care Outcome Scale (IPOS) and defined the cutoff values for positive screening results. Results Out of 172 certified German OCs, 40 (23%) participated in the KeSBa pilot phase, 29 (16.8%) in the 3 months screening phase using MIDOS ( n  = 18, 58.6%) or IPOS ( n  = 11, 41.3%) and in the feedback round. 25/29 performed paper-based screening (86.2%). 2.963 CPs were screened. Results were documented for 1255 (42.2%, SC +) positive and 874 (29.5%, SC–) negative screenings depending on the center´s schedules: 452 SC + CPs (28.4%) and 42 SC– CPs (2.6%) had contact to specialized palliative care or other supportive specialist teams afterwards, 458 SC + CPs (28.8%) and 605 SC– CPs (38.1%) remained in standard oncology care. In the feedback round missing resources (personal and IT) and improved communication were mentioned most often. Conclusion Routine SC is feasible in advanced CPs treated in OCs but associated with considerable workload. In 42.2% of CPs SC was classified as positive, indicating the need of further diagnostics or professional judgment. SC requires staff and IT resources.Open Access funding enabled and organized by Projekt DEAL.Friedrich-Schiller-Universität Jena (1010

Wiener klinischen Wochenschrift ; Nr. 30 u. 31. ; 1902 / Ueber Störungen des musikalischen Gehörs

von Docenten Dr. Ferdinand Al

Wiener klinischen Rundschau ; Nr. 2 ; 1904 / Fremdkörper im Mittelohre

von Doz. Dr. Ferdinand Al

Wiener klinischen Wochenschrift ; Nr. 19 ; 1904 / Operative Eingriffe in der hinteren Schädelgruppe

von Dozenten Dr. Ferdinand Al

Neuritis des Hörnerven nach Intoxikation mit Kohlenoxydgas

n/

Wiener Medizinischen Presse ; Nr. 51 ; 1899 / Dr. Ferdinand Alt demonstrirt zwei Patienten der Klinik Politzer, einen 20jährigen Hilfsarbeiter und einen 23jährigen Bäcker, bei welchen im Verlaufe einer seit Kindheit bestehenden chronischen eitrigen Mittelohrentzündung und eine eitrige Thrombose des Sinus transversus auftrat : Sitzung vom 23. November 1898 Mittheilungen des Wiener medicinischen Clubs

Dr. Ferdinand Al