2658 search results - page 375 / 532 » On efficient balanced codes |
175
Voted
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
148
Voted
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
The performance of system-on-chip is determined not only by the performance of its functional units, but also by how efficiently they cooperate with one another. It is the on-chip...
145
click to vote
JSAC
2008
15 years 5 months ago
2008
We consider two techniques of in-band frequency domain multiplexed (FDM) pilots using interleaved frequency domain multiple access (IFDMA) signal with a Chu sequence for DFT-precod...
173
click to vote
BMCBI
2002
15 years 4 months ago
2002
Background: Pattern matching is the core of bioinformatics; it is used in database searching, restriction enzyme mapping, and finding open reading frames. It is done repeatedly ov...
155
click to vote
ASPLOS
2012
ACM
14 years 24 days ago
2012
ACM
To accomplish frequent, simple tasks with high efficiency, it is necessary to leverage low-power, microcontroller-like processors that are increasingly available on mobile systems...