Sciweavers

1256 search results - page 58 / 252
» Experiences with the DEVStone benchmark
Sort
View
IFL
2005
Springer
107views Formal Methods» more  IFL 2005»
15 years 5 months ago
With-Loop Fusion for Data Locality and Parallelism
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
Clemens Grelck, Karsten Hinckfuß, Sven-Bodo ...
ICANN
2003
Springer
15 years 5 months ago
A Comparison of Model Aggregation Methods for Regression
Combining machine learning models is a means of improving overall accuracy.Various algorithms have been proposed to create aggregate models from other models, and two popular examp...
Zafer Barutçuoglu
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 5 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
ITC
2002
IEEE
83views Hardware» more  ITC 2002»
15 years 4 months ago
Packet-Based Input Test Data Compression Techniques
1 This paper presents a test input data compression technique, which can be used to reduce input test data volume, test time, and the number of required tester channels. The techni...
Erik H. Volkerink, Ajay Khoche, Subhasish Mitra
ICANN
2001
Springer
15 years 4 months ago
Fast Curvature Matrix-Vector Products
The method of conjugate gradients provides a very effective way to optimize large, deterministic systems by gradient descent. In its standard form, however, it is not amenable to ...
Nicol N. Schraudolph