Sciweavers

LICS
2003
IEEE
13 years 9 months ago
Reasoning about Hierarchical Storage
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
Amal J. Ahmed, Limin Jia, David Walker
RTCSA
2009
IEEE
13 years 10 months ago
Towards Real Multi-criticality Scheduling
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
Stefan M. Petters, Martin Lawitzky, Ryan Heffernan...
PPOPP
2009
ACM
14 years 4 months ago
A comparison of programming models for multiprocessors with explicitly managed memory hierarchies
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
Scott Schneider, Jae-Seung Yeom, Benjamin Rose, Jo...