Sciweavers

DAC
1999
ACM
13 years 10 months ago
Parallel Mixed-Level Power Simulation Based on Spatio-Temporal Circuit Partitioning
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
Mauro Chinosi, Roberto Zafalon, Carlo Guardiani
ANSS
1999
IEEE
13 years 10 months ago
SIM-ENG: A Traffic Simulation Engine
The need for traffic analysis and traffic management applies to a vast range of disciplines. Simulation of traffic may assist in both analysis and management of traffic. In many s...
John M. Creagh
CPE
2000
Springer
111views Hardware» more  CPE 2000»
13 years 10 months ago
FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks
In this paper we present a tool for the simulation of fluid models of high-speed telecommunication networks. The aim of such a simulator is to evaluate measures which can not be ...
José Incera, Raymond A. Marie, David Ros, G...
PADS
2000
ACM
13 years 10 months ago
Distributed, parallel simulation of multiple, deliberative agents
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
Adelinde Uhrmacher, K. Gugler
PADS
2000
ACM
13 years 10 months ago
Applying parallel discrete event simulation to network emulation
The simulation of wide area computer networks is one area where the benefits of parallel simulation have been clearly demonstrated. Here we present a description of a system that...
Rob Simmonds, Russell Bradford, Brian Unger
ISSTA
2000
ACM
13 years 10 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
VISUALIZATION
2000
IEEE
13 years 10 months ago
A computational steering system for studying microwave interactions with missile bodies
This paper describes a computer modeling and simulation system that supports computational steering, which is an effort to make the typical simulation workflow more efficient. O...
J. Edward Swan II, Marco Lanzagorta, Doug Maxwell,...
IPPS
2000
IEEE
13 years 10 months ago
Study of a Multilevel Approach to Partitioning for Parallel Logic Simulation
Parallel simulation techniques are often employed to meet the computational requirements of large hardware simulations in order to reduce simulation time. In addition, partitionin...
Swaminathan Subramanian, Dhananjai Madhava Rao, Ph...
EUROMICRO
2000
IEEE
13 years 10 months ago
Continuous Discrete-Event Simulation of a Continuous-Media Server I/O Subsystem
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
Michael Weeks, Chris Bailey, Reza Sotudeh
DATE
2000
IEEE
137views Hardware» more  DATE 2000»
13 years 10 months ago
Retargeting of Compiled Simulators for Digital Signal Processors Using a Machine Description Language
This paper presents a methodology to retarget the technique of compiled simulation for Digital Signal Processors DSPs using the modeling language LISA. In the past, the principl...
Stefan Pees, Andreas Hoffmann, Heinrich Meyr