317 search results - page 60 / 64 » Benchmarking weak memory models |
122
Voted
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
111
Voted
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
135
Voted
AUSAI
2008
Springer
15 years 3 months ago
2008
Springer
In recent years, there has been a cross-fertilization of ideas between computational neuroscience models of the operation of the neocortex and artificial intelligence models of mac...
135
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
Tagged data is rapidly becoming more available on the World Wide Web. Web sites which populate tagging services offer a good way for Internet users to share their knowledge. An in...
118
Voted
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
Algorithms for discrete energy minimization play a fundamental role for low-level vision. Known techniques include graph cuts, belief propagation (BP) and recently introduced tree-...