572 search results - page 14 / 115 » Threading Software Watermarks |
PASTE
1998
ACM
15 years 3 months ago
1998
ACM
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
CC
2005
Springer
15 years 5 months ago
2005
Springer
JMM2
2007
14 years 11 months ago
2007
Abstract— In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
130
click to vote
JCST
2010
14 years 6 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...