Sciweavers

7195 search results - page 382 / 1439
» On Computing Power
Sort
View
GLOBECOM
2007
IEEE
15 years 11 months ago
Training Design for CFO Estimation in OFDM Over Correlated Multipath Fading Channels
— Carrier frequency offset (CFO) estimation is a key challenge in multicarrier systems such as OFDM. Often, this task is carried out using a preamble made of a number, say J, of ...
Mounir Ghogho, Ananthram Swami, Philippe Ciblat
ICALP
2005
Springer
15 years 10 months ago
Weighted Automata and Weighted Logics
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
Manfred Droste, Paul Gastin
PODC
1987
ACM
15 years 8 months ago
Hierarchical Correctness Proofs for Distributed Algorithms
Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...
Nancy A. Lynch, Mark R. Tuttle
WSC
2008
15 years 7 months ago
High performance spreadsheet simulation on a desktop grid
We present a proof-of-concept prototype for high performance spreadsheet simulation called S3. Our goal is to provide a user-friendly, yet computationally powerful simulation envi...
Juta Pichitlamken, Supasit Kajkamhaeng, Putchong U...
CF
2005
ACM
15 years 7 months ago
An efficient wakeup design for energy reduction in high-performance superscalar processors
In modern superscalar processors, the complex instruction scheduler could form the critical path of the pipeline stages and limit the clock cycle time. In addition, complex schedu...
Kuo-Su Hsiao, Chung-Ho Chen