73 search results - page 6 / 15 » First Steps in the Verified Software Grand Challenge |
BCS
2008
14 years 11 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
CASES
2001
ACM
15 years 1 months ago
2001
ACM
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
ICB
2009
Springer
14 years 7 months ago
2009
Springer
Face recognition with partial face images is an important problem in face biometrics. The necessity can arise in not so constrained environments such as in surveillance video, or p...
ICIP
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents some techniques for efficient motion estimation (ME) implementation on fixed-point digital signal processor (DSP) for high resolution video coding. First, chal...
167
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...