Sciweavers

220 search results - page 20 / 44
» Exploiting Schemas in Data Synchronization
Sort
View
FMSD
2006
59views more  FMSD 2006»
14 years 11 months ago
Optimistic synchronization-based state-space reduction
Reductions that aggregate fine-grained transitions into coarser transitions can significantly reduce the cost of automated verification, by reducing the size of the state space. W...
Scott D. Stoller, Ernie Cohen
ICDT
2003
ACM
91views Database» more  ICDT 2003»
15 years 5 months ago
Reformulation of XML Queries and Constraints
We state and solve the query reformulation problem for XML publishing in a general setting that allows mixed (XML and relational) storage for the proprietary data and exploits redu...
Alin Deutsch, Val Tannen
CGO
2004
IEEE
15 years 3 months ago
Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads
Efficient inter-thread value communication is essential for improving performance in Thread-Level Speculation (TLS). Although several mechanisms for improving value communication ...
Antonia Zhai, Christopher B. Colohan, J. Gregory S...
CGO
2009
IEEE
15 years 6 months ago
Software Pipelined Execution of Stream Programs on GPUs
—The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. This model allows programmers to sp...
Abhishek Udupa, R. Govindarajan, Matthew J. Thazhu...
ISMIR
2005
Springer
132views Music» more  ISMIR 2005»
15 years 5 months ago
Syncplayer - An Advanced System for Multimodal Music Access
In this paper, we present the SyncPlayer system for multimodal presentation of high quality audio and associated music-related data. Using the SyncPlayer client interface, a user ...
Frank Kurth, Meinard Müller, David Damm, Chri...