3676 search results - page 418 / 736 » Scalable component abstractions |
197
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
175
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
180
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In future massively distributed service-based computational systems, resources will span many locations, organisations and platforms. In such systems, the ability to all...
183
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
174
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Multi-view peer-to-peer (P2P) live streaming systems have recently emerged, where a user can simultaneously watch multiple channels. Previous work on multi-view P2P stre...