Sciweavers

220 search results - page 38 / 44
» Exploiting Schemas in Data Synchronization
Sort
View
CONCUR
2007
Springer
15 years 5 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
ERCIMDL
2007
Springer
127views Education» more  ERCIMDL 2007»
15 years 5 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...
PPAM
2007
Springer
15 years 5 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...
3DPVT
2006
IEEE
192views Visualization» more  3DPVT 2006»
15 years 5 months ago
Spherical Catadioptric Arrays: Construction, Multi-View Geometry, and Calibration
This paper introduces a novel imaging system composed of an array of spherical mirrors and a single highresolution digital camera. We describe the mechanical design and constructi...
Douglas Lanman, Daniel E. Crispell, Megan Wachs, G...
PPOPP
2003
ACM
15 years 5 months ago
Compactly representing parallel program executions
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...
Ankit Goel, Abhik Roychoudhury, Tulika Mitra