2078 search results - page 159 / 416 » MetaCores: Design and Optimization Techniques |
156
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
Stencil computations form the performance-critical core of many applications. Tiling and parallelization are two important optimizations to speed up stencil computations. Many til...
186
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
152
click to vote
AAAI
2006
15 years 8 months ago
2006
Distributed Constraint Optimization (DCOP) is rapidly emerging as a prominent technique for multiagent coordination. However, despite agent privacy being a key motivation for appl...
154
click to vote
TKDE
2008
15 years 6 months ago
2008
We present a genetic algorithm for tackling a file assignment problem for a large-scale video-on-demand system. The file assignment problem is to find the optimal replication and a...
172
click to vote
ICCAD
1991
IEEE
15 years 10 months ago
1991
IEEE
As feature sizes decrease and chip sizes increase, the area and performance of chips become dominated by the interconnect. In spite of this trend, most existing synthesis systems ...