1833 search results - page 266 / 367 » Mechanized Verification with Sharing |
122
click to vote
ICCD
2007
IEEE
16 years 1 months ago
2007
IEEE
As chip multiprocessors (CMPs) become the only viable way to scale up and utilize the abundant transistors made available in current microprocessors, the design of on-chip network...
131
click to vote
ICCD
2000
IEEE
16 years 1 months ago
2000
IEEE
Most well-performing load value predictors are hybrids that combine multiple predictors into one. Such hybrids are often large. To reduce their size and to improve their performan...
135
click to vote
SOSP
2001
ACM
16 years 1 months ago
2001
ACM
We propose a new design for highly concurrent Internet services, which we call the staged event-driven architecture (SEDA). SEDA is intended to support massive concurrency demands...
140
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
125
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
The history of songs, to which a person has listened, is a very personal piece of information. It is a rich data set that comes as a byproduct of the use of digital music players ...