3376 search results - page 513 / 676 » Analyzing Software Evolvability |
179
click to vote
ICPP
1997
IEEE
15 years 10 months ago
1997
IEEE
r The lack of a versatile software tool for parallel program development has been one of the major obstacles for exploiting the potential of high-performance architectures. In this...
206
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
149
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
In thispaper,a mathematicalmethodfor analysis of synchronous packet-switching interconnection networks with jinite buffering capacity at the output of switching elements ispresent...
145
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
170
click to vote
MICRO
1993
IEEE
15 years 10 months ago
1993
IEEE
The conventional classification of inter-instruction dependencies (data, anti and output dependencies) provides a basic scheme for the analysis of pipeline hazards in pipelined in...