16616 search results - page 137 / 3324 » Extending Extended Vacuity |
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
119
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
3D-integration is a promising technology to help combat the “Memory Wall” in future multi-core processors. Past work has considered using 3D-stacked DRAM as a large last-level...
158
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
128
Voted
ACISP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Two of the most recent and powerful multi-property-preserving (MPP) hash domain extension transforms are the Ramdom-Oracle-XOR (ROX) transform and the Enveloped Shoup (ES...