Sciweavers

1867 search results - page 242 / 374
» Understanding visual behaviour
Sort
View
TPHOL
2007
IEEE
15 years 9 months ago
Formalising Java's Data Race Free Guarantee
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
David Aspinall, Jaroslav Sevcík
XSYM
2007
Springer
150views Database» more  XSYM 2007»
15 years 9 months ago
Fast Answering of XPath Query Workloads on Web Collections
Several web applications (such as processing RSS feeds or web service messages) rely on XPath-based data manipulation tools. Web developers need to use XPath queries effectively o...
Mariano P. Consens, Flavio Rizzolo
AICCSA
2006
IEEE
101views Hardware» more  AICCSA 2006»
15 years 9 months ago
Refactoring Tools and Complementary Techniques
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
Martin Drozdz, Derrick G. Kourie, Bruce W. Watson,...
ICRA
2006
IEEE
256views Robotics» more  ICRA 2006»
15 years 9 months ago
An Ankle-foot Emulation System for the Study of Human Walking Biomechanics
– Although below-knee prostheses have been commercially available for some time, today’s devices are completely passive, and consequently, their mechanical properties remain fi...
Samuel K. Au, Peter Dilworth, Hugh M. Herr
IROS
2006
IEEE
97views Robotics» more  IROS 2006»
15 years 9 months ago
A quasi-passive model of human leg function in level-ground walking
- In this paper, we seek to understand how leg muscles and tendons work mechanically during walking in order to motivate the design of efficient robotic legs. We hypothesize that a...
Ken Endo, Daniel Paluska, Hugh M. Herr