1299 search results - page 48 / 260 » On the Correctness of Operating System Kernels |
132
click to vote
DRR
2003
15 years 5 months ago
2003
The Medical Article Records System (MARS) developed by the Lister Hill National Center for Biomedical Communications uses scanning, OCR and automated recognition and reformatting ...
160
click to vote
TCAD
2008
15 years 3 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
141
click to vote
FAST
2009
15 years 1 months ago
2009
Transactions offer a powerful data-access method used in many databases today trough a specialized query API. User applications, however, use a different fileaccess API (POSIX) wh...
138
Voted
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
A high-performance data-path to implement DSP kernels is proposed in this paper. The data-path is based on a flexible, universal, and regular component to optimally exploiting both...
131
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...