2746 search results - page 235 / 550 » Case Study in Survivable Network System Analysis |
200
click to vote
SIGCOMM
2010
ACM
15 years 6 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...
171
click to vote
FGCS
2006
15 years 6 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...
168
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 ...
236
click to vote
TPHOL
2006
IEEE
16 years 18 days 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...
184
Voted
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...