Sciweavers

3688 search results - page 599 / 738
» Static analysis of aspects
Sort
View
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
16 years 1 months ago
Random Stimulus Generation using Entropy and XOR Constraints
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
Stephen Plaza, Igor L. Markov, Valeria Bertacco
EMS
2008
IEEE
16 years 1 months ago
A Weighted Utility Framework for Mining Association Rules
Association rule mining (ARM) identifies frequent itemsets from databases and generates association rules by assuming that all items have the same significance and frequency of oc...
M. Sulaiman Khan, Maybin K. Muyeba, Frans Coenen
ICASSP
2008
IEEE
16 years 29 days ago
Single-channel speech separation based on modulation frequency
This paper describes an algorithm that performs a simple form of computational auditory scene analysis to separate multiple speech signals from one another on the basis of the mod...
Lingyun Gu, Richard M. Stern
ICC
2008
IEEE
110views Communications» more  ICC 2008»
16 years 29 days ago
On the Eigenvalue Distribution of Ricean MIMO Channels by Character Expansion of Groups
Abstract— Joint eigenvalue distribution of the noncentral complex Wishart matrix, i.e. HH∗ where H is the nonzero-mean complex Gaussian random channel matrix of a multiple-inpu...
Alireza Ghaderipoor, Chintha Tellambura
ICCCN
2008
IEEE
16 years 29 days ago
Autonomic Management of Hybrid Sensor Grid Systems and Applications
: In this paper, we propose an autonomic management framework (ASGrid) to address the requirements of emerging large-scale applications in hybrid grid and sensor network systems. T...
Xiaolin Li, Xinxin Liu, Huanyu Zhao, Nanyan Jiang,...