1116 search results - page 83 / 224 » Applying Predicate Abstraction to Abstract State Machines |
105
click to vote
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...
113
click to vote
JMLR
2006
14 years 11 months ago
2006
We present Variable Influence Structure Analysis, or VISA, an algorithm that performs hierarchical decomposition of factored Markov decision processes. VISA uses a dynamic Bayesia...
100
click to vote
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
APPROX
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we consider two new online optimization problems (each with several variants), present similar online algorithms for both, and show that one reduces to the...
119
click to vote
IJIIDS
2008
14 years 11 months ago
2008
: Growing importance of distributed data mining techniques has recently attracted attention of researchers in multiagent domain. Several agent-based application have been already c...