14360 search results - page 2819 / 2872 » Time Modeling in MARTE |
158
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
MapReduce offers a flexible programming model for processing and generating large data sets on dedicated resources, where only a small fraction of such resources are every unavaila...
167
click to vote
AAAI
2010
15 years 6 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...
197
click to vote
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Given the increasing complexity of multi-processor systems-onchip, a wide range of parameters must be tuned to find the best trade-offs in terms of the selected system figures of ...
166
click to vote
AIPS
2010
15 years 6 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
151
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Despite the recent advances in planning with MDPs, the problem of generating good policies is still hard. This paper describes a way to generate policies in MDPs by (1) determiniz...