1833 search results - page 211 / 367 » Mechanized Verification with Sharing |
146
click to vote
AINA
2007
IEEE
16 years 25 days ago
2007
IEEE
Congestion control for compressed audio is a nontrivial pursuit. Audio perception is highly susceptible to disturbance in temporal quality. We recently proposed and implemented a ...
148
click to vote
CEC
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— This paper provides a deep insight into the performance of genetic algorithms with reserve selection (GARS), and investigates how parameters can be regulated to solve o...
173
click to vote
GLOBECOM
2007
IEEE
16 years 25 days 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...
128
click to vote
ISCAS
2007
IEEE
16 years 24 days ago
2007
IEEE
— This paper reports intermediate-scale instability in a single-stage power-factor-correction (PFC) power supply that employs a cascade configuration of a boost stage operating ...
167
click to vote
LCN
2007
IEEE
16 years 23 days ago
2007
IEEE
—Vehicular networks face a typical quandary in their requirement for communications that are at once secure and private. While the messages broadcast between vehicles and between...