19 search results - page 1 / 4 » vmcai 2009 |
106
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
105
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
121
Voted
VMCAI
2009
Springer
15 years 10 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...
117
Voted
VMCAI
2009
Springer
15 years 10 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...
142
Voted
VMCAI
2009
Springer
15 years 10 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...