1299 search results - page 187 / 260 » On the Correctness of Operating System Kernels |
177
click to vote
LCPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
216
click to vote
IWAN
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
168
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...
170
click to vote
ISW
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Today, digital content is routinely distributed over the Internet, and consumed in devices based on open platforms. However, on open platforms users can run exploits, rec...
215
click to vote
HASKELL
2006
ACM
16 years 9 days ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...