1663 search results - page 187 / 333 » Validation and Verification of Simulation Models |
120
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we present an approach to multi-objective exploration of the mapping space of a mesh-based network-on-chip architecture. Based on evolutionary computing techniques, ...
158
click to vote
MOBICOM
2004
ACM
15 years 9 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the e...
134
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
146
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...
108
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Machining time is a major performance criterion when it comes to high speed machining. CAM software can help in estimating that time for a given strategy. But in practice, CAM pro...