6014 search results - page 930 / 1203 » Parametric Analysis of Computer Systems |
138
click to vote
NSDI
2007
15 years 7 months ago
2007
Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sou...
153
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
210
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Online bibliographic databases, such as DBLP in computer science and PubMed in medical sciences, contain abundant information about research publications in different fields. Each...
154
click to vote
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
152
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...