1663 search results - page 190 / 333 » Validation and Verification of Simulation Models |
165
click to vote
LCN
2008
IEEE
15 years 10 months ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...
157
click to vote
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
117
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Cabled robotic systems have been used for a diverse set of applications such as environmental sensing, search and rescue, sports and entertainment and air vehicle simulators. I...
131
click to vote
WSC
2001
15 years 5 months ago
2001
In this paper, the selection of a BASE Case was every bit as important as the simulation itself. The production team had been familiar with simulations and had used their results ...
167
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...