3281 search results - page 295 / 657 » An Approach to use Executable Models for Testing |
141
Voted
GRID
2004
Springer
15 years 9 months ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
122
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents results on a new approach to partitioning a modulo-scheduled loop for distributed execution on parallel clusters of functional units organized as a VLIW machin...
156
Voted
ICMLA
2007
15 years 5 months ago
2007
We apply a new active learning formulation to the problem of learning medical concepts from unstructured text. The new formulation is based on maximizing the mutual information th...
128
Voted
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a method for redundancy identification (RID) using multi-node logic implications. The algorithm discovers a large number of direct and indirect implications b...
144
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...