Sciweavers

3394 search results - page 57 / 679
» A Modal Model of Memory
Sort
View
91
Voted
ASPLOS
2010
ACM
15 years 7 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...
86
Voted
ICRA
2005
IEEE
122views Robotics» more  ICRA 2005»
15 years 6 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
98
Voted
ARTS
1999
Springer
15 years 4 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
15 years 1 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...
100
Voted
IJRR
2006
120views more  IJRR 2006»
15 years 13 days 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