3134 search results - page 81 / 627 » simulation 2010 |
134
click to vote
TSMC
2010
14 years 10 months ago
2010
We study how the dependence of a simulation output on an uncertain parameter can be determined, when simulations are computationally expensive and so can only be run for very few p...
110
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
145
click to vote
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Today, it is possible to associate multiple CPUs and multiple GPUs in a single shared memory architecture. Using these resources efficiently in a seamless way is a challenging issu...
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The efficiency of current cargo screening processes at sea and air ports is largely unknown as few benchmarks exists against which they could be measured. Some manufacturers provi...
128
click to vote
SAB
2010
Springer
15 years 1 months ago
2010
Springer
Playing table tennis is a difficult motor task which requires fast movements, accurate control and adaptation to task parameters. Although human beings see and move slower than mos...