2935 search results - page 22 / 587 » An Integrated Approach to High Integrity Software Verificati... |
122
Voted
HPCA
2003
IEEE
16 years 4 months ago
2003
IEEE
We study the hardware cost of implementing hash-tree based verification of untrusted external memory by a high performance processor. This verification could enable applications s...
112
Voted
EURODAC
1995
IEEE
15 years 7 months ago
1995
IEEE
Verification of image processing systems is mainly done on the basis of image sequence simulations. To achieve high simulation efficiency, our compiled code simulator MSIPC offers...
160
click to vote
MEDES
2009
ACM
15 years 10 months ago
2009
ACM
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...
143
click to vote
DILS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
131
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...