This paper presents advanced virtualization techniques used to implement the virtual PC FAUmachine. We created a just-in-time compiler that can transform kernel mode code into code suitable for direct execution within a user mode simulator. This approach allows the efficient virtualization of standard PC hardware. To improve the performance of our simulator, we developed a small host kernel mod...

We present and analyze several implementations of the interval arithmetic narrowing function for multiplication. Starting from the Cleary algorithm for narrowing multiplication we describe two optimizations which produce code that is 10-15 times faster on the average. Finally, we propose a few simple RISC instructions which would allow eecient execution of interval arithmetic and narrowing rout...

A Heisenbug is a computer bug that disappears or alters its characteristics when we try to apply standard debugging techniques to catch the error. One example is a bug that occurs in a program compiled for optimized execution (non-debugging mode), but not in the same program compiled to run under debugmode. Executing program in debug-mode often cleans memory before the program starts, and can e...

Activation of motor-related areas has consistently been found during various motor imagery tasks and is regarded as the central mechanism generating motor imagery. However, the extent to which motor execution and imagery share neural substrates remains controversial. We examined brain activity during preparation for and execution of physical or mental finger tapping. During a functional magneti...

This article provides some insight in the runtime behavior of asynchronous methods for parallel molecular dynamics simulations that we recently introduced. From this, the advantages of the asynchronous mode of operation becomes very obvious, i.e. the abilities to hide message passing latencies, to reduce network congestion and to level out processing power and/or load fluctuations. The conclusi...

Resource constraints are a major concern with the design, development, and deployment of embedded systems. Embedded systems are highly hardware-dependent and have little computational power. Mobile embedded systems are further constrained by their limited battery capacity. Many of these systems are still programmed in assembly language because there is a lack of efficient programming environmen...

The Integration Rules (IRules) project has developed an environment in which active rules, known as integration rules, are used together with transactions to provide an event-driven, rule-based approach to the integration of black-box components. This paper presents the event processing system that supports the use of integration rules over components. The event processing system is composed of...

Process models represent process specifications. They contain workflows that require execution, in order to achieve business objectives and support business operation effectively. With the advent of Subject-oriented and Social Business Process Management, communication and stakeholder interaction have become major perspectives on how to design and implement processes. Since such a perspective d...