460 search results - page 79 / 92 » RTL-Datapath Verification using Integer Linear Programming |
INFOCOM
2006
IEEE
14 years 23 days ago
2006
IEEE
— In this paper, we study the survivability problem in hierarchical wireless access networks with dual-homed end users, who are connected to two base stations (BSs), a primary BS...
ASPDAC
2006
ACM
14 years 21 days ago
2006
ACM
—As the VLSI manufacturing technology advances into the deep sub-micron(DSM) era, the mask cost can reach one or two million dollars. Multiple project wafers (MPW) which put diï¬...
ASPDAC
2006
ACM
14 years 21 days ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
ASPDAC
2006
ACM
14 years 21 days ago
2006
ACM
System-on-chip and system-in-package result in increased number of I/O cells and complicated constraints for both chip designs and package designs. This renders the traditional ma...
CGO
2005
IEEE
14 years 11 days ago
2005
IEEE
Register allocation is one of the most important optimizations a compiler performs. Conventional graphcoloring based register allocators are fast and do well on regular, RISC-like...