1299 search results - page 95 / 260 » On the Correctness of Operating System Kernels |
160
click to vote
SSPR
2000
Springer
15 years 10 months ago
2000
Springer
In the field of pattern recognition, the concept of Multiple Classifier Systems (MCSs) was proposed as a method for the development of high performance classification systems. At p...
173
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...
150
click to vote
CN
2007
15 years 6 months ago
2007
Self-protecting systems require the ability to instantaneously detect malicious activity at run-time and prevent execution. We argue that it is impossible to perfectly self-protec...
163
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
A range of database services are being offered on clusters of workstations today to meet the demanding needs of applications with voluminous datasets, high computational and I/O r...
165
click to vote
USENIX
2001
15 years 7 months ago
2001
UNIX-derived operating systems have traditionally have a simplistic approach to process synchronization which is unsuited to multiprocessor application. Initial FreeBSD SMP suppor...