4809 search results - page 23 / 962 » Scalable Analysis of Scalable Systems |
126
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
112
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
146
Voted
MICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
140
click to vote
PODC
2009
ACM
15 years 11 months ago
2009
ACM
We study communication complexity of consensus in synchronous message-passing systems with processes prone to crashes. The goal in the consensus problem is to have all the nonfaul...
140
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—P2P (peer-to-peer) technology has proved itself an efficient and cost-effective solution to support large-scale multimedia streaming. Different from traditional P2P application...