Sciweavers

1886 search results - page 224 / 378
» Verifying and Validating Simulation Models
Sort
View
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
15 years 4 months ago
Another investigation on tournament selection: modelling and visualisation
Tournament selection has been widely used and studied in evolutionary algorithms. To supplement the study of tournament selection, this paper provides several models describing th...
Huayang Xie, Mengjie Zhang, Peter Andreae
DSD
2006
IEEE
107views Hardware» more  DSD 2006»
15 years 4 months ago
A High Level Power Model for the Nostrum NoC
We propose a power model for the Nostrum NoC. For this purpose an empirical power model of links and switches has been formulated and validated with the Synopsys Power Compiler. T...
Sandro Penolazzi, Axel Jantsch
MASCOTS
2004
14 years 11 months ago
A Computational Complexity-Aware Model for Performance Analysis of Software Servers
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
Vipul Mathur, Varsha Apte
CORR
2011
Springer
148views Education» more  CORR 2011»
14 years 5 months ago
Modeling the pairwise key distribution scheme in the presence of unreliable links
Abstract— We investigate the secure connectivity of wireless sensor networks under the pairwise key distribution scheme of Chan et al.. Unlike recent work which was carried out u...
Osman Yagan, Armand M. Makowski
SEMWEB
2010
Springer
14 years 4 months ago
Theoretical foundations and engineering tools for building ontologies as reference conceptual models
Abstract. Perhaps the most fundamental notion underlying the desiderata for a successful Semantic Web is Semantic Interoperability. In this context, ontologies have been more and m...
Giancarlo Guizzardi