460 search results - page 61 / 92 » RTL-Datapath Verification using Integer Linear Programming |
112
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— We consider the problem of power controlled minimum frame length scheduling for TDMA wireless networks. Given a set of one-hop transmission requests, our objective is t...
92
Voted
FPL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper focuses on a class of problem relating to the multiplication of a single number by several coefficients that, while not constant, are drawn from a finite set ...
107
click to vote
ESA
2003
Springer
15 years 7 months ago
2003
Springer
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
121
click to vote
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract--Power-awareness in networking attracts more attention as the trends in the energy consumption of the Internet raise growing concerns about the environmental impacts and s...
110
Voted
PDPTA
2004
15 years 3 months ago
2004
Abstract One of the goals envisioned by Grid computing is to make the execution of both computational and data-intensive problems possible. A key problem is finding the optimal set...