4809 search results - page 372 / 962 » Scalable Analysis of Scalable Systems |
197
click to vote
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
Traditional coherence protocols present a set of difficult tradeoffs: the reliance of snoopy protocols on broadcast and ordered interconnects limits their scalability, while dire...
232
Voted
CCS
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
183
Voted
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
185
Voted
WWW
2005
ACM
16 years 8 months ago
2005
ACM
Taxonomies of the Web typically have hundreds of thousands of categories and skewed category distribution over documents. It is not clear whether existing text classification tech...
257
click to vote
FPL
2005
Springer
16 years 1 months ago
2005
Springer
With the onset of Gigabit networks, current generation networking components will soon be insufficient for numerous reasons: most notably because existing methods cannot support h...