12050 search results - page 181 / 2410 » Modeling and Simulation |
140
click to vote
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
116
Voted
WSC
1998
15 years 4 months ago
1998
Simulation is widely used for performance analysis of Personal Communication Systems due to their inherent complexity. However, resource demands (cpu-time and memory requirements)...
133
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
133
click to vote
DSN
2009
IEEE
15 years 10 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 ...
106
Voted
WSC
2000
15 years 4 months ago
2000
Investigation of the performance and operation of complex systems in manufacturing or other environments, analytical models of these systems become very complicated. Because of th...