297 search results - page 49 / 60 » Heap Reference Analysis Using Access Graphs |
106
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
114
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
144
click to vote
PODC
1989
ACM
15 years 6 months ago
1989
ACM
Two tasks of communication in a multi-hop synchronous radio network are considered: point-to-point communication and broadcast (sending a message to all nodes of a network). Effi...
104
click to vote
TCOM
2010
14 years 8 months ago
2010
Abstract--This paper considers the problem of optimal subcarrier allocation in OFDMA systems to achieve the minimum outage probability while guaranteeing fairness. The optimal subc...
103
click to vote
VISSYM
2007
15 years 4 months ago
2007
Synchronous electrical activity in different brain regions is generally assumed to imply functional relationships between these regions. A measure for this synchrony is electroenc...