Sciweavers

3394 search results - page 57 / 679
» A Modal Model of Memory
Sort
View
ASPLOS
2010
ACM
14 years 4 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
ICRA
2005
IEEE
122views Robotics» more  ICRA 2005»
14 years 3 months ago
Shape, Motion, and Parameter Estimation of Large Flexible Space Structures using Range Images
– Future space missions are expected to use robotic systems to assemble, inspect, and maintain large space structures in orbit. To carry out these tasks, robots need to know the ...
Matthew D. Lichter, Steven Dubowsky
ARTS
1999
Springer
14 years 2 months ago
Specifying Performance Measures for PEPA
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
Graham Clark, Stephen Gilmore, Jane Hillston
CORIA
2010
13 years 11 months ago
Impact de l'information visuelle pour la Recherche d'Images par le contenu et le contexte
Multimedia documents are increasingly used which involve to develop model to that kind of data. In this paper we present a multimedia model which combines textual and visual inform...
Christophe Moulin, Christine Largeron, Mathias G&e...
IJRR
2006
120views more  IJRR 2006»
13 years 10 months ago
Vibration Estimation of Flexible Space Structures using Range Imaging Sensors
Future space applications will require robotic systems to assemble, inspect, and maintain large space structures in orbit. For effective planning and control, robots will need to ...
Matthew D. Lichter, Hiroshi Ueno, Steven Dubowsky