1027 search results - page 71 / 206 » Callgraph properties of executables |
109
click to vote
TSE
1998
15 years 13 days ago
1998
An important step in the development of dependable systems is the validation of their fault tolerance properties. Fault injection has been widely used for this purpose, however wi...
100
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—In this paper, we develop an analytical framework which explains the emergence of superpeer networks on execution of the commercial peer-to-peer bootstrapping protocols by incom...
114
Voted
TSE
2010
14 years 11 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
96
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...
199
click to vote
SIGMOD
2005
ACM
16 years 28 days ago
2005
ACM
Personalization is a powerful mechanism that helps users to cope with the abundance of information on the Web. Database query personalization achieves this by dynamically construc...