37 search results - page 8 / 8 » Verification Methods for Weaker Shared Memory Consistency Mo... |
ICRA
2006
IEEE
13 years 11 months ago
2006
IEEE
— Recently, Rao-Blackwellized particle filters have become a popular tool to solve the simultaneous localization and mapping problem. This technique applies a particle filter i...
RTSS
2000
IEEE
13 years 9 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...