697 search results - page 81 / 140 » An Efficient Hardware Support for Control Data Validation |
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
GPCE
2007
Springer
13 years 11 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...
ASYNC
2002
IEEE
14 years 21 days ago
2002
IEEE
In a circuit environment that is becoming increasingly sensitive to dynamic power dissipation and noise, and where cycle time available for control decisions continues to decrease...