2935 search results - page 11 / 587 » An Integrated Approach to High Integrity Software Verificati... |
113
Voted
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
142
Voted
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
118
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
122
Voted
ISCAPDCS
2003
15 years 5 months ago
2003
We consider efficient strategies for the parallel and distributed computation of large sets of multivariate integrals. These arise in many applications such as computational chem...
102
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...