The paper introduces an internet-based remote prototyping platform for accelerator applications. It gives an overview on the Xputer prototype Map-oriented Machine with Parallel Da...
Michael Herz, Thomas Hoffmann, Ulrich Nageldinger,...
Checkpointing and rollback recovery is a very effective technique to tolerate transient faults and preventive shutdowns. In the past, most of the checkpointing schemes published i...
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
This paper describes the design and implementation of an interactive walk-through of a reconstructed German stronghold, the Dillenburg. The application is currently in use at the ...
Tim Horz, Albert Pritzkau, Christof Rezk-Salama, S...