3865 search results - page 731 / 773 » Active memory operations |
187
click to vote
ML
2010
ACM
15 years 3 months ago
2010
ACM
We propose two fast algorithms for abrupt change detection in streaming data that can operate on arbitrary unknown data distributions before and after the change. The first algor...
171
click to vote
PC
2010
15 years 3 months ago
2010
We consider the computation of shortest paths on Graphic Processing Units (GPUs). The blocked recursive elimination strategy we use is applicable to a class of algorithms (such as...
149
click to vote
PVLDB
2010
15 years 3 months ago
2010
We present FlashStore, a high throughput persistent keyvalue store, that uses flash memory as a non-volatile cache between RAM and hard disk. FlashStore is designed to store the ...
170
click to vote
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
171
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Multi-gigabit outdoor mesh networks operating in the unlicensed 60 GHz "millimeter (mm) wave" band, offer the possibility of a quickly deployable broadband extension of t...