7602 search results - page 1361 / 1521 » A New Approach to Base Revision |
155
click to vote
INFOCOM
2008
IEEE
16 years 28 days ago
2008
IEEE
The remote file synchronization problem is how to update an outdated version of a file located on one machine to the current version located on another machine with a minimal am...
166
click to vote
KBSE
2007
IEEE
16 years 24 days ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
166
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
155
click to vote
ICDM
2006
IEEE
16 years 17 days ago
2006
IEEE
Manual debugging is expensive. And the high cost has motivated extensive research on automated fault localization in both software engineering and data mining communities. Fault l...
218
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
— To operate outdoors or on non-flat surfaces, mobile robots need appropriate data structures that provide a compact representation of the environment and at the same time suppo...