1497 search results - page 173 / 300 » Extended static checking |
87
Voted
ICIP
2004
IEEE
16 years 4 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...
183
Voted
SIGMOD
2008
ACM
16 years 2 months 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...
96
Voted
ICSE
2003
IEEE-ACM
16 years 2 months 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...
101
Voted
ICFP
2006
ACM
16 years 2 months 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...
111
Voted
CTRSA
2009
Springer
15 years 9 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...