3357 search results - page 428 / 672 » Controlling Complexity |
203
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
178
click to vote
ICNP
2009
IEEE
16 years 1 months ago
2009
IEEE
—With advances in energy harvesting techniques, it is now feasible to build sustainable sensor networks (SSN) to support long-term applications. Unlike battery-powered sensor net...
182
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— A number of conceptually simple but behaviorrich “inverted pendulum” humanoid models have greatly enhanced the understanding and analytical insight of humanoid dyna...
180
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In 1986, Franceschini et al. built an optronic velocity sensor [11], the principle of which was based on the findings they had recently made on fly EMDs by performing electrophysio...
160
click to vote
ASPDAC
2005
ACM
16 years 5 days ago
2005
ACM
Abstract— The success of classical high level synthesis has been limited by the complexity of the applications it can handle, typically not large enough to necessitate the depart...