3552 search results - page 611 / 711 » Proof theory in the abstract |
170
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...
158
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
142
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Available network information is an important factor in determining network performance. In this paper, we study the basic limits on the amount of network information th...
152
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— In this paper, a novel multiple target localization approach is proposed by exploiting the compressive sensing theory, which indicates that sparse or compressible signa...
181
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...