1151 search results - page 56 / 231 » Optimization of coded GMSK systems |
109
Voted
ICDE
1993
IEEE
15 years 6 months ago
1993
IEEE
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...
152
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
126
Voted
RTS
2010
15 years 28 days ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
119
click to vote
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper proposes LTNC, a new recoding algorithm to build low complexity network codes. At the core of LTNC is a decentralized version of LT codes that allows the use of fast be...
117
Voted
SAIG
2000
Springer
15 years 6 months ago
2000
Springer
Achieving peak performance in important numerical kernels such as dense matrix multiply or sparse-matrix vector multiplication usually requires extensive, machine-dependent tuning ...