Richard Hofmann

Learn More
A method for analyzing the functional behavior and the performance of programs in distributed systems is presented. We use hybrid monitoring, a technique which combines advantages of both software monitoring and hardware monitoring. The paper contains a description of a hardware monitor and a software package (ZM4/SIMPLE) which make our concepts available(More)
This paper presents a prototyping platform for high performance communication systems together with a design methodology. Based on a formal design entry and non-functional design goals such as execution time and overall system cost, a software/hardware partitioning is generated and its performance is estimated with formal models. Valid partitionings are(More)
Computers, especially parallel and distributed systems, are highly complex. Even more complex a task is programming such systems in order to get them run correctly and efficiently. This is due to the manyfold interactions between the processes running at the same time while carrying out a common task. Monitoring is a valuable technique to analyze and(More)