1833 search results - page 229 / 367 » Mechanized Verification with Sharing |
169
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a layout-driven test-architecture design and optimization technique for core-based system-on-chips (SoCs) that are fabricated using three-dimensional (3D) integration. ...
169
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
A new context management framework, which supports the interaction between different domain context managers, is proposed. Two different context producerconsumer patterns are defin...
196
click to vote
HPCA
2012
IEEE
14 years 2 months ago
2012
IEEE
Main memory latencies have always been a concern for system performance. Given that reads are on the critical path for CPU progress, reads must be prioritized over writes. However...
210
click to vote
MOBISYS
2003
ACM
16 years 6 months ago
2003
ACM
This work explores several system issues regarding the design and implementation of routing protocols for ad-hoc wireless networks. We examine the routing architecture in current ...
152
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—A significant percentage of online content is now published and consumed via the mechanism of crowdsourcing. While any user can contribute to these forums, a disproportionately...