4095 search results - page 204 / 819 » How to test a tree |
109
Voted
ENTCS
1998
15 years 5 days ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
83
Voted
JMLR
2010
14 years 11 months ago
2010
We consider here how to tell whether a latent variable that has been estimated in a multivariate regression context might be real. Often a followup investigation will find a real...
96
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
131
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
123
Voted
EUROMICRO
2005
IEEE
15 years 6 months ago
2005
IEEE
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...