This report sumarizes the main ideas and the strategy followed in the development of a static partitioning tool for a circuit simulator. This pre-processor tool will be used in an implementation of the circuit simulator CINNAMON on a multiprocessor machine.

The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint store. It supports a notion of discrete time that allows all non-blocked agents to proceed with their execution simultaneously. In this paper, we present a modular architectur...

We provide an overview of WiNeSim, a highly extensible wireless network modeling and simulation tool with a network attackmodeling component. WiNeSim provides a high-level graphical modeling interface for the rapid declarative specification of network configurations, including the selection of node hardware, MAC protocols, and routing protocols. Furthermore, it enables users to specify certain ...

This paper describes IDtrace, a binary instrumentation tool which produces execution traces for the ix86 instruction set architecture. Long execution traces can be generated quickly and easily for input to a wide variety of performance evaluation tools. Issues involved in the construction of such a tool are listed along with illustrations of the uses of different generated traces. One example o...

In 2002 an amendment to SOLAS opened for lightweight material constructions in vessels if the same fire safety as in steel constructions could be obtained. FISPAT (FIreSPread Analysis Tool) is a computer application that simulates fire spread and fault injection in cruise vessels and identifies fire sensitive areas. It was developed to analyze cruise vessel designs and provides a method to eval...

This paper discusses the need for joint link level and system level simulations for thirdgeneration mobile radio systems and points out a way of implementing them in SDL. The simulation of third-generation mobile radio interfaces is a particular challenge to computational power. Complex systems are needed to support the demands of ATM services and high data of rates up to 2 Mbit/s in the UMTS b...

0