2935 search results - page 81 / 587 » An Integrated Approach to High Integrity Software Verificati... |
133
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a new expression of the relationship between Integral Projections and motion in an image pair. The resulting new multiresolution gradient based approach is use...
130
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—Bug-free first silicon is not guaranteed by the existing pre-silicon verification techniques. To have impeccable products, it is now required to identify any bug as soon as the ...
188
click to vote
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
An integrated, hardware / software co-designed CISC processor is proposed and analyzed. The objectives are high performance and reduced complexity. Although the x86 ISA is targete...
192
click to vote
HICSS
2011
IEEE
14 years 8 months ago
2011
IEEE
All-at-once Scrum implementations require total commitment to change, high level management support and aggressive removal of impediments. Several company-wide implementations are...
150
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Integration of the currently available computing systems and platforms is one of the most envisaged goals achieved by computer scientists, which starts to become a reality nowaday...