1222 search results - page 185 / 245 » Verifying a File System Implementation |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
In this article, we describe the XML storage system used in the WebContent project. We begin by advocating the use of an XML database in order to store WebContent documents, and w...
USENIX
1994
15 years 1 months ago
1994
Wux is a port of Unix tools to the Microsoft Windows environment. It is based on a library providing a Unixcompatible set of system calls on top of Windows. Unix-derived tools run...
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
112
click to vote
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
111
click to vote
VLC
2008
14 years 11 months ago
2008
Recognizing hand-sketched symbols is a definitely complex problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct way. Ma...