Sciweavers

2784 search results - page 17 / 557
» Light analysis of complex systems
Sort
View
CADE
2008
Springer
13 years 9 months ago
Automated Implicit Computational Complexity Analysis (System Description)
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
Martin Avanzini, Georg Moser, Andreas Schnabl
ACSD
2006
IEEE
75views Hardware» more  ACSD 2006»
14 years 1 months ago
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems
Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban...
SIGGRAPH
1997
ACM
13 years 12 months ago
Rendering complex scenes with memory-coherent ray tracing
Simulating realistic lighting and rendering complex scenes are usually considered separate problems with incompatible solutions. Accurate lighting calculations are typically perfo...
Matt Pharr, Craig E. Kolb, Reid Gershbein, Pat Han...