Sciweavers

1783 search results - page 294 / 357
» Provenance and Data Synchronization
Sort
View
122
Voted
CONCUR
2007
Springer
15 years 9 months ago
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
Peter Lammich, Markus Müller-Olm
137
Voted
ERCIMDL
2007
Springer
127views Education» more  ERCIMDL 2007»
15 years 9 months ago
Lyrics-Based Audio Retrieval and Multimodal Navigation in Music Collections
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...
Meinard Müller, Frank Kurth, David Damm, Chri...
GPCE
2007
Springer
15 years 9 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
135
Voted
PPAM
2007
Springer
15 years 9 months ago
Parallel Tiled QR Factorization for Multicore Architectures
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
Alfredo Buttari, Julien Langou, Jakub Kurzak, Jack...
138
Voted
WEBDB
2007
Springer
159views Database» more  WEBDB 2007»
15 years 9 months ago
A clustering-based sampling approach for refreshing search engine's database
Due to resource constraints, search engines usually have difficulties keeping the local database completely synchronized with the Web. To detect as many changes as possible, the ...
Qingzhao Tan, Ziming Zhuang, Prasenjit Mitra, C. L...