23406 search results - page 4542 / 4682 » Architecture, Design, Implementation |
132
click to vote
INFOCOM
2009
IEEE
16 years 4 days ago
2009
IEEE
—Although layered streaming in heterogeneous peer-to-peer networks has drawn great interest in recent years, there’s still a lack of systematical studies on its data scheduling...
153
click to vote
IPPS
2009
IEEE
16 years 4 days ago
2009
IEEE
The use of asymmetric multi-core processors with onchip computational accelerators is becoming common in a variety of environments ranging from scientific computing to enterprise...
171
click to vote
MICRO
2009
IEEE
16 years 4 days ago
2009
IEEE
Cache blocks often exhibit a small number of uses during their life time in the last-level cache. Past research has exploited this property in two different ways. First, replacem...
171
click to vote
MICRO
2009
IEEE
16 years 4 days ago
2009
IEEE
With transistor miniaturization leading to an abundance of on-chip resources and uniprocessor designs providing diminishing returns, the industry has moved beyond single-core micr...
171
click to vote
TPHOL
2009
IEEE
16 years 4 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...