1833 search results - page 228 / 367 » Mechanized Verification with Sharing |
187
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents ReMAP, a reconfigurable architecture geared towards accelerating and parallelizing applications within a heterogeneous CMP. In ReMAP, threads share a common rec...
225
click to vote
SGAI
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents work on using hierarchical long term memory to reduce the memory requirements of nearest sequence memory (NSM) learning, a previously published, instance-based ...
167
click to vote
FAST
2009
15 years 4 months ago
2009
The advent of cloud computing provides a cheap and convenient mechanism for scientists to share data. The utility of such data is obviously enhanced when the provenance of the dat...
187
click to vote
IADIS
2009
15 years 4 months ago
2009
IONS FOR ROBOT COLLABORATION Bent Bruun Kristensen Maersk Mc-Kinney Moller Institute, University of Southern Denmark Campusvej 55, DK-5230, Odense M, Denmark Collaboration between...
188
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
The survivability of backbone networks to failures is an on-going concern. This paper investigates survivability strategies for IP-over-WDM networks in a multi-layer framework wher...