6939 search results - page 1333 / 1388 » Algorithm Engineering for Parallel Computation |
143
Voted
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
This article presents a multiprocessor system-on-chip synthesis (MPSoC) algorithm that optimizes system mean time to failure. Given a set of directed acyclic periodic graphs of co...
120
Voted
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a new efficient buffer management technique called shift buffering for automatic code synthesis from synchronous dataflow graphs (SDF). Two previous buffer man...
149
Voted
COLT
2008
Springer
15 years 4 months ago
2008
Springer
A pseudo-Boolean function is a real-valued function defined on {0, 1}n . A k-bounded function is a pseudo-Boolean function that can be expressed as a sum of subfunctions each of w...
149
click to vote
ICCAD
2009
IEEE
15 years 4 days ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...
155
Voted
SIGIR
2012
ACM
13 years 4 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...