Future Research Directions in Problem Solving Environments for Computational Science
暂无分享,去创建一个
[1] J. R. Rice,et al. Mathematical software and ACM Publications , 1987, HSNC '87.
[2] Ahmed K. Noor,et al. Symbolic computations and their impact on mechanics , 1990 .
[3] Naveen Sharma,et al. Generating Finite Element Programs for Shared Memory Multiprocessors , 1990 .
[4] Mark K. Segar. A SLAP for the masses , 1989 .
[5] Neil J. Hurley,et al. An Integrated Problem Solving Environment for Numerical Simulation of Engineering Problems , 1991, Programming Environments for High-Level Scientific Problem Solving.
[6] Kevin A. Broughan. SENAC: Lisp as a Platform for Constructing a Problem Solving Environment , 1991, Programming Environments for High-Level Scientific Problem Solving.
[7] Carl Glen Ponder. Evaluation of performance enhancements in algebraic manipulation systems , 1988 .
[8] Paul C. Abbott. Problem Solving Using Mathematica , 1991, Programming Environments for High-Level Scientific Problem Solving.
[9] J. A. van Hulzen,et al. Automatic generation of FORTRAN-coded Jacobians and Hessians , 1987, EUROCAL.
[10] Griewank,et al. On automatic differentiation , 1988 .
[11] Hans J. W. Spoelder,et al. Distributed Visual Programming Environment: An Attempt to Integrate Third Generation Languages with Advanced User Environments , 1991, Programming Environments for High-Level Scientific Problem Solving.
[12] Nelson C. Baker,et al. Towards a Grammar for Structural Design , 1989 .
[13] A. Hayes. Mathematica: A system for doing mathematics by computer , 1993, The Mathematical Gazette.
[14] Gene H. Golub,et al. The Lanczos-Arnoldi algorithm and controllability , 1984 .
[15] John R. Rice,et al. Interface issues in a software parts technology , 1989 .
[16] Stephen J. Hague. Using Focus Technology to Build Front Ends , 1991, Programming Environments for High-Level Scientific Problem Solving.
[17] Paul N. Hilfinger,et al. 5. FIDIL: A Language for Scientific Programming , 1989 .
[18] Michael Lucks,et al. Automated selection of mathematical software , 1992, TOMS.
[19] Piyush Mehrotra,et al. The BLAZE language: A parallel language for scientific programming , 1987, Parallel Comput..
[20] John R. Rice,et al. Solving elliptic problems using ELLPACK , 1985, Springer series in computational mathematics.
[21] James M. Purtilo. Dynamic Software Reconfiguration Supports Scientific Problem-solving Activities , 1991, Programming Environments for High-Level Scientific Problem Solving.
[22] John G. Lewis,et al. Sparse extensions to the FORTRAN Basic Linear Algebra Subprograms , 1991, TOMS.
[23] Beresford N. Parlett,et al. Progress in Numerical Analysis , 1978 .
[24] Melvin Klerer,et al. Interactive Systems for Experimental Applied Mathematics , 1968 .
[25] A. Laub,et al. Numerical linear algebra aspects of control design computations , 1985, IEEE Transactions on Automatic Control.
[26] William J. Mitchell,et al. Digital Design Media: A Handbook for Architects and Design Professionals , 1991 .
[27] W. A. Martin,et al. The MACSYMA system , 1971, SYMSAC '71.
[28] James H. Davenport. Current Problems in Computer Algebra Systems Design , 1990, DISCO.
[29] Youcef Saad,et al. A Basic Tool Kit for Sparse Matrix Computations , 1990 .
[30] A. Bijl. AI in architectural CAD , 1986 .
[31] Michael T. Heath,et al. Parallel Algorithms for Matrix Computations , 1987 .
[32] A. Booth. Numerical Methods , 1957, Nature.
[33] G. O. Cook. ALPAL, A PROGRAM TO GENERATE PHYSICS SIMULATION CODES FROM NATURAL DESCRIPTIONS , 1990 .
[34] William Jalby,et al. Impact of Hierarchical Memory Systems On Linear Algebra Algorithm Design , 1988 .
[35] 二宮 市三,et al. Mathematical Software (数値解析とコンピューター) , 1975 .
[36] Thomas C. Oppe,et al. An overview of NSPCG: A nonsymmetric preconditioned conjugate gradient package , 1989 .
[37] Gul A. Agha,et al. Concurrent object-oriented programming , 1993, CACM.
[38] Richard L. Peskin,et al. A prototyping environment for differential equations , 1992, TOMS.
[39] Zongli Lin,et al. Fast Givens goes slow in MATLAB , 1991, SGNM.
[40] Anthony C. Hearn,et al. REDUCE 2: A system and language for algebraic manipulation , 1971, SYMSAC '71.
[41] Jan E. Åman,et al. SHEEP and Classification in General Relativity , 1985, European Conference on Computer Algebra.
[42] Burton D. Fried,et al. AN ON-LINE COMPUTING CENTER FOR SCIENTIFIC PROBLERS , 1963 .
[43] Christoph M. Hoffmann,et al. Geometric and Solid Modeling: An Introduction , 1989 .
[44] Stewart A. Brown,et al. How symbolic computation boosts productivity in the simulation of partial differential equations , 1991 .
[45] James Marvin Purtilo. A software interconnection technology to support specification of computational environments (polylith, module interconnection language) , 1986 .
[46] Bobby Schnabel,et al. An Overview of Dino - A New Language for Numerical Computation on Distributed Memory Multiprocessors , 1987, PPSC.
[47] Symbolic derivation of material property matrices in finite element analysis , 1988 .
[48] Ed Anderson,et al. LAPACK Users' Guide , 1995 .
[49] Ronald F. Boisvert. The guide to available mathematical software advisory system , 1989 .
[50] Garry Stevens,et al. CADD Made Easy; A Comprehensive Guide for Architects, Designers, and Engineers; A Comprehensive , 1987 .
[51] Ferenc Szelényi,et al. Visualizing parallel execution of FORTRAN programs , 1991, IBM J. Res. Dev..
[52] David S. Dodson,et al. Issues relating to extension of the Basic Linear Algebra Subprograms , 1985, SGNM.
[53] PAUL N. HILFINGER,et al. FIDIL : A LANGUAGE FOR SCIENTIFIC PROGRAMMING , 1988 .
[54] Yukio Umetani,et al. Visual PDEQSOL: A Visual and Interactive Environment for Numerical Simulation , 1991, Programming Environments for High-Level Scientific Problem Solving.
[55] John ffitch. Can REDUCE be Run in Parallel? , 1989, ISSAC.
[56] David A. Padua,et al. Parcel: project for the automatic restructuring and concurrent evaluation of LISP , 1988, ICS '88.
[57] Björn Engquist,et al. Automatic analysis in PDE software , 1984 .
[58] Stephen G. Nash,et al. Guidelines for reporting results of computational experiments. Report of the ad hoc committee , 1991, Math. Program..
[59] Peter J. Denning. Massive parallelism in the future of science , 1988 .
[60] Dominique Duval,et al. Examples of Problem Solving Using Computer Algebra , 1991, Programming Environments for High-Level Scientific Problem Solving.
[61] Granville Sewell,et al. Analysis of a finite element method--PDE/PROTRAN , 1985 .
[62] K. Young,et al. AMERICAN SOCIETY OF MECHANICAL ENGINEERS. , 1880, Science.
[63] John R. Rice,et al. //ELLPACK: a numerical simulation programming environment for parallel MIMD machines , 1990, ICS '90.
[64] Richard J. Fateman,et al. Advances and trends in the design and construction of algebraic manipulation systems , 1990, ISSAC '90.
[65] L. F. Coffin,et al. Three dimensional singular element , 1981 .
[66] David Gries,et al. The 1988 snowbird report: a discipline matures , 1989, CACM.
[67] Barry W. Peyton,et al. Progress in Sparse Matrix Methods for Large Linear Systems On Vector Supercomputers , 1987 .
[68] Y. Saad,et al. Krylov Subspace Methods on Supercomputers , 1989 .
[69] John R. Rice,et al. ATHENA: A Knowledge Base System for //ELLPACK , 1990 .
[70] Mary Lou Maher,et al. Expert Systems: C. E. Potential , 1984 .
[71] S. Amarel. Keynote address: problems of representation in heuristic problem solving , 1986 .
[72] Thomas Zimmermann,et al. Object-oriented finite element programming: I: Governing principles , 1992 .
[73] KennedyKathryn,et al. Analysis and Transformation in the ParaScope Editor , 1991 .
[74] D. A. Field. From solid modeling to finite element analysis , 1986 .
[75] John R. Rice,et al. Mathematical aspects of scientific software , 1988 .
[76] Neil Soiffer. The design of a user interface for computer algebra systems , 1991 .
[77] Youcef Saad,et al. Overview of Krylov subspace methods with applications to control problems , 1989 .
[78] Yukio Umetani,et al. Interactive/visual DEQSOL: interactive creation, debugging, diagnosis and visualization of numerical simulation , 1989 .
[79] Anthony C. Hearn. Algebraic Computation: The Quiet Revolution , 1991, Artificial and Mathematical Theory of Computation.
[80] Veronique Boisvert. DEQSOL and ELLPACK : Problem Solving Environments For Partial Differential Equations , 1991 .
[81] A. Laub. Invariant Subspace Methods for the Numerical Solution of Riccati Equations , 1991 .
[82] Gregory Butler,et al. The Design of Cayley - a Language for Modern Algebra , 1990, DISCO.
[83] Edward J. Farrell,et al. Visual Interpretation of Complex Data , 1987, IBM Syst. J..
[84] James R. Larus,et al. Multiprocessing extensions in Spur Lisp , 1989, IEEE Software.
[85] J C Boudreaux. Problem solving and the evolution of programming languages , 1986 .
[86] Tadashi Ohta,et al. Automatic code generation method of DEQSOL (Differential EQuation SOlver Language) , 1987 .
[87] Gaia Valeria Paolini,et al. An interactive graphic tool to plot the structure of large sparse matrices , 1991, IBM J. Res. Dev..
[88] Jack J. Dongarra,et al. Distribution of mathematical software via electronic mail , 1985, SGNM.
[89] Jenq Kuen Lee,et al. Object oriented parallel programming: experiments and results , 1991, Proceedings of the 1991 ACM/IEEE Conference on Supercomputing (Supercomputing '91).
[90] Joseph E. Flaherty,et al. Towards the automatic numerical solution of partial differential equations , 1989 .
[91] Thomas Zimmermann,et al. Object-oriented finite element programming: III. An efficient implementation in C++ , 1993 .
[92] John R. Rice,et al. Parallel (//) ELLPACK: An Expert System for Parallel Processing of Partial Differential Equations , 1989 .
[93] I. Duff,et al. Direct Methods for Sparse Matrices , 1987 .
[94] Jean Della Dora,et al. Computer Algebra and Parallelism , 1989, Lecture Notes in Computer Science.
[95] Richard L. Peskin,et al. Smalltalk — the next generation scientific computing interface? , 1989 .
[96] Wayne R. Dyksen,et al. XELLPACK: An Interactive Problem Solving Environment for Elliptic Partial Differential Equations , 1988 .
[97] Stephen M. Watt,et al. Scratchpad II: An Abstract Datatype System for Mathematical Computation , 1988, Trends in Computer Algebra.
[98] B Shneiderman. Invited address: overcoming limitations imposed by current programming languages , 1986 .
[99] Jack Dongarra,et al. A Project for Developing a Linear Algebra Library for High-Performance Computers , 1989 .
[100] John R. Rice,et al. Numerical methods, software, and analysis , 1983 .
[101] M. G. Richardson,et al. Reconciling Symbolic and Numeric Computation in a Practical Setting , 1990, DISCO.
[102] Donald P. Greenberg,et al. Computers and Architecture , 1991 .
[103] M. Shephard,et al. Parallel computation with adaptive methods for elliptic and hyperbolic systems , 1990 .
[104] Joseph E. Flaherty,et al. Adaptive Methods for Partial Differential Equations , 1989 .
[105] Richard J. Fateman,et al. A Review of Macsyma , 1989, IEEE Trans. Knowl. Data Eng..
[106] John ffitch,et al. Symbolic computation and the finite element method , 1987, EUROCAL.
[107] James M. Purtilo,et al. Environments for Prototyping Parallel Algorithms , 1988, J. Parallel Distributed Comput..
[108] John R. Rice,et al. PROTRAN: Problem solving software , 1983 .
[109] David A. Padua,et al. Cedar Fortran and Its Compiler , 1990, CONPAR.
[110] Richard Liska,et al. Application of the REDUCE Computer Algebra System to Stability Analysis of Difference Schemes , 1989, Computers and Mathematics.
[111] Graham F. Carey,et al. A scalable, object-oriented finite element solver for partial differential equations on multicomputers , 1992, ICS '92.
[112] Harry A. G. Wijshoff. Implementing sparse BLAS primitives on concurrent/vector processors: a case study , 1993 .
[113] Michael W. Berry,et al. Matrix Visualization in the Design of Numerical Algorithms , 1990, INFORMS J. Comput..
[114] Norbert Kajler,et al. Building graphic user interfaces for Computer Algebra Systems , 1990, DISCO.
[115] John G. Lewis,et al. Proposed sparse extensions to the Basic Linear Algebra Subprograms , 1985, SGNM.
[116] Kevin A. Broughan,et al. Some symbolic computing links to the NAG numeric library , 1991, SIGS.
[117] Ifip Tc,et al. Programming Environments for High-Level Scientific Problem Solving, Proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September, 1991 , 1992, Programming Environments for High-Level Scientific Problem Solving.
[118] M J Hopper,et al. Harwell Subroutine Library. A Catalogue of Subroutines (1973). Supplement Number 2. , 1973 .
[119] William J. Mitchell,et al. Afterword: the design studio of the future , 1990 .
[120] G. O. Cook,et al. ALPAL: A tool to generate simulation codes from natural descriptions , 1991 .
[121] Björn Engquist,et al. Automatic Computer Code Generation for Hyperbolic and Parabolic Differential Equations , 1980 .
[122] David M. Young,et al. Iterative algorithms and software for solving large sparse linear systems , 1988 .
[123] Marc Garbey,et al. Symbolic manipulation software and the study of differential equations , 1991 .
[124] Wayne R. Cowell,et al. Sources and development of mathematical software , 1984 .
[125] Shirley Dex,et al. JR 旅客販売総合システム(マルス)における運用及び管理について , 1991 .
[126] Thomas Zimmermann,et al. Object-oriented finite element in programming: II: A prototype program in Smalltalk , 1992 .
[127] W. Renes,et al. The MATLAB Gateway Compiler. A Tool For Automatic Linking of Fortran Routines to MATLAB , 1991 .
[128] A. Skjellum,et al. The multicomputer toolbox: Scalable parallel libraries for large-scale concurrent applications , 1991 .
[129] Sven Hammarling,et al. SLICOT, a subroutine library in control and systems theory , 1991 .
[130] Willard L. Miranker,et al. Computer arithmetic in theory and practice , 1981, Computer science and applied mathematics.
[131] Peter J. Denning,et al. Computing as a discipline , 1989, Computer.
[132] Michael Thuné. Automatic GKS stbility analysis , 1986 .
[133] Richard P. Gabriel,et al. Qlisp: parallel processing in Lisp , 1989, IEEE Software.
[134] Fritz Schwarz,et al. Symmetries of Differential Equations: From Sophus Lie to Computer Algebra , 1988 .
[135] S. S. Tong. Integration of Symbolic and Numerical Methods for Optimizing Complex Engineering Systems , 1991, Programming Environments for High-Level Scientific Problem Solving.
[136] B. H. McCormick,et al. Visualization in scientific computing , 1995 .
[137] Joseph E. Flaherty,et al. EXPERIMENTS WITH AN ADAPTIVE H-, P-, AND R-REFINEMENT FINITE ELEMENT METHOD FOR PARABOLIC SYSTEMS , 1992 .
[138] Eurocal '87 , 1987, Lecture Notes in Computer Science.
[139] Paul S. Wang,et al. FINGER: A Symbolic System for Automatic Generation of Numerical Programs in Finite Element Analysis , 1986, J. Symb. Comput..
[140] Lawrence S. Kroll. Mathematica--A System for Doing Mathematics by Computer. , 1989 .
[141] I. G. BONNER CLAPPISON. Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.
[142] Siu Shing Tong. Coupling symbolic manipulation and numerical simulation for complex engineering designs , 1989 .
[143] A. R. Newton,et al. Electronic CAD Frameworks , 1992 .
[144] Gerald J. Sussman,et al. Intelligence in scientific computing , 1989, CACM.
[145] V. Klema. LINPACK user's guide , 1980 .
[146] Paul S. Wang,et al. SUI: a system independent user interface for an integrated scientific computing environment , 1990, ISSAC '90.
[147] John R. Rice,et al. Expert Systems for Scientific Computing , 1992 .
[148] Arjan J. C. van Gemund,et al. A method for parallel program generation with an application to the Booster language , 1990, ICS '90.
[149] Herbert A. Simon,et al. The Sciences of the Artificial , 1970 .
[150] Frederick P. Brooks,et al. No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .
[151] Yousef Saad,et al. A benchmark package for sparse matrix computations , 1988, ICS '88.
[152] George Vanecek. Protosolid: An inside look , 1989 .
[153] Carl Ponder,et al. Parallel processors and systems for algebraic manipulation: current work , 1988, SIGS.
[154] Leonard J. Bass,et al. Developing software for the user interface , 1991, The SEI series in software engineering / Software Engineering Institute.
[155] EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings , 1989 .
[156] Piyush Mehrotra,et al. Programming distributed memory architectures using Kali , 1990 .
[157] Colin W. Cryer. The ESPRIT Project FOCUS , 1991, Programming Environments for High-Level Scientific Problem Solving.
[158] John R. Gilbert,et al. Sparse Matrices in MATLAB: Design and Implementation , 1992, SIAM J. Matrix Anal. Appl..
[159] C. S. Jog,et al. A distributed environment for run-time visualization and application steering in computational mechanics , 1992 .
[160] W. Greiman,et al. Knowledge representations for the automatic generation of numerical simulators for PDEs , 1989 .