10820 search results - page 132 / 2164 » Understanding the |
140
click to vote
ACSAC
2006
IEEE
16 years 14 days ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
190
click to vote
APCSAC
2006
IEEE
16 years 14 days ago
2006
IEEE
The majority of currently available branch predictors base their prediction accuracy on the previous k branch outcomes. Such predictors sustain high prediction accuracy but they do...
133
click to vote
GLOBECOM
2006
IEEE
16 years 13 days ago
2006
IEEE
— While the Internet continues to thrive, the resiliency of its fundamental routing infrastructure is not fully understood. In this paper, we analyze the behavior of the de facto...