4155 search results - page 544 / 831 » External Memory Algorithms |
159
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
158
click to vote
MASCOTS
2007
15 years 8 months ago
2007
—One of the biggest bottlenecks in desktop-based computing is the hard disk with I/O write latency being a key contributor. I/O write latency stems from the mechanical nature of ...
142
click to vote
BNCOD
2003
15 years 8 months ago
2003
There are two aspects to the work being presented here. The first is a novel persistent index structure for genomic data, a prototype of which has been completed. The second, usin...
168
click to vote
USENIX
2003
15 years 8 months ago
2003
The open-source rsync utility reduces the time and bandwidth required to update a file across a network. Rsync uses an interactive protocol that detects changes in a file and se...
196
click to vote
WSCG
2003
15 years 8 months ago
2003
Rendering large trimmed NURBS models with high quality at interactive frame rates is of great interest for industry, since nearly all their models are designed on the basis of thi...