5866 search results - page 1078 / 1174 » Designing Accelerator-Based Distributed Systems for High Per... |
132
click to vote
VSTTE
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
157
click to vote
PVLDB
2011
14 years 5 months ago
2011
Adaptive indexing is characterized by the partial creation and refinement of the index as side effects of query execution. Dynamic or shifting workloads may benefit from prelimi...
134
click to vote
MOBISYS
2009
ACM
16 years 3 months ago
2009
ACM
Point&Connect (P&C) offers an intuitive and resilient device pairing solution on standard mobile phones. Its operation follows the simple sequence of point-and-connect: wh...
123
click to vote
SACMAT
2009
ACM
15 years 9 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
114
click to vote
SENSYS
2005
ACM
15 years 8 months ago
2005
ACM
Archival storage of sensor data is necessary for applications that query, mine, and analyze such data for interesting features and trends. We argue that existing storage systems a...