11231 search results - page 2208 / 2247 » Digging for Data Structures |
110
click to vote
APLAS
2010
ACM
14 years 11 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
100
click to vote
ASUNAM
2010
IEEE
14 years 11 months ago
2010
IEEE
—To understand the diffusive spreading of a product in a telecom network, whether the product is a service, handset, or subscription, it can be very useful to study the structure...
ISLPED
2010
ACM
14 years 11 months ago
2010
ACM
Estimation of static and dynamic energy of caches is critical for high-performance low-power designs. Commercial CAD tools performing energy estimation statically are not aware of...
113
click to vote
RECSYS
2010
ACM
14 years 11 months ago
2010
ACM
Recommendation systems suggest items based on user preferences. Collaborative filtering is a popular approach in which recommending is based on the rating history of the system. O...
101
click to vote
DSD
2010
IEEE
14 years 11 months ago
2010
IEEE
—Periodic on-chip scan-based tests have to be applied to a many-core processor SoC to improve its dependability. An infrastructural IP module has been designed and incorporated i...