706 search results - page 55 / 142 » View-Based Consistency and Its Implementation |
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
CN
2004
13 years 9 months ago
2004
The increasing popularity of streaming video is a cause for concern for the stability of the Internet because most streaming video content is currently delivered via UDP, without ...
VLDB
2008
ACM
14 years 10 months ago
2008
ACM
Abstract In this paper we propose an extensible architecture for database engines where satellite databases are used to scale out and implement additional functionality for a centr...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
User written transaction code is responsible for the "C" in ACID transactions, i.e., taking the database from one consistent state to the next. However, user transaction...
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...