3844 search results - page 699 / 769 » Modular interpreted systems |
210
click to vote
CORR
2009
Springer
15 years 4 months 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...
208
click to vote
PODS
2011
ACM
14 years 9 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 ...
145
click to vote
WWW
2007
ACM
16 years 6 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....
186
click to vote
POPL
2010
ACM
16 years 3 months 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...
134
click to vote
ICC
2009
IEEE
16 years 27 days 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 ...