4276 search results - page 667 / 856 » Techniques for Empirical Validation |
202
click to vote
EMSOFT
2007
Springer
16 years 17 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
158
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
The main motivation for using a multi–objective evolutionary algorithm for finding biclusters in gene expression data is motivated by the fact that when looking for biclusters ...
198
click to vote
IFM
2007
Springer
16 years 16 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
164
click to vote
IH
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
169
click to vote
SSD
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Massive data streams of positional updates become increasingly difficult to manage under limited memory resources, especially in terms of providing near real-time respons...