8828 search results - page 1480 / 1766 » Formal methods in practice |
181
click to vote
IEEEPACT
2006
IEEE
16 years 24 days ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
172
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
193
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
— We present an on-line, robust, and efficient path planner for the redundant Mitsubishi PA-10 arm with 7 degrees of freedom (DOF) in non-stationary environments. Because of the...
159
click to vote
SYNASC
2006
IEEE
16 years 23 days ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
164
click to vote
ACCV
2006
Springer
16 years 22 days ago
2006
Springer
Abstract. This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on an explicit parameterization of the extremal con...