440 search results - page 74 / 88 » Local reasoning for abstraction and sharing |
119
click to vote
WDAG
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
103
Voted
NOMS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Network monitoring and measurement is commonly regarded as an essential function for understanding, managing and improving the performance and security of network infra...
124
Voted
RTSS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
126
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We use a simple yet powerful higher-order conditional random field (CRF) to model optical flow. It consists of a standard photoconsistency cost and a prior on affine mo...
109
Voted
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...