1054 search results - page 131 / 211 » From a Verified Kernel towards Verified Systems |
200
click to vote
JOT
2010
15 years 4 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
152
click to vote
SJ
2010
15 years 4 months ago
2010
—Wildlife tracking and ecological monitoring are important for scientific monitoring, wildlife rehabilitation, disease control, and sustainable ecological development. Yet techn...
168
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
168
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
We present an efficient image categorization and retrieval system applied to medical image databases, in particular large radiograph archives. The methodology presented is based ...
265
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...