1299 search results - page 196 / 260 » On the Correctness of Operating System Kernels |
166
click to vote
ACIVS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Purpose: To develop a system for assisting the analysis of capsuleendoscopy (CE) video data and identifying sequences of frames related to small intestine motility. Mater...
156
click to vote
ATMOS
2007
15 years 7 months ago
2007
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
172
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
188
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
140
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Today's processors provide a rich source of statistical information on application execution through hardware counters. In this paper, we explore the utilization of these sta...