Sciweavers

4854 search results - page 248 / 971
» It's the Programming, Stupid
Sort
View
TOCS
1998
83views more  TOCS 1998»
15 years 6 months ago
Using Value Prediction to Increase the Power of Speculative Execution Hardware
This paper presents an experimental and analytical study of value prediction and its impact on speculative execution in superscalar microprocessors. Value prediction is a new para...
Freddy Gabbay, Avi Mendelson
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
15 years 5 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
TWC
2010
15 years 1 months ago
Superimposed training designs for spatially correlated MIMO-OFDM systems
Only one asymptotic training design for a special case of channel correlation was proposed in the literature for spatially correlated multiple-input multiple-output with orthogonal...
Nguyen Nam Tran, Hoang Duong Tuan, Ha H. Nguyen
ECCV
2006
Springer
16 years 9 months ago
A Fast Line Segment Based Dense Stereo Algorithm Using Tree Dynamic Programming
Many traditional stereo correspondence methods emphasized on utilizing epipolar constraint and ignored the information embedded in inter-epipolar lines. Actually some researchers h...
Yi Deng, Xueyin Lin
PPDP
2009
Springer
16 years 1 months ago
Automatic refactoring of Erlang programs
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
Konstantinos F. Sagonas, Thanassis Avgerinos