Sciweavers

12264 search results - page 202 / 2453
» An Analysis of the XSL Algorithm
Sort
View
TACAS
2010
Springer
221views Algorithms» more  TACAS 2010»
16 years 1 months ago
Trace-Based Symbolic Analysis for Atomicity Violations
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aart...
SAC
2009
ACM
16 years 1 months ago
Response time analysis of software transactional memory-based distributed real-time systems
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
SIPS
2008
IEEE
16 years 25 days ago
Analysis of belief propagation for hardware realization
Belief propagation has become a popular technique for solving computer vision problems, such as stereo estimation and image denoising. However, it requires large memory and bandwi...
Chao-Chung Cheng, Chia-Kai Liang, Yen-Chieh Lai, H...
ACCV
2007
Springer
16 years 20 days ago
Face Mis-alignment Analysis by Multiple-Instance Subspace
In this paper, we systematically study the effect of poorly registered faces on the training and inferring stages of traditional face recognition algorithms. We then propose a nov...
Zhiguo Li, Qingshan Liu, Dimitris N. Metaxas
IFIP
2007
Springer
16 years 18 days ago
Super-Resolution Video Analysis for Forensic Investigations
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...
Ashish Gehani, John H. Reif