4693 search results - page 795 / 939 » Verifying Hybrid Systems |
100
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
115
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— We propose an intercell downlink orthogonal frequency division multiple access (OFDMA) scheduling technique in a sectorized cellular network. Adjacent sectors from neig...
111
click to vote
HOST
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
74
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Children need to master reading letter-names and lettersounds before reading phrases and sentences. Pronunciation assessment of letter-names and letter-sounds read aloud is an imp...
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
—Trellis-coded modulation (TCM) is an attractive coded modulation technique which yields significant coding gain without bandwidth expansion. So far, researches concerning the o...