979 search results - page 16 / 196 » Footprints in Local Reasoning |
CAMAD
2009
IEEE
14 years 6 days ago
2009
IEEE
This paper describes SSSim, the Simple and Scalable Simulator for P2P streaming systems. SSSim is designed for performance and scalability, and allows the simulation of the diffus...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
NIPS
2004
13 years 8 months ago
2004
We describe a three
SIGGRAPH
1999
ACM
13 years 11 months ago
1999
ACM
Antialiasing of ray traced images is typically performed by supersampling the image plane. While this type of filtering works well for many algorithms, it is much more efficient t...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...