By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
Out-of-core applications consume physical resources at a rapid rate, causing interactive applications sharing the same machine to exhibit poor response times. This behavior is the...
So far, performance measures for real time systems did not receive much attention. An assessment of the few existing benchmarking methods for real time systems will reveal that the...
Wolfgang A. Halang, Roman Gumzej, Matjaz Colnaric,...
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...