3844 search results - page 699 / 769 » Modular interpreted systems |
161
Voted
CORR
2009
Springer
15 years 13 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
158
Voted
PODS
2011
ACM
14 years 5 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
105
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Workers in organizations frequently request help from assistants by sending request messages that express information intent: an intention to update data in an information system....
147
Voted
POPL
2010
ACM
16 years 22 hour ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
—We study two-player security games which can be viewed as sequences of nonzero-sum matrix games where at each stage of the iterations the players make imperfect observations of ...