336 search results - page 52 / 68 » Task-Queue Based Hybrid Parallelism: A Case Study |
92
Voted
AICOM
2010
14 years 11 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
: The kinematic properties of mechanisms are well known by the researchers and teachers. The theory based on the study of Jacobian matrices allows us to explain, for example, the s...
104
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
The domain of numerical simulation is a place where the parallelization of numerical code is common. The definition of a numerical context means the configuration of resources suc...
100
click to vote
TEC
2002
14 years 11 months ago
2002
It is not unusual that an approximate model is needed for fitness evaluation in evolutionary computation. In this case, the convergence properties of the evolutionary algorithm are...
111
Voted
PROCEDIA
2010
14 years 6 months ago
2010
Ship simulators are used for training purposes and therefore have to calculate realistic wave patterns around the moving ship in real time. We consider a wave model that is based ...