Sciweavers

17680 search results - page 321 / 3536
» Simulation of Computer Systems and Applications
Sort
View
ISCAS
2008
IEEE
135views Hardware» more  ISCAS 2008»
15 years 11 months ago
Semi-blind channel estimation of MIMO-OFDM systems with pulse shaping
Abstract— Most of the existing MIMO-OFDM channel estimation methods do not take into account the effect of the pulseshaping filter in the transmitter nor of the matched filter ...
Feng Wan, Wei-Ping Zhu, M. N. S. Swamy
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 10 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
CONCUR
2010
Springer
15 years 5 months ago
Simulation Distances
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
Pavol Cerný, Thomas A. Henzinger, Arjun Rad...
ISLPED
2000
ACM
99views Hardware» more  ISLPED 2000»
15 years 8 months ago
Energy minimization with guaranteed quality of service
Quality of service (QoS) is one of the key features for new Internet-based multimedia and other applications. Meanwhile, energy remains as a big concern for systems that perform s...
Gang Qu, Miodrag Potkonjak
FCCM
2000
IEEE
133views VLSI» more  FCCM 2000»
15 years 9 months ago
Configuration Caching Management Techniques for Reconfigurable Computing
Although run-time reconfigurable systems have been shown to achieve very high performance, the speedups over traditional microprocessor systems are limited by the cost of configur...
Zhiyuan Li, Katherine Compton, Scott Hauck