Sciweavers

1354 search results - page 228 / 271
» Generalized real analysis and its applications
Sort
View
INFSOF
2002
89views more  INFSOF 2002»
14 years 9 months ago
Source transformation in software engineering using the TXL transformation system
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
James R. Cordy, Thomas R. Dean, Andrew J. Malton, ...
JSAC
2010
104views more  JSAC 2010»
14 years 8 months ago
A priority-based processor sharing model for TDM passive optical networks
—The use of passive optical networks (PONs) enables access rates of multi-Gbit/sec bandwidth and provision of quality of service for high definition multimedia services. In this...
Yan Wang, Moshe Zukerman, Ron Addie, Sammy Chan, R...
CORR
2010
Springer
135views Education» more  CORR 2010»
14 years 6 months ago
Transmit Energy Focusing for DOA Estimation in MIMO Radar with Colocated Antennas
In this paper, we propose a transmit beamspace energy focusing technique for multiple-input multiple-output (MIMO) radar with application to direction finding for multiple targets...
Aboulnasr Hassanien, Sergiy A. Vorobyov
TASLP
2011
14 years 4 months ago
Time-Domain Blind Separation of Audio Sources on the Basis of a Complete ICA Decomposition of an Observation Space
—Time-domain algorithms for blind separation of audio sources can be classified as being based either on a partial or complete decomposition of an observation space. The decompo...
Zbynek Koldovský, Petr Tichavský
POPL
2012
ACM
13 years 5 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni