5333 search results - page 249 / 1067 » Optimizing Computer System Configurations |
122
Voted
SACMAT
2010
ACM
15 years 3 months ago
2010
ACM
There have been many approaches proposed for role mining. However, the problems solved often differ due to a lack of consensus on the formal definition of the role mining problem....
134
Voted
FORTE
2009
15 years 1 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
162
click to vote
COMAD
2009
15 years 4 months ago
2009
Stream grids are wide-area grid computing environments that are fed by a set of stream data sources. Such grids are becoming more wide-spread due to the large scale deployment of ...
115
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
We describe a scalable and general-purpose framework for auto-tuning compiler-generated code. We combine Active Harmony’s parallel search backend with the CHiLL compiler transfo...
139
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Distributed problem solving by a multiagent system represents a promising approach to solving complex computational problems. However, many multiagent systems require certain degr...