1299 search results - page 90 / 260 » On the Correctness of Operating System Kernels |
148
click to vote
ICCBSS
2005
Springer
15 years 10 months ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
120
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
132
click to vote
ISVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
FPGAs have been used for prototyping of ASICs, for low-volume ASIC replacement and for systems requiring in-field hardware upgrades. However, the potential to use dynamic reconfig...
102
click to vote
CBMS
1998
IEEE
15 years 8 months ago
1998
IEEE
An OCR system chosen for its high recognition rate and low percent of false positives also assigns low confidence values to many characters that are actually correct. Human operat...
158
click to vote
ISCAPDCS
2003
15 years 5 months ago
2003
Despite the widespread deployment of client/server technology, there seem to be no tools currently available that are adequate for analyzing and tuning the performance of client/s...