29046 search results - page 506 / 5810 » Computable Models |
339
click to vote
ICCS
2004
Springer
16 years 2 days ago
2004
Springer
Theoretical modeling of chemical and biological processes is a key to understand nature and to predict experiments. Unfortunately, this is very data and computation extensive. Howe...
176
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
Realistic workloads are essential in evaluating middleware for computational grids. One important component is the raw grid itself: a network topology graph annotated with the har...
187
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
211
click to vote
EMMCVPR
2001
Springer
15 years 11 months ago
2001
Springer
The interest of graph matching techniques in the pattern recognition field is increasing due to the versatility of representing knowledge in the form of graphs. However, the size ...
197
click to vote
HCW
2000
IEEE
15 years 11 months ago
2000
IEEE
In this work we present the results of a project aimed at assembling an hybrid massively parallel machine, the PQE1 prototype, devoted to the simulation of complex physical models...