Sciweavers

4015 search results - page 491 / 803
» The Future of Software Performance Engineering
Sort
View
ENTCS
2010
208views more  ENTCS 2010»
15 years 4 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
TASLP
2010
78views more  TASLP 2010»
15 years 1 months ago
Solving Demodulation as an Optimization Problem
We introduce two new methods for the demodulation of acoustic signals by posing the problem in a convex optimization framework. This allows the parameters of the modulator and carr...
Gregory Sell, Malcolm Slaney
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
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
IPPS
2009
IEEE
16 years 1 months ago
Using hardware transactional memory for data race detection
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
Shantanu Gupta, Florin Sultan, Srihari Cadambi, Fr...