114
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
t). RECOMB/ISCB Conference on Regulatory and Systems Genomics, 2014 POPL 2013 Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman. Synthe...
130
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. We present Adam, a tool for the automatic synthesis of distributed systems with multiple concurrent processes. For each process, an individual controller is synthesized t...
114
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
We propose a declarative measurement specification language for quantitative performance evaluation of hybrid (discrete-continuous) systems based on simulation traces. We use time...
104
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
Our Mathematical Programming Modulo Theories (MPMT) constraint solving framework extends Mathematical Programming technology with techniques from the field of Automated Reasoning,...
113
click to vote
CAV
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. A popular model of asynchronous programming consists of a singlethreaded worker process interacting with a task queue. In each step of such a program, the worker takes a ...