2251 search results - page 289 / 451 » Specification and Implementation Problems for C |
155
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...
149
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
132
click to vote
FCCM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Photodynamic therapy (PDT) is a method of treating cancer that combines light and light-sensitive drugs to selectively destroy cancerous tumours without harming the healthy tiss...
139
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, we propose a new implementation of the EMS decoder for non binary LDPC codes presented in [7]. A particularity of the new algorithm is that it takes into account...
126
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
There are two popular parallel programming paradigms available to high performance computing users such as engineering and physics professionals: message passing and distributed s...