4192 search results - page 517 / 839 » Efficient testing of groups |
83
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper introduces a voltage multiplier (VM) circuit which can step up a minimum voltage of 150 mV (peak). The operation and characteristics of this converter circuit are descr...
126
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
126
Voted
CVGIP
2010
15 years 4 months ago
2010
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...
112
Voted
CPHYSICS
2008
15 years 4 months ago
2008
We examine parallel algorithms for molecular dynamics simulations involving long-range induction interactions. The algorithms are tested by performing molecular dynamics simulatio...
142
click to vote
EOR
2010
15 years 4 months ago
2010
In this work we study the Capacitated p-Center Problem (CpCP) and we propose an exact algorithm to solve it. We study two auxiliary problems and their relation to CpCP, and we pro...