46 search results - page 7 / 10 » Satisfiability Modulo the Theory of Costs: Foundations and A... |
DAC
2002
ACM
14 years 6 months ago
2002
ACM
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
JSSPP
2010
Springer
13 years 3 months ago
2010
Springer
Cluster computing is excellent for parallel computation. It has become increasingly popular. In cluster computing, a service level agreement (SLA) is a set of quality of services (...
CCGRID
2005
IEEE
13 years 11 months ago
2005
IEEE
Grid computing can be characterized as a distributed infrastructure that is a collection of computing resources within or across locations that are aggregated to act as a unified ...
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
STOC
2004
ACM
14 years 5 months ago
2004
ACM
We consider several classical models in deterministic inventory theory: the single-item lot-sizing problem, the joint replenishment problem, and the multi-stage assembly problem. ...