6960 search results - page 1074 / 1392 » Continuity Analysis of Programs |
125
click to vote
IISWC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
128
click to vote
IISWC
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent benchmark suite releases such as Parsec specifically utilise the tightly coupled cores available in chipmultiprocessors to allow the use of newer, high performance, models ...
146
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
135
Voted
SERA
2009
Springer
15 years 11 months ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
149
click to vote
ACMSE
2009
ACM
15 years 11 months ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...