25 search results - page 5 / 5 » Connection Analysis: A Practical Interprocedural Heap Analys... |
MOBISYS
2007
ACM
14 years 4 months ago
2007
ACM
We consider the problem of providing vehicular Internet access using roadside 802.11 access points. We build on previous work in this area [18, 8, 5, 11] with an extensive experim...
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
SIGMOD
2008
ACM
14 years 5 months ago
2008
ACM
As peer-to-peer (P2P) networks become more familiar to the database community, intense interest has built up in using their scalability and resilience properties to scale database...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
A group key agreement protocol (GKA) allows a set of players to establish a shared secret key which can be used to secure a subsequent communication. Several efficient constantrou...
PODC
1994
ACM
13 years 9 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...