5376 search results - page 319 / 1076 » Scalable Kernel Systems |
192
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Power efficient design of real-time systems based on programmable processors becomes more important as system functionality is increasingly realized through software. This paper ...
174
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
177
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper focuses on the problem of providing efficient run-time support to multimedia applications in a real-time system, where two types of tasks can coexist simultaneously: mu...
184
Voted
LCR
1998
Springer
15 years 11 months ago
1998
Springer
Because irregular applications have unpredictable memory access patterns, their performance is dominated by memory behavior. The Impulse con gurable memory controller will enable s...
210
click to vote
SSDBM
1994
IEEE
15 years 10 months ago
1994
IEEE
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...