692 search results - page 123 / 139 » BDD minimization for approximate computing |
110
Voted
BMCBI
2010
14 years 5 months ago
2010
Background: The Ensembl project produces updates to its comparative genomics resources with each of its several releases per year. During each release cycle approximately two week...
110
click to vote
CORR
2011
Springer
14 years 2 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
ICALP
2003
Springer
15 years 3 months ago
2003
Springer
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...
102
click to vote
SODA
2008
ACM
14 years 12 months ago
2008
ACM
We study the problem of scheduling permanent jobs on unrelated machines when the objective is to minimize the Lp norm of the machine loads. The problem is known as load balancing ...
108
click to vote
TCOM
2008
14 years 10 months ago
2008
Abstract--We investigate a new approach to uplink communications in wideband outdoor cellular systems that can take advantage of multiple antennas at the base station in a scalable...