3750 search results - page 592 / 750 » Code Optimization for Code Compression |
162
Voted
TACAS
2010
Springer
15 years 10 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...
108
click to vote
COMPSAC
2009
IEEE
15 years 10 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 ...
132
Voted
GLOBECOM
2009
IEEE
15 years 10 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...
151
click to vote
ICC
2009
IEEE
15 years 10 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...
108
click to vote
DATE
2008
IEEE
15 years 9 months 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...