4719 search results - page 341 / 944 » Newtonian program analysis |
160
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
160
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Tuning parallel applications requires the use of effective tools for detecting performance bottlenecks. Along a parallel program execution, many individual situations of performan...
192
Voted
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
180
click to vote
APSEC
1997
IEEE
15 years 11 months ago
1997
IEEE
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
156
click to vote
SP
1989
IEEE
15 years 10 months ago
1989
IEEE
In early November 1988 the Internet, a collection of networks consisting of 60,000 host computers implementing the TCP/IP protocol suite, was attacked by a virus, a programwhich b...