5481 search results - page 985 / 1097 » Application Analysis for Parallel Processing |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
107
click to vote
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
— The need to perform power analysis in the early stages of the design process has become critical as power has become a major design constraint. Embedded and highperformance mic...
WWW
2010
ACM
15 years 4 months ago
2010
ACM
We present a method for automatically acquiring of a corpus of disputed claims from the web. We consider a factual claim to be disputed if a page on the web suggests both that the...
106
click to vote
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we revisit the process of constructing a high resolution 3D morphable model of face shape variation. We demonstrate how the statistical tools of thin-plate splines a...