1360 search results - page 200 / 272 » Reasoning on Workflow Executions |
144
click to vote
POPL
2010
ACM
16 years 23 days ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
128
click to vote
TLDI
2009
ACM
16 years 8 days ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
118
Voted
CSCW
2010
ACM
16 years 7 days ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...
156
Voted
EUROGRAPHICS
2010
Eurographics
15 years 11 months ago
2010
Eurographics
We present a novel approach to ray tracing execution on commodity graphics hardware using CUDA. We decompose
a standard ray tracing algorithm into several data-parallel stages tha...
161
Voted
ISPASS
2009
IEEE
15 years 10 months ago
2009
IEEE
Trace-driven simulation of superscalar processors is particularly complicated. The dynamic nature of superscalar processors combined with the static nature of traces can lead to l...