1299 search results - page 24 / 260 » On the Correctness of Operating System Kernels |
129
click to vote
FPL
2006
Springer
15 years 5 months ago
2006
Springer
Advances in FPGA-based reconfigurable computers have made them a viable computing platform for a vast variety of computation demanding areas such as bioinformatics, speech recogni...
118
Voted
USENIX
2000
15 years 3 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
114
click to vote
EWSN
2007
Springer
16 years 1 months ago
2007
Springer
While a multithreading approach provides a convenient sensor application developing environment with automatic control flow and stack managment, it is considered to have a larger d...
115
Voted
PPOPP
1999
ACM
15 years 6 months ago
1999
ACM
Writing parallel applications for computational grids is a challenging task. To achieve good performance, algorithms designed for local area networks must be adapted to the differ...
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose to implement hybrid operating systems based on two-level hardware interrupts. To separate real-time and non-real-time hardware interrupts by hardware, we...