4690 search results - page 936 / 938 » An operational semantics for Scheme |
131
Voted
TSP
2010
14 years 6 months ago
2010
The Lasso is a popular technique for joint estimation and continuous variable selection, especially well-suited for sparse and possibly under-determined linear regression problems....
183
Voted
ISCA
2011
IEEE
14 years 3 months ago
2011
IEEE
Emerging memory technologies such as STT-RAM, PCRAM, and resistive RAM are being explored as potential replacements to existing on-chip caches or main memories for future multi-co...
125
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Main memory is responsible for a large and increasing fraction of the energy consumed by servers. Prior work has focused on exploiting DRAM low-power states to conserve energy. Ho...
128
click to vote
CTRSA
2011
Springer
14 years 3 months ago
2011
Springer
Non-malleability of a cryptographic primitive is a fundamental security property which ensures some sort of independence of cryptographic values. The notion has been extensively st...
124
Voted
CCS
2011
ACM
13 years 11 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...