2324 search results - page 264 / 465 » Benchmark Generation Using Domain Specific Modeling |
122
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
146
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
143
click to vote
ENTCS
2008
15 years 2 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
164
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
We systematically evaluate a recently proposed method for unsupervised discrimination power analysis for feature selection and optimization in multimedia applications. A series of...
116
click to vote
ICANN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We develop a probabilistic interpretation of non-linear component extraction in neural networks that activate their hidden units according to a softmaxlike mechanism. On ...