1299 search results - page 95 / 260 » On the Correctness of Operating System Kernels |
134
click to vote
SSPR
2000
Springer
15 years 8 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...
148
click to vote
LCTRTS
2004
Springer
15 years 9 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 ...
131
click to vote
CN
2007
15 years 4 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...
136
click to vote
ICDCS
2003
IEEE
15 years 9 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...
131
click to vote
USENIX
2001
15 years 5 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...