Sciweavers

1886 search results - page 241 / 378
» Verifying and Validating Simulation Models
Sort
View
GECCO
2008
Springer
128views Optimization» more  GECCO 2008»
14 years 11 months ago
Discriminating self from non-self with finite mixtures of multivariate Bernoulli distributions
Affinity functions are the core components in negative selection to discriminate self from non-self. It has been shown that affinity functions such as the r-contiguous distance an...
Thomas Stibor
JSS
2008
93views more  JSS 2008»
14 years 10 months ago
Search-based refactoring for software maintenance
The high cost of software maintenance could be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a so...
Mark Kent O'Keeffe, Mel Ó Cinnéide
TWC
2008
98views more  TWC 2008»
14 years 10 months ago
On bandwidth request mechanism with piggyback in fixed IEEE 802.16 networks
This paper investigates the random channel access mechanism specified in the IEEE 802.16 standard for the uplink traffic in a Point-to-MultiPoint (PMP) network architecture. An ana...
Jianhua He, Kun Yang, Ken Guild, Hsiao-Hwa Chen
MEMOCODE
2010
IEEE
14 years 8 months ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi
CORR
2010
Springer
94views Education» more  CORR 2010»
14 years 7 months ago
Segmented compressed sampling for analog-to-information conversion: Method and performance analysis
A new segmented compressed sampling (CS) method for analog-to-information conversion (AIC) is proposed. An analog signal measured by a number of parallel branches of mixers and int...
Omid Taheri, Sergiy A. Vorobyov