762 search results - page 99 / 153 » Conditionally correct superoptimization |
SEFM
2009
IEEE
14 years 4 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
In real world, a scene is composed by many characteristics. Intrinsic images represent these characteristics by two components, reflectance (the albedo of each point) and shading (...
WISA
2009
Springer
14 years 4 months ago
2009
Springer
In CHES 2008 a generic side-channel distinguisher, Mutual Information, has been introduced to be independent of the relation between measurements and leakages as well as between le...
CAIP
2009
Springer
14 years 4 months ago
2009
Springer
Scoliosis causes deformations such as twisting and lateral bending of the spine. To correct scoliotic deformation, the extents of 3D spinal deformation need to be measured. This pa...