Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
Abstract: Die im folgenden vorgestellte Diplomarbeit legt den theoretischen Rahmen f¨ur die verteilte Paarprogrammierung als Weiterentwicklung der klassischen Paarprogrammierung u...
Riad Djemili, Christopher Oezbek, Stephan Salinger
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...