10038 search results - page 646 / 2008 » Model Checking for Managers |
233
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
238
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
241
click to vote
ICPP
2002
IEEE
16 years 11 days ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
172
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Flying has an advantage when compared to ground based locomotion, as it simplifies the task of overcoming obstacles and allows for rapid coverage of an area while also providi...
241
click to vote
HPDC
2000
IEEE
15 years 12 months ago
2000
IEEE
The dQUOB system satis es client need for speci c information from high-volume data streams. The data streams we speak of are the ow of data existing during large-scale visualizat...