557 search results - page 53 / 112 » The L4.verified Project - Next Steps |
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
Although iterative reconstruction techniques (IRTs) have been shown to produce images of superior quality over conventional filtered back projection (FBP) based algorithms, the u...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—The skew-correction of scanned document image is a necessary step undergone before some processing. For the purpose of practical, robust, real-time of the algorithm, this paper ...
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Software projects typically require effort estimation from the Software Development Life Cycle (SDLC) staff at the commencement of the software development activities. Inaccuracie...
SMA
2003
ACM
14 years 29 days ago
2003
ACM
The contour generator is an important visibility feature of a smooth object seen under parallel projection. It is the curve on the surface which seperates front-facing regions fro...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...