1222 search results - page 199 / 245 » Verifying a File System Implementation |
PET
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Face recognition is increasingly deployed as a means to unobtrusively verify the identity of people. The widespread use of biometrics raises important privacy concerns, i...
EH
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents experimental results of fast intrinsic evolutionary design and evolutionary fault recovery of a 4-bit Digital to Analog Converter (DAC) using the JPL stand-alo...
105
click to vote
APNOMS
2006
Springer
15 years 3 months ago
2006
Springer
Many researches on context aware computing are carried out around the world. Among them, Context-Toolkit and Semantic Space provide separation of concerns between sensor and applic...
168
click to vote
Publication
Within-die process variations arise during integrated circuit (IC) fabrication in the sub-100nm regime. These variations are of paramount concern as they deviate the performance of...
205
click to vote
ICLP
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...