11168 search results - page 1886 / 2234 » Abstract State Processes |
HIPEAC
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
115
click to vote
ICCD
2006
IEEE
16 years 3 days ago
2006
IEEE
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
121
click to vote
ICCD
2006
IEEE
16 years 3 days ago
2006
IEEE
Abstract— Capacitive and inductive crosstalk noises are expected to be more serious in advanced technologies. However, capacitive and inductive crosstalk noises in the future hav...
124
click to vote
ICCAD
2008
IEEE
16 years 2 days ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
105
click to vote
PADL
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...