Sciweavers

12052 search results - page 547 / 2411
» computing 2010
Sort
View
CGF
2010
109views more  CGF 2010»
15 years 2 months ago
Time-Dependent 2-D Vector Field Topology: An Approach Inspired by Lagrangian Coherent Structures
This paper presents an approach to a time-dependent variant of the concept of vector field topology for 2-D vector fields. Vector field topology is defined for steady vector field...
Filip Sadlo, Daniel Weiskopf
SIGGRAPH
2010
ACM
15 years 11 months ago
High resolution passive facial performance capture
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...
Derek Bradley, Wolfgang Heidrich, Tiberiu Popa, Al...
EMSOFT
2010
Springer
15 years 5 months ago
A marketplace for cloud resources
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, T...
DAC
2010
ACM
15 years 11 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
CCGRID
2010
IEEE
15 years 8 months ago
A Capabilities-Aware Programming Model for Asymmetric High-End Systems
In this research, we investigate and address the challenges of asymmetry in High-End Computing (HEC) systems comprising heterogeneous architectures with varying I/O and computation...
M. Mustafa Rafique