6014 search results - page 938 / 1203 » Parametric Analysis of Computer Systems |
151
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
182
click to vote
WISEC
2010
ACM
16 years 1 months ago
2010
ACM
As privacy moves to the center of attention in networked systems, and the need for trust remains a necessity, an important question arises: How do we reconcile the two seemingly c...
185
click to vote
ICS
2009
Tsinghua U.
16 years 1 months ago
2009
Tsinghua U.
Molecular Dynamics applications enhance our understanding of biological phenomena through bio-molecular simulations. Large-scale parallelization of MD simulations is challenging b...
155
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Particle filtering is an effective sequential Monte Carlo approach to solve the recursive Bayesian filtering problem in non-linear and non-Gaussian systems. The algorithm is base...
150
click to vote
ITICSE
2009
ACM
16 years 1 months ago
2009
ACM
In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a signi...