2624 search results - page 76 / 525 » The 2LIP model and its implementations |
159
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
—This paper deals with the design of a controller and its implementation in a mini-rotorcraft toy with 3 rotors. A new original low-cost tilt angle sensor is introduced and kinem...
172
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
140
click to vote
IJHPCA
2010
15 years 4 months ago
2010
In this paper, we analyze restrictions of traditional communication performance models affecting the accuracy of analytical prediction of the execution time of collective communic...
148
click to vote
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
Estimation of the area complexity of a Boolean function from its functional description is an important step towards a power estimation capability at the register transfer level (...
128
click to vote
DBSEC
2004
15 years 7 months ago
2004
Storage-area networks are a popular and efficient way of building large storage systems both in an enterprise environment and for multi-domain storage service providers. In both en...