1886 search results - page 188 / 378 » Verifying and Validating Simulation Models |
121
click to vote
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
133
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— In sensor networks, MAC protocols based on Time Division Multiple Access (TDMA) with wakeup and sleep periods have attracted considerable interest because of their low power co...
MEMOCODE
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
127
click to vote
ATMOS
2009
15 years 4 months ago
2009
In this paper we combine an integer programming approach and a computer simulation tool to successfully develop and verify an improved classification schedule for a real-world trai...
123
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper, a novel approach for parallel kinematic machine control relying on a fast exteroceptive measure is implemented and validated on the Orthoglide robot. This approa...