1497 search results - page 173 / 300 » Extended static checking |
73
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper presents an improved technique for determining the 3D structure of the human face form stereo images. The approach targets specific regions of the face individually. An...
165
Voted
SIGMOD
2008
ACM
16 years 28 days ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
ICSE
2003
IEEE-ACM
16 years 26 days ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
81
Voted
ICFP
2006
ACM
16 years 23 days ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
CTRSA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...