10870 search results - page 2041 / 2174 » Model Checking Programs |
125
click to vote
CCIA
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
125
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Machine learning techniques are increasingly being applied to problems in the domain of information retrieval and text mining. In this paper we present an application of ...
106
Voted
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
A Markov Decision Process (MDP) is a general model for solving planning problems under uncertainty. It has been extended to multiobjective MDP to address multicriteria or multiagen...
146
click to vote
ECRTS
2010
IEEE
15 years 2 months ago
2010
IEEE
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...
119
Voted
EUROPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Shared last level cache is crucial to performance. However, multithread program model incurs serious contention in shared cache. In this paper, to reduce average cache ac...