Search Sciweavers | Sciweavers

16702 search results - page 245 / 3341

» Server operating systems

298

click to vote

POPL
2009
ACM

148views Programming Languages» more POPL 2009»

Verifying distributed systems: the operational approach

16 years 6 months ago

Download www.cl.cam.ac.uk

This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...

Tom Ridge

claim paper

Read More »

211

click to vote

ECRTS
2010
IEEE

188views Embedded Systems» more ECRTS 2010»

Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes

15 years 7 months ago

Download user.it.uu.se

Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...

Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi

claim paper

Read More »

180

click to vote

ICFP
1999
ACM

152views Programming Languages» more ICFP 1999»

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)

15 years 10 months ago

Download www.ccs.neu.edu

The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...

Matthew Flatt, Robert Bruce Findler, Shriram Krish...

claim paper

Read More »

197

click to vote

SOSP
2003
ACM

111views Operating System» more SOSP 2003»

Energy-efficient soft real-time CPU scheduling for mobile multimedia systems

16 years 2 months ago

Download i30www.ira.uka.de

Wanghong Yuan, Klara Nahrstedt

claim paper