1299 search results - page 53 / 260 » On the Correctness of Operating System Kernels |
111
click to vote
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
126
click to vote
PODC
1997
ACM
15 years 8 months ago
1997
ACM
Wait-free objects are often implemented through the use of a \helping scheme", whereby one process \helps" one or more other processes to complete an operation. This pap...
133
click to vote
VLSISP
2008
15 years 3 months ago
2008
The speedups and the energy reductions achieved in a generic single-chip microprocessor system by employing a high-performance data-path are presented. The data-path acts as a copr...
152
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a hw/sw codesign methodology based on BORPH, an operating system designed for FPGA-based reconfigurable computers (RC's). By providing native kernel suppo...
150
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...