Sciweavers

4155 search results - page 184 / 831
» Topic-Specific Optimization and Structuring
Sort
View
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 11 months ago
Optimizing equivalence checking for behavioral synthesis
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang
WIAMIS
2009
IEEE
16 years 1 months ago
Optimizing strategies for the exploration of social networks and associated data collections
Multimedia data collections immersed into social networks may be explored from the point of view of varying documents and users characteristics. In this paper, we develop a unifi...
Stéphane Marchand-Maillet, Eniko Szekely, E...
FUZZIEEE
2007
IEEE
16 years 27 days ago
Adaptive Optimization of the Number of Clusters in Fuzzy Clustering
In this paper, we present a local, adaptive optimization scheme for adjusting the number of clusters in fuzzy C-means clustering. This method is especially motivated by online app...
Jürgen Beringer, Eyke Hüllermeier
ISSS
1995
IEEE
100views Hardware» more  ISSS 1995»
15 years 10 months ago
Optimal code generation for embedded memory non-homogeneous register architectures
This paper examines the problem of code-generation for expression trees on non-homogeneous register set architectures. It proposes and proves the optimality of an O(n) algorithm f...
Guido Araujo, Sharad Malik
USENIX
2008
15 years 9 months ago
Automatic Optimization of Parallel Dataflow Programs
Large-scale parallel dataflow systems, e.g., Dryad and Map-Reduce, have attracted significant attention recently. High-level dataflow languages such as Pig Latin and Sawzall are b...
Christopher Olston, Benjamin Reed, Adam Silberstei...