Sciweavers

4520 search results - page 713 / 904
» Algebraic Techniques for Timed Systems
Sort
View
OSDI
2008
ACM
16 years 6 months ago
Towards Virtual Passthrough I/O on Commodity Devices
A commodity I/O device has no support for virtualization. A VMM can assign such a device to a single guest with direct, fast, but insecure access by the guest's native device...
Lei Xia, Jack Lange, Peter A. Dinda
SIGMOD
2006
ACM
109views Database» more  SIGMOD 2006»
16 years 6 months ago
OMCAT: optimal maintenance of continuous queries' answers for trajectories
We present our prototype system, OMCAT, which optimizes the reevaluation of a set of pending continuous spatio-temporal queries on trajectory data, when some of the trajectories a...
Hui Ding, Goce Trajcevski, Peter Scheuermann
SIGMOD
2006
ACM
129views Database» more  SIGMOD 2006»
16 years 6 months ago
Recovery from "bad" user transactions
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...
David B. Lomet, Zografoula Vagena, Roger S. Barga
ISPASS
2010
IEEE
16 years 1 months ago
Hardware prediction of OS run-length for fine-grained resource customization
—In the past ten years, computer architecture has seen a paradigm shift from emphasizing single thread performance to energy efficient, throughput oriented, chip multiprocessors...
David Nellans, Kshitij Sudan, Rajeev Balasubramoni...
AP2PS
2009
IEEE
16 years 1 months ago
FLaCoSt: A Novel Peer to Peer Architecture for Video Streaming in a Next Generation Network
Abstract—This paper proposes a peer-to-peer video streaming delivery system within the framework of Next Generation Networks using Application Level Multicast. Increased efficie...
Jaime García-Reinoso, Alex Bikfalvi, Iv&aac...