7776 search results - page 1527 / 1556 » Maintaining Maintainability |
122
click to vote
IJRR
2010
14 years 11 months ago
2010
This paper describes the experimental implementation of an online algorithm for cooperative localization of submerged autonomous underwater vehicles (AUVs) supported by an autonom...
140
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
160
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We consider the location service in a mobile adhoc network (MANET), where each node needs to maintain its location information in the network by (i) frequently updating ...
124
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: Shared-usage high throughput screening (HTS) facilities are becoming more common in academe as large-scale small molecule and genome-scale RNAi screening strategies ar...
155
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...