2205 search results - page 172 / 441 » Mutation Operators for Specifications |
163
click to vote
ICIP
2009
IEEE
15 years 4 days ago
2009
IEEE
In this paper we briefly overview emerging trends in `Adaptive Morphology', i.e. work related to the theory and/or applications of image analysis filters, systems, or algorit...
138
click to vote
ICS
2009
Tsinghua U.
15 years 4 days ago
2009
Tsinghua U.
This paper presents high-performance collective communication algorithms and implementations that exploit the unique architectural features of the Cell heterogeneous multicore pro...
131
click to vote
FUIN
2010
14 years 11 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
128
click to vote
PODS
2012
ACM
13 years 4 months ago
2012
ACM
We study the mergeability of data summaries. Informally speaking, mergeability requires that, given two summaries on two data sets, there is a way to merge the two summaries into ...
134
Voted
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...