478 search results - page 66 / 96 » Behavioral Specification of Real-Time Requirements |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
This paper analyzes the behavior of a selectorecombinative genetic algorithm (GA) with an ideal crossover on a class of random additively decomposable problems (rADPs). Specifical...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
ICRA
2003
IEEE
14 years 26 days ago
2003
IEEE
We present the first controller that allows our small hexapod robot, RHex, to descend a wide variety of regular sized, “real-world” stairs. After selecting one of two sets of ...
IEEEAMS
2003
IEEE
14 years 26 days ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
ICECCS
2000
IEEE
14 years 7 hour ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...