Sciweavers

10871 search results - page 200 / 2175
» A stable programming language
Sort
View
ASPLOS
2008
ACM
15 years 4 months ago
Adaptive set pinning: managing shared caches in chip multiprocessors
Shekhar Srikantaiah, Mahmut T. Kandemir, Mary Jane...
ICALP
2010
Springer
15 years 4 months ago
Space-Efficient Scheduling of Stochastically Generated Tasks
Tomás Brázdil, Javier Esparza, Stefa...
92
Voted
ECOOP
2005
Springer
15 years 4 months ago
The Essence of Data Access in Comega
Gavin M. Bierman, Erik Meijer, Wolfram Schulte
ECOOP
2008
Springer
15 years 4 months ago
UpgradeJ: Incremental Typechecking for Class Upgrades
Gavin M. Bierman, Matthew J. Parkinson, James Nobl...
79
Voted
ESOP
2008
Springer
15 years 4 months ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...