Search Sciweavers | Sciweavers

6978 search results - page 302 / 1396

» On Proofs in System P

130

click to vote

CC
2006
Springer

89views System Software» more CC 2006»

Iterative Collective Loop Fusion

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Thomas J. Ashby, Michael F. P. O'Boyle

claim paper

Read More »

144

click to vote

SRDS
1991
IEEE

115views Operating System» more SRDS 1991»

A Model for Interface Groups

15 years 10 months ago

Download www.ansa.co.uk

Michael H. Olsen, Ed Oskiewicz, John P. Warne

claim paper

Read More »

159

click to vote

RTSS
1989
IEEE

168views Control Systems» more RTSS 1989»

The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior

15 years 10 months ago

Download www.cc.gatech.edu

John P. Lehoczky, Lui Sha, Y. Ding

claim paper

Read More »

134

click to vote

SOSP
1989
ACM

73views Operating System» more SOSP 1989»

Simple But Effective Techniques for NUMA Memory Management

15 years 8 months ago

Download www.stanford.edu

William J. Bolosky, Robert P. Fitzgerald, Michael ...

claim paper

Read More »

145

click to vote

HASE
2007
IEEE

82views Control Systems» more HASE 2007»

High-Assurance Distributed, Adaptive Software for Dynamic Systems

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers