5896 search results - page 473 / 1180 » On Learning with Integral Operators |
174
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating system or hard-disk. In addition to providing sta...
194
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With technology advances, the number of cores integrated on a chip and their speed of operation is increasing. This, in turn is leading to a significant increase in chip temperat...
194
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
188
click to vote
SIGOPSE
2004
ACM
16 years 7 days ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
166
click to vote
USENIX
2001
15 years 8 months ago
2001
For most of its existence, Linux has been used primarily as a personal desktop operating system. Yet, in recent times, its use as a cost-efficient alternative to commercial operat...