3814 search results - page 743 / 763 » Operating system support for multimedia systems |
CHI
2008
ACM
16 years 4 days ago
2008
ACM
Multi-monitor displays and multi-display environments are now common. Cross-display cursor movement, in which a user moves the pointer from one display to another, occurs frequent...
195
click to vote
POPL
2008
ACM
16 years 1 days ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
103
click to vote
CADE
2005
Springer
16 years 1 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
192
click to vote
VLDB
2007
ACM
15 years 12 months ago
2007
ACM
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
115
click to vote
MOBIHOC
2003
ACM
15 years 11 months ago
2003
ACM
Wireless sensor networks (WSN) are event based systems that rely on the collective effort of several microsensor nodes. Reliable event detection at the sink is based on collective...