5639 search results - page 210 / 1128 » Timed Abstract Non-interference |
153
Voted
HCI
2011
14 years 6 months ago
2011
Abstract. The effectiveness of animation in visualization is an interesting research topic that led to contradicting results in the past. On top of that, we are facing three addit...
152
click to vote
CONCUR
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
156
Voted
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—The problem of minimizing queueing delay of opportunistic access of multiple continuous time Markov channels is considered. A new access policy based on myopic sensing a...
118
click to vote
WDAG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we present fast and fully distributed algorithms for matching in weighted trees and general weighted graphs. The time complexity as well as the approximati...
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Loop-carried code placement (LCCP) is able to remove redundant computations that cannot be recognized by traditional code motion techniques. However, this comes possibly ...