3750 search results - page 592 / 750 » Code Optimization for Code Compression |
215
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
138
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
171
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We consider the Gaussian multiple-input multipleoutput (MIMO) multi-receiver wiretap channel, and derive the secrecy capacity region of this channel for the most genera...
194
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The two-way relay channel (TWRC) describes the communication between two terminals sharing a common relay. In this work we compare different protocols for the TWRC with a half-d...
149
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
Reed Solomon (RS) codes are used in a variety of (wireless) communication systems. Although commonly implemented in dedicated hardware, this paper explores the mapping of high-thr...