1147 search results - page 165 / 230 » Differential Matching Constraints |
EUC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We have presented an optimal algorithm for minimal cost loop problem (MCLP), which consists of finding a set of minimum cost loops rooted at a source node. In the MCLP, t...
MM
2003
ACM
14 years 3 months ago
2003
ACM
Abstract The goal of the proposed capacity planning tool is to provide the best cost/performance configuration for support of a known media service workload. There are two essenti...
CAV
2009
Springer
14 years 2 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
GI
2009
Springer
14 years 2 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
ICMCS
1999
IEEE
14 years 2 months ago
1999
IEEE
Advances in networking and transmission of digital multimedia data will bring soon huge catalogues of music to users. Accessing these catalogues raises a problem for users and con...