3281 search results - page 150 / 657 » An Approach to use Executable Models for Testing |
130
click to vote
SSIRI
2010
15 years 1 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
205
click to vote
IJON
2006
15 years 3 months ago
2006
We model the intrinsic dynamic behavior of a neuron using stochastic differential equations and Brownian motion. Basis of our work is the deterministic one-compartmental multi-con...
118
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
140
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The subcellular location of a protein is closely related to its function. It would be worthwhile to develop a method to predict the subcellular location for a given pr...
131
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Several motif detection algorithms have been developed to discover overrepresented motifs in sets of coexpressed genes. However, in a noisy gene list, the number of ge...