2935 search results - page 508 / 587 » An Integrated Approach to High Integrity Software Verificati... |
120
click to vote
VC
2010
15 years 4 months ago
2010
Abstract In this article we show, how temporal backdrops that alternately change their color rapidly at recording rate can aid chroma keying by transforming color spill into a neut...
160
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
125
click to vote
CONEXT
2010
ACM
15 years 3 months ago
2010
ACM
Channel Bonding (CB) combines two adjacent frequency bands to form a new, wider band to facilitate high data rate transmissions in MIMO-based 802.11n networks. However, the use of...
152
click to vote
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
The aviation community is currently working on the standardization of data communication systems for the future air traffic management. In this context, the ICAO and EUROCONTROL ar...
150
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
With the advent of the multicore era, parallel programming is becoming ubiquitous. Multithreading is a common approach to benefit from these architectures. Hybrid M:N libraries lik...