1886 search results - page 189 / 378 » Verifying and Validating Simulation Models |
100
Voted
LAWEB
2003
IEEE
15 years 8 months ago
2003
IEEE
We perform a clustering of the Chilean Web Graph using a local fitness measure, optimized by simulated annealing, and compare the obtained cluster distribution to that of two mod...
102
click to vote
ISLPED
2000
ACM
15 years 7 months ago
2000
ACM
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...
DATE
1998
IEEE
15 years 7 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
122
click to vote
ISER
2000
Springer
15 years 6 months ago
2000
Springer
: Scout II, an autonomous four-legged robot with only one actuator per compliant leg is described. We demonstrate the need to model the actuators and the power source of the robot ...
139
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...