10715 search results - page 2009 / 2143 » From Tests to Proofs |
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our in...
ICPPW
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper, we investigate the differences and tradeoffs imposed by two parallel Haskell dialects running on multicore machines. GpH and Eden are both constructed using the h...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Recent humanoid control investigations have emphasized the importance of controlling whole-body angular momentum throughout a movement task. For typical movement tasks,...
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
A serious threat to user privacy in new mobile and web2.0 applications stems from ‘social inferences’. These unwanted inferences are related to the users’ identity, current ...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
—“AWE” is a programmable “Animated Work Environment” supporting everyday human activities, at home, work and school, in an increasingly digital society. AWE features a no...