Sciweavers

537 search results - page 19 / 108
» High-precision interconnect analysis
Sort
View
IVC
2007
72views more  IVC 2007»
13 years 7 months ago
A sensitivity analysis method and its application in physics-based nonrigid motion modeling
Parameters used in physical models for nonrigid and articulated motion analysis are often not known with high precision. It has been recognized that commonly used assumptions abou...
Yong Zhang, Dmitry B. Goldgof, Sudeep Sarkar, Leon...
PLDI
2012
ACM
11 years 9 months ago
Sound and precise analysis of parallel programs through schedule specialization
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfen...
SC
2003
ACM
14 years 20 days ago
A Compiler Analysis of Interprocedural Data Communication
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
Yonghua Ding, Zhiyuan Li
PCM
2007
Springer
150views Multimedia» more  PCM 2007»
14 years 1 months ago
Robust Speaking Face Identification for Video Analysis
We investigate the problem of automatically identifying speaking faces for video analysis using only the visual information. Intuitively, mouth should be first accurately located i...
Yi Wu, Wei Hu, Tao Wang, Yimin Zhang, Jian Cheng, ...
ECRTS
2010
IEEE
13 years 8 months ago
Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, static timing analyses mu...
Daniel Grund, Jan Reineke