Sciweavers

82 search results - page 17 / 17
» Extended Directed Search for Probabilistic Timed Reachabilit...
Sort
View
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
14 years 6 months ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...
CGF
2007
168views more  CGF 2007»
13 years 6 months ago
Global Illumination using Photon Ray Splatting
We present a novel framework for efficiently computing the indirect illumination in diffuse and moderately glossy scenes using density estimation techniques. Many existing global...
Robert Herzog, Vlastimil Havran, Shin-ichi Kinuwak...