2137 search results - page 160 / 428 » Proving Abstract Non-interference |
121
Voted
SEFM
2008
IEEE
15 years 9 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
124
click to vote
AAIM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Given a digraph D, the Minimum Leaf Out-Branching problem (MinLOB) is the problem of finding in D an out-branching with the minimum possible number of leaves, i.e., vert...
121
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract Minimizing the energy consumption of target tracking using a mobile sensor network is proved to be NPcomplete. Based on proximity graph, an approximately optimal solution ...
131
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
121
click to vote
DNA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Gene assembly in ciliates is an impressive computational process. Ciliates have a unique way of storing their genetic information in two fundamentally different forms wi...