758 search results - page 63 / 152 » Timing Analysis of Optimised Code |
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...
CASES
2007
ACM
14 years 2 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
WCNC
2010
IEEE
13 years 8 months ago
2010
IEEE
: The two-phase MIMO NC (network coding) scheme can be used to boost the throughput in a two-way relay channel in which nodes are equipped with multiple antennas. The obvious strat...
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
TACAS
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...