817 search results - page 154 / 164 » Exact solutions to linear programming problems |
ASPDAC
2006
ACM
14 years 1 months 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...
DATE
2005
IEEE
14 years 1 months 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 ...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
QSHINE
2005
IEEE
14 years 1 months ago
2005
IEEE
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...
ICCAD
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper proposes for latency insensitive systems a performance optimization technique called channel buffer queue sizing, which is performed after relay station insertion in th...