3872 search results - page 600 / 775 » The Java memory model |
114
click to vote
SC
1990
ACM
15 years 6 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
126
Voted
ACCV
2009
Springer
15 years 6 months ago
2009
Springer
We study the problem of classifying images into a given, pre-determined taxonomy. The task can be elegantly translated into the structured learning framework. Structured learning, ...
145
Voted
BIOWIRE
2007
Springer
15 years 6 months ago
2007
Springer
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...
115
click to vote
CGI
2004
IEEE
15 years 6 months ago
2004
IEEE
Rendering geometric models with complex surface materials in arbitrary lighting environments is a challenging problem. In order to relight and render geometries covered with compl...
139
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...