4529 search results - page 528 / 906 » Position Based Cryptography |
146
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper proposes a definition of magnetic vector potential that can be used to evaluate sparse partial inductance matrices. Unlike the commonly applied procedure of discarding...
168
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
An implementation of a biped robot which as capable of dynamic walking by a simple nonlinear control algorithm. is presented. Four D.C. servo motors actuate the knee and ankle joi...
167
click to vote
IPPS
1995
IEEE
15 years 10 months ago
1995
IEEE
The linear systems associated with large, sparse, symmetric, positive definite matrices are often solved iteratively using the preconditioned conjugate gradient method. We have d...
168
click to vote
EXACT
2007
15 years 9 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
173
click to vote
USS
2008
15 years 9 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...