Bibliography

1

W. Benger, ``Visualization of General Relativistic Tensor Fields via a Fiber Bundle Data Model,'' Dissertation, Freie Universität Berlin, 2004.

2

K. Jänich, Topologie. Heidelberg: Springer, 2001.

3

T. Archer and A. Whitechapel, Inside C#, 2nd ed.Redmond, WA, USA: Microsoft Press, 2002.

4

W. Bright, ``The D Programming Language,'' Dr. Dobb's J., vol. 27, no. 2, pp. 36-40, 2002.

5

I. Kazi, H. Chen, B. Stanley, and D. Lilja, ``Techniques for Obtaining High Performance in Java Programs,'' ACM Computing Surveys, vol. 32, no. 3, pp. 213-240, 2000.

6

J. Gosling, B. Joy, G. Steele, and G. Bracha, The Java Language Specification, Third Edition. Addison Wesley, 2005.

7

S. P. Jones and J. H. (Eds.), ``Haskell 98: A Non-strict, Purely Functional Language,'' Tech. Rep., February 1999. [Online]. Available: http://haskell.org/onlinereport/

8

B. Stroustrup, The C++ Programming Language.New York: Addison Wesley, 1995.

9

D. Gregor, J. Järvi, J. Siek, B. Stroustrup, and G. R. A. A. Lumsdaine, ``Concepts: Linguistic Support for Generic Programming in C++,'' SIGPLAN Not., vol. 41, no. 10, pp. 291-310, 2006.

10

R. Minixhofer, ``Integrating Technology Simulation into the Semiconductor Manufacturing Environment,'' Dissertation, Technische Universität Wien, 2006.

11

S. Halama, C. Pichler, G. Rieger, G. Schrom, T. Simlinger, and S. Selberherr, ``VISTA -- User Interface, Task Level, and Tool Integration,'' IEEE Trans. on Techn. Comp. Aided Design, vol. 14, no. 10, pp. 1208-1222, 1995.

12

T. Binder, A. Hössinger, and S. Selberherr, ``Rigorous Integration of Semiconductor Process and Device Simulators,'' IEEE Trans. Comp.-Aided Design of Intl. Circ. and Systems, vol. 22, no. 9, pp. 1204-1214, 2003.

13

I $\mathrm{\mu}$ E, MINIMOS-NT 2.1 User's Guide, Institut für Mikroelektronik, Technische Universität Wien, Austria, 2004, http://www.iue.tuwien.ac.at/software/minimos-nt.

14

S. Wagner, T. Grasser, and S. Selberherr, ``Performance Evaluation of Linear Solvers Employed for Semiconductor Device Simulation,'' in Proc. Conf. on Sim. of Semiconductor Processes and Devices, 2004, pp. 351-354.

15

M. Heroux, R. Bartlett, V. H. R. Hoekstra, J. Hu, T. Kolda, R. Lehoucq, K. Long, R. Pawlowski, E. Phipps, A. Salinger, H. Thornquist, R. Tuminaro, J. Willenbring, and A. Williams, ``An Overview of Trilinos,'' Sandia National Laboratories, Tech. Rep. SAND2003-2927, 2003.

16

D. R. Musser and A. A. Stepanov, ``Generic Programming,'' in Proc. of the ISSAC'88 on Symb. and Alg. Comp. London, UK: Springer, 1988, pp. 13-25.

17

M. H. Austern, Generic Programming and the STL: Using and Extending the C++ Standard Template Library. Boston, MA, USA: Addison-Wesley, 1998.

18

G. Berti, ``Generic Software Components for Scientific Computing,'' Dissertation, Technische Universität Cottbus, 2000.

19

A. J. Zomorodian, ``Topology for Computing,'' in Cambridge Monographs on Applied and Computational Mathematics, 2005.

20

D. Butler and M. Pendley, ``A Visualization Model Based on the Mathematics of Fiber Bundles,'' Computers in Physics, vol. 3, no. 5, pp. 45-51, September/October 1989.

21

D. M. Butler and S. Bryson, ``Vector Bundle Classes From Powerful Tool for Scientific Visualization,'' Computers in Physics, vol. 6, pp. 576-584, November/December 1992.

22

A. Hatcher, Algebraic Topology. Cambridge University Press, 2002.

23

G. Deschamps, ``Electromagnetics and Differential Forms,'' Proc. of the IEEE, vol. 69, no. 6, pp. 676-696, 1981.

24

E. Tonti, ``Finite Formulation of the Electromagnetic Field,'' in Geometric Methods in Computational Electromagnetics, PIER 32, F. L. Teixeira, Ed.Cambridge, Mass.: EMW Publishing, 2001, pp. 1-44.

25

P. Bochev and M. Hyman, ``Principles of Compatible Discretizations,'' in Proc. of IMA Hot Topics Workshop on Compatible Discretizations, vol. IMA 142.Springer, 2006, pp. 89-120.

26

P. A. Markowich, C. Ringhofer, and C. Schmeiser, Semiconductor Equations.Wien-New York: Springer, 1990.

27

T. Barth and M. Ohlberger, ``Finite Volume Methods: Foundation and Analysis,'' 2004. [Online]. Available: citeseer.ist.psu.edu/barth04finite.html

28

O. C. Zienkiewicz and R. L. Taylor, The Finite Element Method.Berkshire, England: McGraw-Hill, 1987.

29

C. Johnson, Numerical Solutions of Partial Differential Equations by the Finite Element Method.Cambridge, UK: Cambridge University Press, 1987.

30

K. S. Yee, ``Numerical Solution of Initial Boundary Value Problems involving Maxwell's Equations in Isotropic Media,'' IEEE Trans. Antennas and Propagation, vol. 14, no. 1, pp. 302-307, 1966.

31

E. Tonti, ``The Reason for Analogies between Physical Theories,'' Appl. Math. Modelling, vol. 1, no. 1, pp. 37-50, 1976/77.

32

---, ``On the Geometrical Structure of Electromagnetism,'' in Gravitation, Electromagnetism and Geometrical Structures.Bologna: Pitagora, 1996, pp. 281-308.

33

C. Mattiussi, ``An Analysis of Finite Volume, Finite Element, and Finite Difference Methods using some Concepts From Algebraic Topology,'' J. Comput. Phys., vol. 133, no. 2, pp. 289-309, 1997.

34

---, ``The Finite Volume, Finite Element, and Finite Difference Methods as Numerical Methods for Physical Field Problems,'' Advances in Imaging and Electron Physics, vol. 113, pp. 1-146, 2000.

35

---, ``The Geometry of Time-Stepping,'' in Geometric Methods in Computational Electromagnetics, PIER 32, F. L. Teixeira, Ed.Cambridge, Mass.: EMW Publishing, 2001, pp. 123-149.

36

---, ``A Reference Discretization Strategy for the Numerical Solution of Physical Field Problems,'' Advances in Imaging and Electron Physics, vol. 121, pp. 143-279, 2002.

37

J. M. Hyman and M. J. Shashkov, ``Mimetic Discretizations for Maxwell's Equations and Equations of Magnetic Diffusion,'' in Proc. of the Fourth Int. Conf. on Mathematical and Numerical Aspects of Wave Propagation, Golden, Colorado, June 1-5, 1998, J. A. DeSanto, Ed.SIAM, 1998, pp. 561-563.

38

C. Ghezzi, M. Jazayeri, and D. Mandrioli, Fundamentals of Software Engineering.Upper Saddle River, NJ, USA: Prentice-Hall, 1991.

39

K. Bruce, L. Cardelli, G. Castagna, G. T. Leavens, and B. Pierce, ``On Binary Methods,'' Theor. Pract. Object Syst., vol. 1, no. 3, pp. 221-242, 1995.

40

J. G. Siek and A. Lumsdaine, ``The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra,'' in ECOOP Workshop, 1998, pp. 466-467. [Online]. Available: citeseer.ist.psu.edu/siek98matrix.html

41

J. Siek and A. Lumsdaine, ``Mayfly: A Pattern for Lightweight Generic Interfaces,'' July 1999. [Online]. Available: citeseer.ist.psu.edu/siek99mayfly.html

42

J. G. Siek and A. Lumsdaine, ``The Generic Graph Component Library,'' Dr. Dobb's J. of Software Tools, September 2000.

43

J. Siek, L.-Q. Lee, and A. Lumsdaine, The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley, 2002.

44

Boost Phoenix 2, Boost, 2006. [Online]. Available: http://spirit.sourceforge.net//

45

D. Abrahams and A. Gurtovoy, C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond (C++ in Depth Series).Addison-Wesley, 2004.

46

A. Priesnitz, ``Multistage Algorithms in C++,'' Dissertation, Universität Göttingen, 2005.

47

T. L. Veldhuizen and D. Gannon, ``Active Libraries: Rethinking the Roles of Compilers and Libraries,'' in Proc. of the SIAM Workshop on Obj.-Oriented Methods for Inter-Operable Sci. and Eng. Comp. (OO'98).SIAM, 1998.

48

T. L. Veldhuizen, ``Stage-Preserving Embeddings of Languages,'' in The 16th Nordic Workshop on Programming Theory (NWPT'04), October 2004, pp. 5-8.

49

T. Veldhuizen, ``Tradeoffs in Metaprogramming,'' in Proc. of the 2006 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation.New York, NY, USA: ACM Press, 2006, pp. 150-159.

50

K. Czarnecki and U. Eisenecker, Generative Programming: Methods, Tools, and Applications.New York, NY, USA: Addison-Wesley, 2000.

51

G. Berti, ``GrAL - The Grid Algorithms Library,'' in ICCS '02: Proc. of the Conf. on Comp. Sci., vol. 2331. London, UK: Springer, 2002, pp. 745-754.

52

J. C. Maxwell, A Treatise on Electricity & Magnetism.New York: Dover Publications, 1873.

53

P. Gross and P. R. Kotiuga, Electromagnetic Theory and Computation: A Topological Approach.Cambridge University Press, 2004.

54

B. A. Davey and H. A. Priestley, Introduction to Lattices and Order.Cambridge, 1990.

55

J. Hocking and G. Young, Topology.Dover Publications, New York: Addison-Wesley, 1961.

56

T. Dey, H. Edelsbrunner, and S. Guha, ``Computational Topology,'' in Advances in Discrete and Computational Geometry, ser. Contemporary Mathematics, J. E. G. B. Chazelle and R. Pollack, Eds., Providence, RI, USA, 1998.

57

Y. Chow, ``Fiber Bundles, Sheaf Theory, and Generalization of Differentiable Manifolds in Physics,'' Intl. J. of Quantum Chemistry, vol. 17, no. 1, pp. 85-97, 1980.

58

K. Kodaira, Complex Manifolds and Deformation of Complex Structures.Springer, 1986.

59

J. A. Chard and V. Shapiro, ``A Multivector Data Structure for Differential Forms and Equations,'' Math. Comput. Simulation, vol. 54, no. 1-3, pp. 33-64, 2000.

60

H. Flanders, Diffferential Forms.New-York: Academic Press, 1963.

61

K. Warnick, R. Selfridge, and D. Arnold, ``Teaching Electromagnetic Field Theory Using Differential Forms,'' IEEE Trans. on Education, vol. 40, no. 1, pp. 53-68, 1997.

62

F. H. Branin, ``The Algebraic-Topological Basis for Network Analogies and for Vector Calculus,'' in Symposium on Generalized Networks (12-14 April 1966).Polytechnic Institute of Brooklyn, 1966, pp. 453-491.

63

J. M. Hyman and M. J. Shashkov, ``Natural Discretizations for the Divergence, Gradient, and Curl on Logically Rectangular Grids,'' Comput. Math. Appl., vol. 33, no. 4, pp. 81-104, 1997.

64

---, ``Adjoint Operators for the Natural Discretizations of the Divergence, Gradient, and Curl on Logically Rectangular Grids,'' Appl. Numer. Math., vol. 25, no. 4, pp. 413-442, 1997.

65

J. M. Hyman, M. J. Shashkov, and S. Steinberg, ``The Numerical Solution of Diffusion Problems in Strongly Heterogeneous Non-Isotropic Materials,'' J. Comput. Phys., vol. 132, no. 1, pp. 130-148, 1997.

66

J. M. Hyman and M. J. Shashkov, ``The Approximation of Boundary Conditions for Mimetic Finite Difference Methods,'' Computers & Mathematics with Applications, vol. 36, pp. 79-99, 1998.

67

H. R. Schwarz, Numerische Mathematik.Stuttgart: B. G. Teubner, 1997.

68

S. Larsson and V. Thomee, Partial Differential Equations with Numerical Methods.Springer, 2003.

69

H. Ceric, ``Numerical Techniques in Interconnect and Process Simulation,'' Dissertation, Technische Universität Wien, 2004.

70

M. McIlroy, ``Mass-Produced Software Components,'' Proc. NATO Conf. on Software Engineering, Garmisch, Germany, 1968.

71

M. Jazayeri, ``Component Programming - A Fresh Look at Software Components,'' in Proc. Software Engineering (ESEC'95). Berlin,: Springer, W. Schäfer and P. Botella, Eds., 1995, pp. 457-478.

72

Boost C++ Libraries, Boost. [Online]. Available: http://www.boost.org

73

Boost Fusion 2, Boost, 2006. [Online]. Available: http://spirit.sourceforge.net/

74

Boost Xpressive, Boost, 2006. [Online]. Available: http://www.boost.org/

75

Boost Spirit, Boost, 2006. [Online]. Available: http://spirit.sourceforge.net/

76

R. Garcia, J. Järvi, A. Lumsdaine, J. Siek, and J. Willcock, ``A Comparative Study of Language Support for Generic Programming,'' in Proc. of the 18th Annual ACM SIGPLAN.New York, NY, USA: ACM Press, 2003, pp. 115-134.

77

---, ``An Extended Comparative Study of Language Support for Generic Programming,'' J. of Functional Programming, vol. 17, no. 2, pp. 145-205, March 2007. [Online]. Available: http://dx.doi.org/10.1017/S0956796806006198

78

R. B. Haber, B. Lucas, and N. Collins, ``A Data Model for Scientific Visualization with Provisions for Regular and Irregular Grids,'' in VIS '91: Proc. of the 2nd Conf. on Visualization '91.Los Alamitos, CA, USA: IEEE Computer Society Press, 1991, pp. 298-305.

79

E. Codd, ``A Relational Model of Data for Large Shared Data Banks,'' Commun. ACM, vol. 13, no. 6, pp. 377-387, 1970.

80

IBM Visualization Data Explorer, 3rd ed., IBM Corporation, Yorktown Heights, NY, USA, Feb. 1993.

81

E. Bethel, ``Interoperability of Visualization Software and Data Models is Not an Achievable Goal,'' in VIS '03: Proc. of the 14th IEEE Visualization 2003 Conf. (VIS'03).Washington, DC, USA: IEEE Computer Society, 2003, p. 114.

82

W. Benger, G. Ritter, and R. Heinzl, ``The Concepts of VISH,'' in Proc. of the 4th High-End Visualization Workshop, Tyrol, Austria, June 18-22 2007, pp. 28-41.

83

R. Wirdemann and T. Baustert, Rapid Web Development mit Ruby on Rails.München: Hanser, 2006.

84

E. N. Volanschi, C. Counsel, G. Muller, and C. Cowan, ``Declarative Specialization of Object-Oriented Programs,'' in Proc. of the Object-Oriented Programming Systems, Languages, and Applications Conf.New York, NY, USA: ACM Press, 1997, pp. 286-300.

85

R. Affeldt, H. Masuhara, E. Sumii, and A. Yonezawa, ``Supporting Objects in Run-Time Bytecode Specialization,'' in Proc. of the Symp. on Part. Eval. and Semantics-Based Prog. Manip.New York, NY, USA: ACM Press, 2002, pp. 50-60.

86

H. M. Andersen and U. P. Schultz, ``Declarative Specialization for Object-Oriented-Program Specialization,'' in PEPM '04: Proc. of the 2004 ACM SIGPLAN Symp. on Part. Eval. and Semantics-Based Prog. Manip.New York, NY, USA: ACM Press, 2004, pp. 27-38.

87

D. F. Bacon, S. L. Graham, and O. J. Sharp, ``Compiler Transformations for High-Performance Computing,'' in Proc. of the Object-Oriented Programming Systems, Languages, and Applications Conf., vol. 26, 1996, pp. 345-420.

88

D. Gay and B. Steensgaard, ``Fast Escape Analysis and Stack Allocation for Object-Based Programs,'' in CC '00: Proc. of the 9th Conf. on Compiler Constr.London, UK: Springer, 2000, pp. 82-93.

89

J. Järvi, D. Gregor, J. Willcock, A. Lumsdaine, and J. G. Siek, ``Algorithm Specialization in Generic Programming - Challenges of Constrained Generics in C++,'' in PLDI '06: Proc. of the ACM SIGPLAN 2006 Conf. on Programming Language Design and Implementation.New York, NY, USA: ACM Press, June 2006.

90

T. Geraud and A. Duret-Lutz, ``Generic Programming Redesign Pattern,'' in Proc. of the 5th Conf. on Pattern Lang. of Progr. (EuroPLoP 2000), Irsee, Germany, 2000. [Online]. Available: citeseer.ist.psu.edu/geraud00generic.html

91

J. Järvi, J. Willcock, and A. Lumsdaine, ``Concept-Controlled Polymorphism,'' in GPCE '03: Proc. of the 2nd Conf. on Generative Prog. and Comp. Eng.New York, NY, USA: Springer, 2003, pp. 228-244.

92

A. Alexandrescu, Modern C++ Design: Generic Programming and Design Patterns Applied.Boston, MA, USA: Addison-Wesley, 2001.

93

D. Gregor, J. Järvi, M. Kulkarni, A. Lumsdaine, D. Musser, and S. Schupp, ``Generic Programming and High-Performance Libraries,'' Intl. J. of Parallel Prog., vol. 33, no. 2, June 2005.

94

J. G. Siek and A. Lumsdaine, ``Concept Checking: Binding Parametric Polymorphism in C++,'' in Proc. of the First Workshop on C++ Template Programming, Erfurt, Germany, 2000. [Online]. Available: citeseer.nj.nec.com/siek00concept.html

95

A. Dekker, ``Lazy Functional Programming in Java,'' ACM SIGPLAN Notices, vol. 41, no. 3, pp. 30-39, March 2006.

96

M. Naftalin and P. Wadler, Java Generics and Collections.O'Reilly & Associates, 2006.

97

L. Prechelt, ``An Empirical Comparison of Seven Programming Languages,'' Computer, vol. 33, no. 10, pp. 23-29, 2000. [Online]. Available: citeseer.ist.psu.edu/article/prechelt00empirical.html

98

P. Wegner, ``Concepts and Paradigms of Object-Oriented Programming,'' SIGPLAN OOPS Mess., vol. 1, no. 1, pp. 7-87, 1990.

99

J. Backus, ``Can Programming be Liberated from the Von Neumann style?: A Functional Style and its Algebra of Programs,'' Commun. ACM, vol. 21, no. 8, pp. 613-641, August 1978. [Online]. Available: http://portal.acm.org/citation.cfm?id=359579

100

T. L. Veldhuizen, ``Expression Templates,'' C++ Report, vol. 7, no. 5, pp. 26-31, June 1995, reprinted in C++ Gems, ed. Stanley Lippman.

101

Boost Lambda Library, Boost. [Online]. Available: http://www.boost.org

102

B. McNamara and Y. Smaragdakis, ``Functional Programming in C++ using the FC++ Library,'' SIGPLAN, vol. 36, no. 4, pp. 25-30, Apr. 2001.

103

K. Driesen and U. Hölzle, ``The Direct Cost of Virtual Function Calls in C++,'' SIGPLAN Not., vol. 31, no. 10, pp. 306-323, 1996.

104

GNU Compiler Collection (GCC). [Online]. Available: http://gcc.gnu.org/

105

S. C. Johnson, ``YACC: Yet Another Compiler Compiler,'' in UNIX Programmer's Manual.New York, NY, USA: Holt, Rinehart, and Winston, 1979, vol. 2, pp. 353-387.

106

O. Bagge, ``CodeBoost: A Framework for Transforming C++ Programs,'' Master's thesis, University of Bergen, P.O.Box 7800, N-5020 Bergen, Norway, March 2003.

107

J. Siek and A. Lumsdaine, ``Software Engineering for Peak Performance,'' C++ Report, pp. 23-27, May 2000.

108

T. Veldhuizen, ``Guaranteed Optimization for Domain-Specific Programming,'' in Domain-Specific Program Generation, ser. Lecture Notes in Computer Science, vol. 3016.Springer, 2004, pp. 306-324.

109

R. Heinzl, P. Schwaha, M. Spevak, and T. Grasser, ``Performance Aspects of a DSEL for Scientific Computing with C++,'' in Proc. of the POOSC Conf., Nantes, France, July 2006, pp. 37-41.

110

D. Abrahams, J. Siek, and T. Witt, ``New Iterator Concepts,'' ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Tech. Rep. N1477 03-0060, 2003.

111

S. Selberherr, A. Schütz, and H. Pötzl, ``MINIMOS--A Two-Dimensional MOS Transistor Analyzer,'' IEEE Trans. Electron Dev., vol. ED-27, no. 8, pp. 1540-1550, 1980.

112

R. Sabelka and S. Selberherr, ``A Finite Element Simulator for Three-Dimensional Analysis of Interconnect Structures,'' Microelectronics J., vol. 32, no. 2, pp. 163-171, 2001.

113

R. Bauer, ``Numerische Berechnung von Kapazitäten in dreidimensionalen Verdrahtungsstrukturen,'' Dissertation, Technische Universität Wien, 1994.

114

R. Sabelka, ``Dreidimensionale Finite Elemente Simulation von Verdrahtungsstrukturen auf Integrierten Schaltungen,'' Dissertation, Technische Universität Wien, 2001.

115

C. Fischer, ``Bauelementsimulation in einer computergestützten Entwurfsumgebung,'' Dissertation, Technische Universität Wien, 1994.

116

R. Klima, ``Three-Dimensional Device Simulation with Minimos-NT,'' Dissertation, Technische Universität Wien, 2002.

117

S. Wagner, ``Small-Signal Device and Circuit Simulation,'' Dissertation, Technische Universität Wien, 2005.

118

M. Radi, ``Three-Dimensional Simulation of Thermal Oxidation,'' Dissertation, Technische Universität Wien, 1998.

119

T. Binder, ``Rigorous Integration of Semiconductor Process and Device Simulators,'' Dissertation, Technische Universität Wien, 2002.

120

A. Fabri, ``CGAL - The Computational Geometry Algorithm Library,'' 2001. [Online]. Available: http://citeseer.ist.psu.edu/fabri01cgal.html

121

S. Pion and A. Fabri, ``A Generic Lazy Evaluation Scheme for Exact Geometric Computations,'' in Proc. of the Object-Oriented Programming Systems, Languages, and Applications Conf., Portland, OR, USA, October 2006, pp. 75-84.

122

M. Haveraaen, H. Friis, and T. Johansen, ``Formal Software Engineering for Computational Modeling,'' Nordic J. of Computing, vol. 3, no. 6, pp. 241-270, 1999.

123

C. S. Rafferty and R. K. Smith, ``Solving Partial Differential Equations with the Prophet Simulator,'' Bell Laboratories, Lucent Technologies, 1996. [Online]. Available: http://www-tcad.stanford.edu/ prophet/math.pdf

124

W. Bangerth, R. Hartmann, and G. Kanschat, deal.II Differential Equations Analysis Library, Technical Reference. [Online]. Available: http://www.dealii.org/

125

P. Castillo, R. Rieben, and D. White, ``FEMSTER: An Object-Oriented Class Library of High-Order Discrete Differential Forms,'' ACM Trans. Math. Softw., vol. 31, no. 4, pp. 425-457, 2005.

126

A. Logg, T. Dupont, J. Hoffman, C. Johnson, R. C. Kirby, M. G. Larson, and L. R. Scott, ``The FEniCS Project,'' Chalmers Finite Element Center, Tech. Rep. 2003-21, 2003.

127

K. Czarnecki and U. W. Eisenecker, ``Components and Generative Programming,'' in ESEC/FSE-7: Proc. 7th ESEC. London, UK: Springer, 1999, pp. 2-19.

128

R. Pozo, ``Template Numerical Toolkit for Linear Algebra: High Performance Programming with C++ and the Standard Template Library,'' Intl. J. of High Performance Computing Applications, vol. 11, no. 3, pp. 251-263, Fall 1997.

129

W. Bangerth, R. Hartmann, and G. Kanschat, ``deal.II - A General Purpose Object-Oriented Finite Element Library,'' Institute for Scientific Computation, Texas A&M University, Tech. Rep. ISC-06-02-MATH, 2006.

130

J. A. Lewis, S. M. Henry, D. G. Kafura, and R. S. Schulman, ``An Empirical Study of the Object-Oriented Paradigm and Software Reuse,'' in Proc. of the Object-Oriented Programming Systems, Languages, and Applications Conf.New York, NY, USA: ACM Press, 1991, pp. 184-196.

131

T. L. Veldhuizen, ``Five Compilation Models for C++ Templates,'' in 1st Workshop on C++ Template Programming, October 2000. [Online]. Available: http://oonumerics.org/tmpw00/

132

S. Selberherr, Analysis and Simulation of Semiconductor Devices.Wien-New York: Springer, 1984.

133

H. P. Langtangen and X. Cai, ``Mixed Language Programming for HPC Applications,'' in Proc. of the PARA Conf., Umea, Sweden, June 2006, p. 154.

134

Amira Advanced 3D Visualization and Volume Modeling, Mercury Computer Systems. [Online]. Available: http://www.amiravis.com/

135

Paraview, Paraview. [Online]. Available: http://www.paraview.org/

136

FiberHDF5, Fiber Bundle HDF5 Library. [Online]. Available: http://www.fiberbundle.net//

137

R. Heinzl and T. Grasser, ``Generalized Comprehensive Approach for Robust Three-Dimensional Mesh Generation for TCAD,'' in Proc. Conf. on Sim. of Semiconductor Processes and Devices, Tokio, September 2005, pp. 211-214.

138

P. Fleischmann and S. Selberherr, ``Enhanced Advancing Front Delaunay Meshing in TCAD,'' in Proc. Conf. on Sim. of Semiconductor Processes and Devices, 2002, pp. 99-102.

139

J. Schöberl, ``NETGEN - An Advancing Front 2D/3D-Mesh Generator Based on Abstract Rules,'' Comput. Visual. Sci., vol. 1, pp. 41-52, 1997.

140

H. Si, ``On Refinement of Constrained Delaunay Tetrahedralizations,'' 15th Intl. Meshing Roundtable, September 2006.

141

S. Balay, K. Buschelman, V. Eijkhout, W. D. Gropp, D. Kaushik, M. G. Knepley, L. C. McInnes, B. F. Smith, and H. Zhang, ``PETSc Users Manual,'' Argonne National Laboratory, Tech. Rep. ANL-95/11 - Revision 2.3.2, September 2006. [Online]. Available: http://www.mcs.anl.gov/petsc/docs

142

S. Mauch, ``Efficient Algorithms for Solving Static Hamilton-Jacobi Equations,'' Dissertation, California Institute of Technology, Purdue, CA, 2003.

143

L. Lee and A. Lumsdaine, ``Generic Programming for High Performance Scientific Applications,'' in JGI '02: Proc. of the 2002 joint ACM-ISCOPE Conf. on Java Grande.New York, NY, USA: ACM Press, 2002, pp. 112-121.

144

C. E. Oancea and S. M. Watt, ``Parametric Polymorphism for Software Component Architectures,'' in Proc. of the Object-Oriented Programming Systems, Languages, and Applications Conf.New York, NY, USA: ACM Press, 2005, pp. 147-166.

145

T. L. Veldhuizen, ``Using C++ Template Metaprograms,'' C++ Report, vol. 7, no. 4, pp. 36-43, May 1995, reprinted in C++ Gems, ed. Stanley Lippman.

146

J. Siek and A. Lumsdaine, ``The Matrix Template Library: Generic Components for High-performance Scientific Computing,'' Computing in Science and Engineering, vol. 1, no. 6, pp. 70-78, Nov/Dec 1999.

147

R. Whaley and J. Dongarra, ``Automatically Tuned Linear Algebra Software,'' in Proc. of the 1998 ACM/IEEE Conf. on Supercomputing (CDROM).IEEE Computer Society, 1998, pp. 1-27, cD-ROM Proc.

148

Stream - Sustainable Memory Bandwidth in High Performance Computers, Boost. [Online]. Available: http://www.cs.virginia.edu/stream/

149

J. G. S. Todd L. Veldhuizen, ``Combining Optimizations, Combining Theories,'' Indiana University, Tech. Rep. 582, May 2003. [Online]. Available: http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR582

150

T. L. Veldhuizen, ``Arrays in Blitz++,'' in Proc. Symp. on Comp. in Obj.-Oriented Parallel Env., ser. Lecture Notes in Computer Science.Springer, 1998.

151

S. Schupp, M. Zalewski, and K. Ross, ``Rapid Performance Prediction for Library Components,'' in Proc. 4th. ACM Workshop on Software and Performance (WOSP 2004), Redwood City.ACM Press, 2004, pp. 69-73.

152

T. Hiramoto, T. Nagumo, T. Ohtou, and K. Yokoyama, ``Device Design of Nanoscale MOSFETs Considering the Suppression of Short Channel Effects and Characteristics Variations,'' IEICE Transactions on Electronics, vol. E90-C, no. 4, pp. 836-841, 2007.

153

R. Heinzl, ``A Three-Dimensional Analytical Ion Implantation Tool Using the Wafer-State-Server,'' Master Thesis, Technische Universität Wien, 2006.

154

D. Scharfetter and H. Gummel, ``Large-Signal Analysis of a Silicon Read Diode Oscillator,'' IEEE Trans. Electron Dev., vol. 16, no. 1, pp. 64-77, 1969.

155

M. Kamon, S. McCormick, and K. Sheperd, ``Interconnect Parasitic Extraction in the Digital IC Design Methodology,'' in ICCAD '99: Proc. of the 1999 IEEE/ACM Intl. Conf. on Computer-Aided Design.Piscataway, NJ, USA: IEEE Press, 1999, pp. 223-231.

156

D. Abrahams, J. Siek, and T. Witt, ``New Iterator Concepts,'' ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Tech. Rep. N1550=03-0133, April 2006.

157

D. Gregor, J. Willcock, and A. Lumsdaine, ``Concepts for the C++0x Standard Library: Iterators,'' ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Tech. Rep. N2039=06-0109, June 2006.

158

M. Zalewski and S. Schupp, ``Changing Iterators with Confidence. A Case Study of Change Impact Analysis Applied to Conceptual Specifications,'' in Proc. of the Object-Oriented Programming Systems, Languages, and Applications Conf., San Diego, CA, USA, October 2005.

159

D. Gregor, J. Willcock, and A. Lumsdaine, ``Concepts for the C++0x Standard Library: Iterators,'' ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Tech. Rep. N2039=06-0109, June 2006.