10568 search results - page 418 / 2114 » Computer Intelligence and Formalization |
130
click to vote
ISQED
2010
IEEE
15 years 11 months ago
2010
IEEE
— Post-silicon debug comprises a significant and highly variable fraction of the total development time for large chip designs. To accelerate post-silicon debug, BackSpace [1, 2...
141
click to vote
CGO
2009
IEEE
15 years 11 months ago
2009
IEEE
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...
147
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
123
click to vote
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
131
click to vote
WETICE
2003
IEEE
15 years 10 months ago
2003
IEEE
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...