5054 search results - page 135 / 1011 » simulation 2008 |
116
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
122
Voted
ETRA
2008
ACM
15 years 4 months ago
2008
ACM
We describe an open-source software framework that simulates the measurements made using one or several cameras in a videooculographic eye tracker. The framework can be used to co...
126
Voted
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses ...
104
click to vote
ECIR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we propose a model for exploiting community based usage information for video retrieval. Implicit usage information from a pool of past users could be a valuable sou...
121
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. A number-conserving cellular automaton is a cellular automaton whose states are integers and whose transition function keeps the sum of all cells constant throughout its ...