Sciweavers

172 search results - page 35 / 35
» Precise Analysis of Memory Consumption using Program Logics
Sort
View
LICS
2009
IEEE
14 years 5 months ago
The Structure of First-Order Causality
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
Samuel Mimram
HPCA
2006
IEEE
14 years 11 months ago
Phase characterization for power: evaluating control-flow-based and event-counter-based techniques
Computer systems increasingly rely on dynamic, phasebased system management techniques, in which system hardware and software parameters may be altered or tuned at runtime for dif...
Canturk Isci, Margaret Martonosi