584 search results - page 82 / 117 » Perspectives on Transactional Memory |
CASSIS
2005
Springer
14 years 1 months ago
2005
Springer
Memory is one of the scarcest resource of embedded and constrained devices. This paper studies the memory footprint benefit of pre-deploying embedded Java systems up to their acti...
TOG
2008
13 years 7 months ago
2008
We reduce transmission bandwidth and memory space for images by factoring their repeated content. A transform map and a condensed epitome are created such that all image blocks ca...
SIPS
2008
IEEE
14 years 1 months ago
2008
IEEE
Belief propagation has become a popular technique for solving computer vision problems, such as stereo estimation and image denoising. However, it requires large memory and bandwi...
TACAS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
IISWC
2008
IEEE
14 years 2 months ago
2008
IEEE
Commercial server applications remain memory bound on modern multiprocessor systems because of their large data footprints, frequent sharing, complex non-strided access patterns, ...