2935 search results - page 59 / 587 » An Integrated Approach to High Integrity Software Verificati... |
133
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
157
click to vote
SIGMOD
2004
ACM
15 years 9 months ago
2004
ACM
An increasing number of data sources now become available on the Web, but often their contents are only accessible through query interfaces. For a domain of interest, there often ...
134
Voted
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Rapid change and increasing software criticality drive successful development and acquisition organizations to balance the agility and discipline of their key processes. The emerg...
158
Voted
PAMI
2010
15 years 2 months ago
2010
—Representative surface reconstruction algorithms taking a gradient field as input enforces the integrability constraint in a discrete manner. While enforcing integrability allo...
117
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
The current trends in high performance integrated circuits are towards faster and more powerful circuits in the giga-hertz range and even further. As the more complex Integrated C...