1397 search results - page 36 / 280 » On the Need for Practical Formal Methods |
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...
ICFEM
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
FM
2003
Springer
14 years 27 days ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
ICALT
2009
IEEE
14 years 2 months ago
2009
IEEE
Scientific practices increasingly incorporate sensors for data capture, information visualization for data analysis, and low-cost mobile devices for fieldbased inquiries incorpora...
CVPR
2010
IEEE
13 years 9 months ago
2010
IEEE
Image similarity search is a fundamental problem in computer vision. Efficient similarity search across large image databases depends critically on the availability of compact ima...