2935 search results - page 555 / 587 » An Integrated Approach to High Integrity Software Verificati... |
108
click to vote
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
Cross-module inter-procedural compiler optimization (IPO) and Feedback-Directed Optimization (FDO) are two important compiler techniques delivering solid performance gains. The co...
151
click to vote
CBMS
2004
IEEE
15 years 7 months ago
2004
IEEE
Coronary angiography has become an important tool in modern medicine by providing an additional modality for heart disease diagnostics. Even though the recorded images (or image s...
146
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
135
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
143
click to vote
COMSWARE
2006
IEEE
15 years 7 months ago
2006
IEEE
Applications using traditional protocol stacks (e.g TCP/IP) from wired networks do not function efficiently in mobile wireless scenarios. This is primarily due to the layered archi...