2302 search results - page 418 / 461 » Testing as Abstraction |
152
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— Power consumption has become a crucial problem in modern circuit design. Multiple Supply Voltage (MSV) design is introduced to provide higher flexibility in controllin...
161
Voted
SOSP
2003
ACM
16 years 2 months ago
2003
ACM
Numerous systems have been designed which use virtualization to subdivide the ample resources of a modern computer. Some require specialized hardware, or cannot support commodity ...
208
Voted
WEA
2010
Springer
16 years 2 days ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
206
click to vote
WEA
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. Mobile users are roaming in a zone of cells in a cellular network system. The probabilities of each user residing in each cell are known, and all probabilities are indepe...
137
click to vote
DATE
2009
IEEE
16 years 3 hour ago
2009
IEEE
Abstract—With the increasing scaling of manufacturing technology, process variation is a phenomenon that has become more prevalent. As a result, in the context of Chip Multiproce...