1018 search results - page 40 / 204 » Property Testing in Computational Geometry |
130
Voted
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
156
Voted
ENTCS
2006
15 years 3 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
113
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
A multi-cluster computational environment with mixed-mode (MPI + OpenMP) parallelism for estimation of unknown regional electrical conductivities of the human head, based on realis...
163
Voted
CSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Methods of Computational Fluid Dynamics are applied to simulate pulsatile blood flow in human vessels and in the aortic arch. The non-Newtonian behaviour of the human blood is in...
112
click to vote
COMGEO
2007
ACM
15 years 3 months ago
2007
ACM
Given two points on a closed planar curve, C, we can divide the length of a shortest connecting path in C by their Euclidean distance. The supremum of these ratios, taken over all...