1816 search results - page 242 / 364 » Case study in modeling and simulation validation methodology |
156
click to vote
COOP
2004
15 years 6 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
120
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
158
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Simulation is frequently used in the study of multi-agent systems. Unfortunately, in many cases, it is not necessarily clear how faithfully the details of the simulated model r...
153
click to vote
ICCCN
2007
IEEE
15 years 11 months ago
2007
IEEE
— Wireless spectrum is a scare resource, while media streaming usually requires high end-to-end bandwidth. Media streaming in wireless ad hoc networks is therefore a particularly...
127
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...