180 search results - page 34 / 36 » Reversible Computation and Reversible Programming Languages |
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Automatic bug-finding tools have a high false positive rate: most warnings do not indicate real bugs. Usually bug-finding tools assign important warnings high priority. However, t...
112
click to vote
NSPW
2003
ACM
15 years 8 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
137
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
153
click to vote
DAM
2011
14 years 10 months ago
2011
Partial words, which are sequences that may have some undefined positions called holes, can be viewed as sequences over an extended alphabet A = A ∪ { }, where stands for a hol...
126
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
2D Active Appearance Models (AAM) and 3D Morphable
Models (3DMM) are widely used techniques. AAM
provide a fast fitting process, but may represent unwanted
3D transformations un...