3742 search results - page 354 / 749 » On the Use of Formal Techniques for Validation |
175
click to vote
ASPLOS
2004
ACM
16 years 5 days ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
184
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
We present a new method of Logic-Based Genetic Programming (LBGP). Using the intrinsic mechanism of backtracking in Prolog, we utilize large individual programs with redundant clau...
212
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Pancreatic cancer is the fourth leading cause of cancer death in the United States. Consequently, identification of clinically relevant biomarkers for the early detect...
148
Voted
ACSC
2006
IEEE
16 years 25 days ago
2006
IEEE
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...
178
click to vote
MSWIM
2005
ACM
16 years 9 days ago
2005
ACM
The performance of mobile ad hoc networks can be influenced by numerous factors, including protocol design at every layer; parameter settings such as retransmission limits and ti...