80 search results - page 3 / 16 » The Verifying Compiler, a Grand Challenge for Computing Rese... |
CVPR
2005
IEEE
15 years 26 days ago
2005
IEEE
Over the last couple of years, face recognition researchers have been developing new techniques. These developments are being fueled by advances in computer vision techniques, com...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the im...
CHI
2009
ACM
14 years 11 months ago
2009
ACM
While health records are increasingly stored electronically, we, as citizens, have little access to this data about ourselves. We are not used to thinking of these official record...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
TSE
2010
13 years 9 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...