2572 search results - page 243 / 515 » codes 2008 |
148
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
157
click to vote
GAMEON
2008
15 years 6 months ago
2008
The increasing complexity of game development highlights the need of intellectual and industrial tools to enhance productivity in terms of quality, time and cost. In this paper we...
128
Voted
CAL
2006
15 years 5 months ago
2006
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
127
click to vote
CONCURRENCY
2006
15 years 5 months ago
2006
To keep up with a large degree of instruction level parallelism (ILP), the Itanium 2 cache systems use a complex organization scheme: load/store queues, banking and interleaving. ...
133
Voted
CVIU
2007
15 years 5 months ago
2007
This article proposes a generative image model, which is called ‘‘primal sketch,’’ following Marr’s insight and terminology. This model combines two prominent classes of...