Automatic Static Cost Analysis for Parallel Programs

2015 ◽  
pp. 132-157 ◽  
Author(s):  
Jan Hoffmann ◽  
Zhong Shao
Keyword(s):  
Cost Analysis ◽  
Parallel Programs

AUTOMATED COST ANALYSIS OF A PARALLEL MAXIMUM SEGMENT SUM PROGRAM DERIVATION

2002 ◽  
Vol 12 (01) ◽  
pp. 95-111 ◽  
Author(s):  
YASUSHI HAYASHI ◽  
MURRAY COLE
Keyword(s):  
Cost Analysis ◽  
Performance Prediction ◽  
Automated Analysis ◽  
Parallel Programs ◽  
Source Language ◽  
Program Derivation ◽  
Static Performance ◽  
Run Time ◽  
Complete Program

Static performance prediction of implicitly parallel functional programs can be facilitated by restricting the source language to be shapely [7]. The resulting analyses should provide valuable support for the calculational style of program derivation. We build upon previous work in the area by extending the range of admissible programs, allowing us to demonstrate the first automated analysis of a complete program derivation, that of the well known maximum segment sum algorithm of Skillicorn and Cai [11]. We examine the accuracy of our predictions against the run time of real parallel programs.

Cost Analysis: A Methodological Statement

1989 ◽  
Vol 7 (1) ◽  
pp. 27-41 ◽  
Author(s):  
Norman Keith Womer
Keyword(s):  
Cost Analysis

Warranty cost analysis under continuous sales

1998 ◽  
Vol 49 (2) ◽  
pp. 176-178
Author(s):  
W Yun ◽  
I Moon
Keyword(s):  
Cost Analysis ◽  
Warranty Cost ◽  
Warranty Cost Analysis
Sign in / Sign up

Export Citation Format

Share Document