This paper presents the EaSys language, which can be used to model and design digital systems. It is an extension to the C++ object-oriented language, implemented through a class library, which adds to the base language a set of useful abstractions and mechanisms for hardware modelling. To write, compile and debug a system model written in EaSys, only standard C++ development tools are needed. ...

Security concerned users and organizations must be provided with the means to protect and control access to object-oriented software, especially with an exploding interest in designing/developing object-oriented software in Java, C++, and Ada95. Our user-role based security (URBS) approach has emphasized: a customizable public interface that appears di erently at di erent times for speci c user...

Reuse in the context of scientific simulation applications has mostly taken the form of procedural or object-oriented libraries. End users of such systems are however often non software experts needing very simple, possibly interactive ways to build applications from domain-specific components and to control their parameters. Integrating independently written (existing or new) code as component...

In this paper we take up Bayesian inference for the consumption capital asset pricing model. The model has several econometric complications. First, it implies exact relationships between asset returns and the endowment growth rate that will be rejected by all possible realizations. Second, it was thought before that it is not possible to express asset returns in closed form. We show that Labad...

EEcient task migration is an important feature in parallel and distributed programs, in particular to support checkpointing and recovery for fault tolerance. It is also very useful in distributed environments like networks of workstations where external loads are often unpredictable and dynamic in nature. We propose simple language extensions (ELMO) to existing sequential programming languages ...

In this paper we describe a new system for the reconstruction of geometric map elements as developed in the Dutch TopSpin-PNEM project ‘Knowledge-based conversion of utility maps’. In the knowledge base map conversion process vectorized map elements coming from an image interpretation system must be reconstructed in a geometrically accurate topographic base map. This is done using a map corresp...

One of the key factors for success in object based load distribution is to determine the right granularity for the load distribution facility. This granularity should be fine enough to prevent the occurrenceof major load imbalances, but on the same time coarse enough to ensure that the performance gained by load distribution exceeds the overhead of distribution. This paper addresses this issue ...

A new approach to support the development of distributed software systems is outlined. As far as static aspects are concerned, standard object-oriented design methods are used. Dynamic aspects like status of services or resource handling in objects and methods, however, play the key role in distributed systems. The main contribution of the approach is a method which puts the focus on these aspe...

Most software component technologies fail to account for lightweight components (those for which a function call is too ineecient or semantically inappropriate) or generative components (those in which the component embodies a method of constructing code rather than actual code). Macro-based systems such as the C++ Standard Template Library are exceptions. They, however, have the disadvantage t...