6709 search results - page 924 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
192
click to vote
GRAPHITE
2003
ACM
16 years 28 days ago
2003
ACM
We present a system allowing real-time image based lighting based on HDR panoramic images. The system performs time-consuming diffuse light calculations in a preprocessing step, w...
179
click to vote
DAGM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper presents a fast object class localization framework implemented on a data parallel architecture currently available in recent computers. Our case study, the im...
218
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
190
click to vote
ANSS
2005
IEEE
16 years 1 months ago
2005
IEEE
When performed on a classical computer, the simulation of quantum circuits is usually an exponential job. The methodology based on Hardware Description Languages is able to isolat...
181
click to vote
LCTRTS
2005
Springer
16 years 1 months ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...