Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
The increasing complexity of hardware features for recent processors makes high performance code generation very challenging. In particular, several optimization targets have to b...
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
: This paper investigates the feasibility of employing the Software Agent technology in the highly dynamic and variable context of healthcare emergency coordination and decision-su...
Francesco De Mola, Giacomo Cabri, Nicola Muratori,...
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...
Gerd Kortuem, Christian Kray, Hans-Werner Gellerse...