6568 search results - page 292 / 1314 » Reducing the Complexity of Reductions |
211
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
213
Voted
CSREAESA
2004
15 years 8 months ago
2004
: In this paper we focus on the reduction of switching activity in combinational logic circuits. An algorithmic approach using k-map has been proposed which modifies the normal opt...
163
click to vote
WSC
2004
15 years 8 months ago
2004
This paper investigates the adequacy of various principal components (p.c.) approaches as data reduction schemes for processing contingent claim valuations on baskets of equities....
192
click to vote
ISCA
2005
IEEE
16 years 1 months ago
2005
IEEE
The load-store unit is a performance critical component of a dynamically-scheduled processor. It is also a complex and non-scalable component. Several recently proposed techniques...
236
Voted
CLOUD
2010
ACM
16 years 15 days ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...