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»
16 years 7 days 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»
14 years 11 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...