1396 search results - page 175 / 280 » aim 2006 |
113
click to vote
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
100
click to vote
ICDCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Publish/Subscribe systems provide a useful platform for delivering data (events) from publishers to subscribers in an anonymous fashion in distributed networks. In this paper, we ...
100
Voted
ICDCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Earlier work has developed the underpinnings of a theory of scheduling computations having intertask dependencies—modeled via dags—for Internet-based computing. The goal of th...
126
Voted
ICDCSW
2006
IEEE
15 years 6 months ago
2006
IEEE
To ensure decoupling between publishers and subscribers, most publish-subscribe systems route notifications through intermediate message brokers. A byproduct of this practice is ...
100
Voted
ICDCSW
2006
IEEE
15 years 6 months ago
2006
IEEE
Subscription pruning has been proven as valuable routing optimization for Boolean subscriptions in publish/subscribe systems. It aims at optimizing subscriptions independently of ...