Sciweavers

13917 search results - page 64 / 2784

» Abstraction of Probabilistic Systems

125

HOTOS
1993
IEEE

108views Operating System» more HOTOS 1993»

Processor Capacity Reserves: An Abstraction for Managing Processor Usage

15 years 8 months ago

Processor Capacity Reserves: An Abstraction for Managing Processor Usage

Download cseweb.ucsd.edu

Clifford W. Mercer, Stefan Savage, Hideyuki Tokuda

claim paper

Read More »

109

SOSP
2007
ACM

101views Operating System» more SOSP 2007»

Protection and communication abstractions for web browsers in MashupOS

15 years 6 months ago

Protection and communication abstractions for web browsers in MashupOS

Download research.microsoft.com

Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Ja...

claim paper

Read More »

132

USENIX
2003

124views Operating System» more USENIX 2003»

Currentcy: A Unifying Abstraction for Expressing Energy Management Policies

15 years 6 months ago

Currentcy: A Unifying Abstraction for Expressing Energy Management Policies

Download www.cs.duke.edu

Heng Zeng, Carla Schlatter Ellis, Alvin R. Lebeck,...

claim paper

Read More »

125

USENIX
2000

105views Operating System» more USENIX 2000»

Virtual Services: A New Abstraction for Server Consolidation

15 years 5 months ago

Virtual Services: A New Abstraction for Server Consolidation

Download www.usenix.org

John Reumann, Ashish Mehra, Kang G. Shin, Dilip D....

claim paper

Read More »

129

ENTCS
2006

154views more ENTCS 2006»

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

15 years 4 months ago

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Download osl.cs.uiuc.edu

We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...

Gul A. Agha, José Meseguer, Koushik Sen

claim paper

Read More »

« Prev « First page 64 / 2784 Last » Next »