460 search results - page 80 / 92 » RTL-Datapath Verification using Integer Linear Programming |
DATE
2005
IEEE
14 years 10 days ago
2005
IEEE
Main memories can consume a large percentage of overall energy in many data-intensive embedded applications. The past research proposed and evaluated memory banking as a possible ...
QSHINE
2005
IEEE
14 years 9 days ago
2005
IEEE
Abstract— Throughput is an important performance consideration for multihop wireless networks. In this paper, we study the joint link scheduling and power control problem, focusi...
DAC
2004
ACM
14 years 5 days ago
2004
ACM
Silicon compilers are often used in conjunction with Field Programmable Gate Arrays (FPGAs) to deliver flexibility, fast prototyping, and accelerated time-to-market. Many of these...
ISAAC
2004
Springer
14 years 3 days ago
2004
Springer
RNA is generally a single-stranded molecule where the bases form hydrogen bonds within the same molecule leading to structure formation. In comparing different homologous RNA mole...
CPM
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. The input to the Shortest Common Superstring (SCS) problem is a set S of k words of total length n. In the classical version the output is an explicit word SCS(S) in whic...