1299 search results - page 47 / 260 » On the Correctness of Operating System Kernels |
126
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
145
click to vote
SIGOPSE
2004
ACM
15 years 9 months ago
2004
ACM
Transactions ensure simple and correct handling of concurrency and failures but are often considered too expensive for use in file systems. This paper argues that performance is ...
139
click to vote
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
130
click to vote
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
Achieving peak performance in important numerical kernels such as dense matrix multiply or sparse-matrix vector multiplication usually requires extensive, machine-dependent tuning ...
155
click to vote
JSS
2010
15 years 2 months ago
2010
We use 810 versions of the Linux kernel, released over a period of 14 years, to characterize the system’s evolution, using Lehman’s laws of software evolution as a basis. We i...