Browsing by Subject "Algebra"
Now showing items 1-2 of 2
-
A neural network algorithm for hardware-software verification
( IEEE , 2003 , Conference Paper)Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. ... -
Privacy preserving computation in cloud using noise-free fully homomorphic encryption (FHE) schemes
( Springer Verlag , 2016 , Conference Paper)With the wide adoption of cloud computing paradigm, it is important to develop appropriate techniques to protect client data privacy in the cloud. Encryption is one of the major techniques that could be used to achieve ...