8874 search results - page 372 / 1775 » A New Implementation of Automath |
209
click to vote
VC
2010
15 years 1 months ago
2010
High Dynamic Range (HDR) rendering has a growing success in video-games and virtual reality applications, as it improves the image quality and the player's immersion feeling....
196
click to vote
VLSI
2010
Springer
15 years 1 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
180
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, a new particle filter (PF) which we refer to as the decentralized PF (DPF) is proposed. By first decomposing the state into two parts, the DPF splits the filtering p...
211
click to vote
CGO
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
182
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Dynamic languages such as Javascript are the de-facto standard for web applications. However, generating efficient code for dynamically-typed languages is a challenge, because it...