1. 1 Copyright © 2013 Elsevier Inc. All rights reserved. Chapter 5 Program Design and Analysis

2. 2 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.1 A circular buffer.

3. 3 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.2

4. 4 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.3 A producer/consumer system.

5. 5 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.4 A basic block in C.

6. 6 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.5 The basic block in single-assignment form.

7. 7 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.6 An extended data flow graph for our sample basic block.

8. 8 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.7 Standard data flow graph for our sample basic block.

9. 9 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.8 C code and its CDFG.

10. 10 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.9 A while loop and its CDFG.

11. 11 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.10 Program generation from compilation through loading.

12. 12 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.11 Symbol table processing during assembly.

13. 13 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.12 External references and entry points.

14. 14 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.13 The compilation process.

15. 15 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.14 Flow of control in C and control flow diagrams.

16. 16 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.15 Layout of a one-dimensional array in memory.

17. 17 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.16 Memory layout for two-dimensional arrays.

18. 18 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.17 Loop tiling.

19. 19 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.18 Using graph coloring to solve the problem of Example 5.6.

20. 20 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.19 A reservation table for instruction scheduling.

21. 21 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.20 Code generation by template matching.

22. 22 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.21 Execution time is a global property of a program.

23. 23 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.22 Code motion in a loop.

24. 24 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.23 Measuring energy consumption for a piece of code.

25. 25 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.24 Energy and execution time vs. instruction/data cache size for a benchmark program [Li98].

26. 26 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.25 The matrix representation of a graph and its basis set.

27. 27 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.26 Cyclomatic complexity.

28. 28 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.27 Domain testing for a pair of values.

29. 29 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.28 Definitions and uses of variables.

30. 30 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.29 Code coverage of functional tests for TeX and awk (after Horgan and Mathur [Hor96]).

31. 31 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.30 Frequency-shift keying.

32. 32 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.31 The FSK detection scheme.

33. 33 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.32 Receiving bits in the modem.

34. 34 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.33 Class diagram for the modem.

35. 35 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.34 Waveform generation by table lookup.

36. 36 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.35 A color filter array arranged in a Bayer pattern.

37. 37 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.36 The typical JPEG compression process.

38. 38 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.37 Zig-zag pattern for reading coefficients.

39. 39 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.38 Requirements for the digital still camera.

40. 40 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.39 Structure of an EXIF file.

41. 41 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.40 State diagram for display operation.

42. 42 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.41 State diagram for picture taking.

43. 43 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.42 Basic classes in the digital still camera.

44. 44 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.43 Computing platform for a digital still camera.

45. 45 Copyright © 2013 Elsevier Inc. All rights reserved. Figure 5.44 Sequence diagram for taking a picture with a digital still camera.

46. 46 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.1

47. 47 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.2

48. 48 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.3

49. 49 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.4

50. 50 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.5

51. 51 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.6

52. 52 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.7

53. 53 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.8

54. 54 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.9

55. 55 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.10

56. 56 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.11

57. 57 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.12

58. 58 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.13

59. 59 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.14

60. 60 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.15

61. 61 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.16

62. 62 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.17

63. 63 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.18

64. 64 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.19

65. 65 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.20

66. 66 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.21a

67. 67 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.21b

68. 68 Copyright © 2013 Elsevier Inc. All rights reserved. UN Figure 5.21c