1082 search results - page 52 / 217 » Modeling and simulation alternatives for the design of netwo... |
RSP
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
ASMTA
2008
Springer
13 years 10 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
DGO
2008
13 years 9 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
DAC
2003
ACM
14 years 1 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
LCN
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a model for the expected throughput in a Bluetooth network in presence of a number of other Bluetooth networks that cause radio interference. The analysis cons...