Sciweavers

45 search results - page 7 / 9
» Lightweight monadic regions
Sort
View
FAST
2011
12 years 9 months ago
A Scheduling Framework That Makes Any Disk Schedulers Non-Work-Conserving Solely Based on Request Characteristics
Exploiting spatial locality is critical for a disk scheduler to achieve high throughput. Because of the high cost of disk head seeks and the non-preemptible nature of request serv...
Yuehai Xu, Song Jiang
PAM
2010
Springer
14 years 18 days ago
A Learning-Based Approach for IP Geolocation
The ability to pinpoint the geographic location of IP hosts is compelling for applications such as on-line advertising and network attack diagnosis. While prior methods can accurat...
Brian Eriksson, Paul Barford, Joel Sommers, Robert...
ENTCS
2007
113views more  ENTCS 2007»
13 years 5 months ago
Modular Checkpointing for Atomicity
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
BMCBI
2004
200views more  BMCBI 2004»
13 years 5 months ago
ABC: software for interactive browsing of genomic multiple sequence alignment data
Background: Alignment and comparison of related genome sequences is a powerful method to identify regions likely to contain functional elements. Such analyses are data intensive, ...
Gregory M. Cooper, Senthil A. G. Singaravelu, Aren...
ICRA
2010
IEEE
242views Robotics» more  ICRA 2010»
13 years 4 months ago
Axel rover paddle wheel design, efficiency, and sinkage on deformable terrain
—This paper presents the Axel robotic rover which has been designed to provide robust and flexible access to extreme extra-planetary terrains. Axel is a lightweight 2wheeled vehi...
Pablo Abad-Manterola, Joel W. Burdick, Issa A. D. ...