1245 search results - page 108 / 249 » Physical Browsing Research |
155
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper investigates kinetic behavior of a planetary rover with attention to tire-soil traction mechanics and articulated body dynamics, and thereby study the control when the ...
156
Voted
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
121
Voted
ASAP
1997
IEEE
15 years 7 months ago
1997
IEEE
In the framework of perfect loop nests with uniform dependences, tiling has been extensively studied as a source-to-source program transformation. Little work has been devoted to ...
141
Voted
CRYPTO
1987
Springer
15 years 7 months ago
1987
Springer
Many distributed systems manage some form of long-lived data, such as files or data bases. The performance and fault-tolerance of such systems may be enhanced if the repositories ...
148
Voted
AUTONOMICS
2008
ACM
15 years 5 months ago
2008
ACM
A prominent functionality of a Wireless Sensor Network (WSN) is environmental monitoring. For this purpose the WSN creates a model for the real world by using abstractions to pars...