Search Sciweavers | Sciweavers

16702 search results - page 264 / 3341

» Server operating systems

126

click to vote

LSSC
1997
Springer

98views Applied Computing» more LSSC 1997»

The ETA Model Operational Forecasting System and its Parallel Implementation

15 years 10 months ago

Download www.aegean.gr

G. Kallos, S. Nickovic, D. Jovic, O. Kakaliagou, A...

claim paper

Read More »

133

click to vote

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

15 years 10 months ago

Download people.csail.mit.edu

Jean Yang, Chris Hawblitzel

claim paper

Read More »

141

click to vote

EUROSYS
2007
ACM

139views Software Engineering» more EUROSYS 2007»

JIT instrumentation: a novel approach to dynamically instrument operating systems

15 years 10 months ago

Download individual.utoronto.ca

Marek Olszewski, Keir Mierle, Adam Czajkowski, Ang...

claim paper

Read More »

121

click to vote

ARCS
2004
Springer

146views Software Engineering» more ARCS 2004»

Fault Tolerance in a DSM Cluster Operating System

15 years 9 months ago

Download www.plurix.de

Michael Schöttner, Stefan Frenz, Ralph Gö...

claim paper

Read More »

120

click to vote

DEXAW
2004
IEEE

93views Database» more DEXAW 2004»

Toward Self-Stabilizing Operating Systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers