19 search results - page 1 / 4 » vmcai 2009 |
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
We study price-per-reward games on hybrid automata with strong resets. They generalise priced games previously studied and have applications in scheduling. We obtain decidability r...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...