2137 search results - page 184 / 428 » Proving Abstract Non-interference |
114
click to vote
ETS
2007
IEEE
15 years 9 months ago
2007
IEEE
— The growth in System-on-Chip complexity puts pressure on system verification. Due to limitations in the pre-silicon verification process, errors in hardware and software slip...
127
click to vote
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Cooperative transmission can greatly improve communication system performance by taking advantage of the broadcast nature of wireless channels. Most previous work on re...
103
click to vote
GRC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— One of the relations used with granularity is indistinguishability, where distinguishable entities in a finer-grained granule are indistinguishable in a coarser-graine...
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— A new control algorithm for log2(N, 0, p) switching networks composed of 2 × 2 switching elements has been proposed recently. Under this algorithm, log2(N, 0, p) switc...
95
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— In recent years performance prediction for communication systems utilizing iteratively decodable codes has been of considerable interest. There have been significant b...