1064 search results - page 95 / 213 » Disjoint Systems (Extended Abstract) |
SPIN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
RSCTC
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
SOSP
2007
ACM
14 years 7 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...
SMC
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— Wireless networked control systems have begun to gain acceptance during the last decade, largely due to the increased flexibility and lower costs they promise to provi...