236 search results - page 24 / 48 » An Accomplished Simulator for Discrete Event Systems |
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
WSC
2008
15 years 2 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
103
click to vote
DSN
2009
IEEE
15 years 6 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
113
click to vote
WSC
2001
15 years 1 months ago
2001
The problem of efficient load distribution and scaling of large-scale wireless communication system simulation on multiprocessor architectures (both shared memory and cluster arra...
124
click to vote
SIGMETRICS
2003
ACM
15 years 5 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...