Sciweavers

3605 search results - page 42 / 721
» System and simulation modeling using SysML
Sort
View
WSC
2001
13 years 10 months ago
EZStrobe: general-purpose simulation system based on activity cycle diagrams
This paper introduces EZStrobe, a very simple but powerful general-purpose simulation system. Although designed for modeling construction operations, EZStrobe is domain independen...
Julio C. Martínez
DAC
2003
ACM
14 years 9 months ago
Optimizations for a simulator construction system supporting reusable components
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
David A. Penry, David I. August
DSRT
2005
IEEE
14 years 2 months ago
An Adaptive Load Management Mechanism for Distributed Simulation of Multi-agent Systems
The paper presents a load management mechanism for distributed simulations of multi-agent systems. The mechanism minimises the cost of accessing the shared state in the distribute...
Ton Oguara, Dan Chen, Georgios K. Theodoropoulos, ...
CAV
1990
Springer
114views Hardware» more  CAV 1990»
14 years 17 days ago
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Ternary system modeling involves extending the traditional set of binary values
Randal E. Bryant, Carl-Johan H. Seger
APCSAC
2006
IEEE
14 years 2 months ago
A High Performance Simulator System for a Multiprocessor System Based on a Multi-way Cluster
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
Arata Shinozaki, Masatoshi Shima, Minyi Guo, Mitsu...