# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate sections original text with physical files.

$key = q/0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '0%:%vampir.html%:%VAMPIR: Visualization and Analysis<BR> of MPI Resources' unless ($section_info{$key}); 
$done{"vampir.html"} = 1;
$key = q/0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node9.html%:%9 Additional Features' unless ($section_info{$key}); 
$done{"node9.html"} = 1;
$key = q/0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node2.html%:%2 The Message Passing Interface (MPI)' unless ($section_info{$key}); 
$done{"node2.html"} = 1;
$key = q/0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node4.html%:%4 Program Instrumentation' unless ($section_info{$key}); 
$done{"node4.html"} = 1;
$key = q/0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node6.html%:%6 Statistics' unless ($section_info{$key}); 
$done{"node6.html"} = 1;
$key = q/0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node11.html%:%References' unless ($section_info{$key}); 
$done{"node11.html"} = 1;
$key = q/0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node8.html%:%8 Time-line Displays' unless ($section_info{$key}); 
$done{"node8.html"} = 1;
$key = q/0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node1.html%:%1 Introduction' unless ($section_info{$key}); 
$done{"node1.html"} = 1;
$key = q/0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node3.html%:%3 The VAMPIR Environment' unless ($section_info{$key}); 
$done{"node3.html"} = 1;
$key = q/0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node5.html%:%5 Visualization of System Activities' unless ($section_info{$key}); 
$done{"node5.html"} = 1;
$key = q/0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node10.html%:%10 Summary and Conclusions' unless ($section_info{$key}); 
$done{"node10.html"} = 1;
$key = q/0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%node7.html%:%7 System Activity Profile' unless ($section_info{$key}); 
$done{"node7.html"} = 1;

1;