Prolog spends about 50% of its execution time in unification. It is therefore worthwhile to investigate improvements to unification. The propagation of read-write mode in WAM is a candidate for improvement. We present a new translation scheme to deal with it. The scheme has the following advantages: there is no code explosion; for right sided structures the usual form lists take in Prolog progr...

Most hard real-time computer systems control processes that undergo several, mutually exclusive modes of operation. This paper discusses issues of handling mode changes and requirements for their application. Speci cation of mode changes, construction of static schedules for modes and transitions, and run-time execution of mode changes are presented. We propose concepts for mode changes in the ...

The Integration Rules (IRules) Project provides an active, rule-based approach for supporting eventdriven activity in applications involving distributed software component integration. This paper presents the execution model, transaction model, and integration rule execution algorithm of the IRules environment. The paper begins with an overview of the IRules language framework to establish the ...

In this paper we introduce a methodology for the analysis of the paging activity of parallel programs running on massively parallel systems. The methodology includes parallel program monitoring and the analysis of the collected data. We study the correlation of the paging activities of individual node programs in the SPMD execution mode and its effect on scheduling.

Human task performance varies over time, depending on the personal characteristics of the human, the task and the environment. High effectiveness and efficiency levels are of particular importance when tasks of an organisation are demanding and consequences of performance impairment are high. Furthermore, as a longer term aim, the human should remain healthy during the processes of task executi...

The successful execution of any contact task fundamentally requires the application of wrenches (forces and moments) consistent with the task. We develop an algorithm for computing the entire set of wrenches consistent with achieving a given augmented contact mode (e.g., sliding at contact 1, rolling at contact 2, and approaching potential contact 3) for one fixed and one moving part in the plane.

This paper proposes a declarative approach to multi-mode heterogeneous DSLs based on term rewriting. The paper presents a data model and algorithm for processing syntax structures. It has been validated by an implementation that supports a range of languages. The paper includes an example language that supports both game construction and execution.

A database management system (DBMS) performs query optimization based on statistical information about data in the underlying database. Out-of-date statistics may lead to inefficient query processing in the system. The existing utility method, which collects statistics in batch mode, suffers from drawbacks such as heavy administrative burden, high system load and tardy updates. In this paper, w...

In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, we combine the native speed of an abstract real-time operating system (RTOS) model in SystemC with dynamic binary translation for fast Instruction Set Simulation (ISS) by QEMU. In order to support stepwise RTOS software refinement from system level to...

In this paper we introduce a software system which allows to carry out and visualize computational experiments for studying and researching the parallel algorithms of solving complicated computational problems in imitation mode on one single sequential computer. User can “assemble” a parallel computational system of cluster type that consists of multiprocessor and multicore nodes connected with...