4810 search results - page 786 / 962 » Modeling Value Speculation |
158
click to vote
WETICE
2006
IEEE
16 years 17 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
155
click to vote
AAECC
2006
Springer
16 years 17 days ago
2006
Springer
Abstract. This paper compares two approaches to reliable communication over fading channels using low-density parity check (LDPC) codes. The particular model considered is the bloc...
123
click to vote
ASPLOS
2006
ACM
16 years 16 days ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
164
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
- In this paper, a method is presented for finding a pixel transformation function that minimizes the backlight intensity while maintaining a pre-specified image distortion level f...
168
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
With the scaling of technology and higher requirements on performance and functionality, power dissipation is becoming one of the major design considerations in the development of...