1299 search results - page 27 / 260 » On the Correctness of Operating System Kernels |
105
click to vote
MVA
2002
15 years 1 months ago
2002
This paper describes functions for correcting mathematical formulas inputted using the handwritten mathematicalformulaentrysystemthatwehaveproposed [8,9]. This system encourages i...
128
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
USS
2008
15 years 4 months ago
2008
Testbed experiments are a challenge to manage manually, because they involve multiple machines and their correctness depends on the correct operation of testbed infrastructure tha...
152
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Operating systems engineers have developed tracing tools that log details about process execution at the kernel level. These tools make it easier to understand the actual executio...
139
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...