Sciweavers

3227 search results - page 358 / 646
» Software engineering and performance: a road-map
Sort
View
TCOM
2010
71views more  TCOM 2010»
15 years 1 months ago
Unitary space-time constellations based on quasi-orthogonal sequences
In this paper, we propose a novel class of unitary space-time constellations based on quaternary quasi-orthogonal sequences (QOSs), minimizing the maximum correlation between the s...
Jeongchang Kim, Kyungwhoon Cheun, Soongyoon Choi
264
Voted
TCOM
2010
92views more  TCOM 2010»
15 years 1 months ago
UWB receiver designs based on a gaussian-laplacian noise-plus-MAI model
Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. The pr...
Norman C. Beaulieu, Somasundaram Niranjayan
TCAD
2010
154views more  TCAD 2010»
15 years 1 months ago
Automated Design Debugging With Maximum Satisfiability
As contemporary VLSI designs grow in complexity, design debugging has rapidly established itself as one of the largest bottlenecks in the design cycle today. Automated debug soluti...
Yibin Chen, Sean Safarpour, João Marques-Si...
TASLP
2010
96views more  TASLP 2010»
15 years 1 months ago
Evaluating Source Separation Algorithms With Reverberant Speech
This paper examines the performance of several source separation systems on a speech separation task for which human intelligibility has previously been measured. For anechoic mixt...
Michael I. Mandel, S. Bressler, Barbara G. Shinn-C...
241
Voted
APN
2010
Springer
15 years 11 months ago
AlPiNA: A Symbolic Model Checker
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
Didier Buchs, Steve Hostettler, Alexis Marechal, M...