93 search results - page 13 / 19 » Command line or pretty lines |
POPL
2008
ACM
14 years 11 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
SASO
2008
IEEE
14 years 5 months ago
2008
IEEE
Currently, cycle sharing over the Internet is a one-way deal. Computer owners only have one role in the process: to donate their computers’ idle time. This is due to the fact th...
CEC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— Fingerprinting is a technique that permits automatic classification of strategies for playing a game. In this study the evolution of strategies for playing the iterate...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...