Sciweavers

16702 search results - page 268 / 3341

» Server operating systems

77

C++
1990

47views more C++ 1990»

C++ and Operating Systems Performance: A Case Study

15 years 7 months ago

C++ and Operating Systems Performance: A Case Study

Download choices.cs.uiuc.edu

Vincent F. Russo, Peter Madany, Roy H. Campbell

claim paper

Read More »

85

CCR
2008

69views more CCR 2008»

NOX: towards an operating system for networks

15 years 6 months ago

NOX: towards an operating system for networks

Download noxrepo.org

Natasha Gude, Teemu Koponen, Justin Pettit, Ben Pf...

claim paper

Read More »

74

CORR
2008
Springer

61views Education» more CORR 2008»

State and history in operating systems

15 years 6 months ago

State and history in operating systems

Download www.yodaiken.com

Victor Yodaiken

claim paper

Read More »

159

ENTCS
2008

94views more ENTCS 2008»

A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code

15 years 6 months ago

A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code

Download www.cl.cam.ac.uk

This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...

Hendrik Tews, Tjark Weber, Marcus Völp

claim paper

Read More »

101

Voted

COMPUTER
2006

64views more COMPUTER 2006»

Can We Make Operating Systems Reliable and Secure?

15 years 6 months ago

Can We Make Operating Systems Reliable and Secure?

Download www.cs.vu.nl

Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos

claim paper

Read More »

« Prev « First page 268 / 3341 Last » Next »