2746 search results - page 235 / 550 » Case Study in Survivable Network System Analysis |
223
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Recently, there has been much excitement in the research community over using social networks to mitigate multiple identity, or Sybil, attacks. A number of schemes have been propo...
195
click to vote
FGCS
2006
15 years 7 months ago
2006
Some of the most challenging applications to parallelize scalably are the ones that present a relatively small amount of computation per iteration. Multiple interacting performanc...
188
click to vote
TROB
2002
15 years 6 months ago
2002
This paper concerns the stability analysis of a new class of model-free visual servoing methods. These methods are "model-free" since they are based on the estimation of ...
251
click to vote
TPHOL
2006
IEEE
16 years 1 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
205
click to vote
FAST
2010
15 years 9 months ago
2010
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...