Article

Free access

Software components using symbolic computation for problem solving environments

Authors:

Y. N. Lakshman,

Bruce Char,

Jeremy JohnsonAuthors Info & Claims

ISSAC '98: Proceedings of the 1998 international symposium on Symbolic and algebraic computation

Pages 46 - 53

https://doi.org/10.1145/281508.281542

Published: 01 August 1998 Publication History

PDF eReader

References

[1]

BRAY, T., PAOLI, J., AND SPERBERG-MCQUEEN, C. Extensible markup language (XML), Proposed W3C Recommendation PR-xml-971208. http://www, w3. org /TR/PR-xml;, December 1997.]]

Google Scholar

[2]

CHANDY, K. M., KINIRY, J., RIFKIN, A., AND ZIM- MERMAN, D. Infospheres Infrastructure Documentation - APIs and User's Guide. Infospheres Group, Dept. of Comp. Sci., Calif. Inst. of Tech., August 1997. http:// www. inf ospheres, caltech, edu/papers / index, html.]]

Google Scholar

[3]

CHANDY, K. M., KINIRY, J., RIFKIN, A., AND ZIMMERMAN, D. A framework for structured distributed object computing. Parallel Cornputing (1998). To appear. Avail. as http:// www. inf ospheres, caltech, edu/papers / index, html.]]

Digital Library

Google Scholar

[4]

DABDUB, D. Personal communication, January 1998.]]

Google Scholar

[5]

DABDUB, D., AND MANOHAR, R. Performance and portability of an air quality model. Parallel Computing (1998). To appear.]]

Digital Library

Google Scholar

[6]

DABDUB, D., AND SEINFELD, J. Extrapolation techniques used in the solution of stiff ODEs associated with chemical kinetics of air quality models. Atrnospheric Environment 29 (1995), 403-410.]]

Crossref

Google Scholar

[7]

DALMAS, S., AND @Ai~TANO, M. Making systems communicate and cooperate: the central control approach. In Proc. DISCO'96 (1996), J. Calmet and C. Limongelli, Eds., Springer-Verlag, pp. 308-319. Lec. Notes in Comp. Sci. 1128.]]

Crossref

Google Scholar

[8]

DIAZ, A., KALTOFEN, E., SCHMITZ, K., AND VA- LENTE, T. DSC: A system for distributed symbolic computation. In Proc. 1991 Intl. Syrnp. on Syrnb. and Alg. Cornp. (1991), S. M. Watt, Ed., ACM Press, pp. 323-332.]]

Crossref

Google Scholar

[9]

DOLEH, Y., AND WANG, P. SUI: A system independent user interface for an integrated scientific computing environment. In Proc. 199~ Intl. Syrnp. on Syrnb. and Alg. Cornp. (1990), ACM Press, pp. 88-95.]]

Crossref

Google Scholar

[10]

FLANAGAN, D. Java in a nutshell, 2nd ed. O'Reilly, 1997.]]

Digital Library

Google Scholar

[11]

FOURNIER, R., KAJLER, N., AND MOURRAIN, B. IZIC: a portable language-driven tool for mathematical surfaces visualization. In Proc. DISCO'93 (1993), A. Miola, Ed., Springer-Verlag, pp. 341-353.]]

Crossref

Google Scholar

[12]

GALLOPOULOS, E., HOUSTIS, E., AND RICE, J. Computer as thinker/doer: Problem-solving environments for computational science. IEEE Computational Sci. and Eng. 1, 1 (Summer 1994), 11-23.]]

Digital Library

Google Scholar

[13]

GRAY, S., KAJLER, N., AND WANG, P. MP: a protocol for efficient exchange of mathematical expressions. In Proc. 199~ Intl. Syrnp. on Syrnb. and Alg. Cornp. (1994), ACM Press, pp. 330-335.]]

Crossref

Google Scholar

[14]

GRAY, S., KAJLER, N., AND WANG, P. Pluggability issues in the multi protocol. In Proc. DISCO'96 (1996), J. Calmet and C. Limongelli, Eds., Springer- Verlag, pp. 343-355. Lec. Notes in Comp. Sci. 1128.]]

Crossref

Google Scholar

[15]

The Caltech Infospheres Project. OMG-DARPA- MCC Workshop on Compositional Software Architecture, January 1998. http://www, infospheres. caltech, edu/inf ospheres, html.]]

Google Scholar

[16]

JACOBSON, I. Object-oriented S@ware engineering. ACM Press/Addison-Wesley, 1992.]]

Crossref

Google Scholar

[17]

Java studio, http://www.sun, corn/studio, 1997.]]

Google Scholar

[18]

KAJLER, N. Building a computer algebra environment by composition of collaborative tools. In Proc. DISCO '92 (1992), J. Fitch, Ed., Springer-Verlag, pp. 85-94. Lec. Notes in Comp. Sci. 721.]]

Crossref

Google Scholar

[19]

LAKSHMAN, Y. N., AND CHAR, B. Implementing mathematical servers using a generic Java server: A user manual, manuscript, under preparation, 1998.]]

Google Scholar

[20]

LAKSHMAN, Y. N., AND LOMBEYDA, S. Techtalk 1.0: User and installation guide, available from http://penguin.mcs, drexel, edu/~techtalk, 1997.]]

Google Scholar

[21]

LAKSHMAN, Y. N., MILLER, M. R., AND LOMBEYDA, S. Techtalk: A web based system for mathematical collaboration, manuscript, submitted for publication, 1997.]]

Google Scholar

[22]

NIERSTRASZ, O., AND TSICHRITZIS, D. Object-oriented software composition. Prentice Hall, 1995.]]

Digital Library

Google Scholar

[23]

NUMERICAL ALGORITHMS GROUP, LTD. IRIS Ezplorer version 3.0 User's Guide, Uniz version.]]

Google Scholar

[24]

NUMERICAL ALGORITHMS GROUP, LTD. IRIS Ezplorer version 3.5 Reference pages (Module and programmer's interface information), Uniz edition. http : //www. nag. co. uk/visual/IE/ie cbb/D0C/REF/ Index. html.]]

Google Scholar

[25]

ORFALI, R., HARKEY, D., AND EDWARDS, J. The Essential Distributed Objects Survival Guide. Wiley, 1996.]]

Digital Library

Google Scholar

[26]

PERLINE, R., AND LANGER, J. Poisson geometry of the filament equation. J. of Nonlin. Sci. 1 (1), 71-93.]]

Google Scholar

[27]

PERLINE, R., AND LANGER, J. Local geometric invariants of integrable evolution equations. J. of Math. Phys. 35, 4 (1994), 1732-37.]]

Google Scholar

[28]

PETZOLD, L. Automatic selection of methods for solving stiff and nonstiff systems of ordinary differential equations. SIAM J. of Sci. and Stat. Cornp. ~, 1 (March 1983).]]

Google Scholar

[29]

POLYMATH GROUP. Description of Java OpenMath Demonstration Beans Version 0.3 (Preview Release), 1997. http://pdg, cecm. sfu. ca/openmath/lib/bean. html.]]

Google Scholar

[30]

SANDU, A., VERWER, J., VAN LOON, M., ET AL. Benchmarking stiff ODE solvers for atmospheric chemistry problems I: implicit versus explicit. Atrnos. Env. (1975), 3149-3164.]]

Google Scholar

[31]

SZYPERSKI, C. Component Software: Beyond Objectoriented programming. Addison-Wesley, 1997.]]

Digital Library

Google Scholar

[32]

THE MATHML WORKING GROUP. Mathematical markup language, W3C working draft, http://www. w3. org/TR/WD-math, 1998.]]

Google Scholar

[33]

THE OPEN~/IATH CONSORTIUM. The OpenMath Specification, Version I.I. http://www, openmath, org, 1997.]]

Google Scholar

[34]

WEBER, A., KIJCHLIN, W., EGGERS, B., AND SIMO- NIS, V. A parallel GrSbner solver as a web component. Presented at ACM 1998 Workshop on Java on highperf. network computing, Feb. 28-Mar. I, 1998.]]

Google Scholar

[35]

WOLFRAM RESEARCH INC. MathLink Reference Guide (Mathematica Technical Report). Tech. rep., WRI, Inc., 1993.]]

Google Scholar

Cited By

View all

Li MWalker DRana OHuang YWilliams PWard R(2003)Engineering high-performance legacy codes as CORBA components for problem-solving environmentsJournal of Parallel and Distributed Computing10.1016/j.jpdc.2003.07.00663:11(1152-1163)Online publication date: 1-Nov-2003
https://dl.acm.org/doi/10.1016/j.jpdc.2003.07.006
Korelc JKaltofen EVillard G(2001)Hybrid system for multi-language and multi-environment generation of numerical codesProceedings of the 2001 international symposium on Symbolic and algebraic computation10.1145/384101.384130(209-216)Online publication date: 1-Jul-2001
https://dl.acm.org/doi/10.1145/384101.384130
Li MRana OShields MWalker DTurcotte L(2000)A wrapper generator for wrapping high performance legacy codes as Java/CORBA componentsProceedings of the 2000 ACM/IEEE conference on Supercomputing10.5555/370049.370072(13-es)Online publication date: 1-Nov-2000
https://dl.acm.org/doi/10.5555/370049.370072
Show More Cited By

Index Terms

Software components using symbolic computation for problem solving environments
1. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Computer algebra systems
    2. Symbolic and algebraic algorithms
2. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments
    2. General programming languages
      1. Language features
        Modules / packages

Recommendations

Verifying abstract components within concrete software environments
Reliable Software Systems Using Reusable Software Components
SRDS '97: Proceedings of the 16th Symposium on Reliable Distributed Systems

Summary form only given, as follows. J. Von Neumann (1956) and E.F. Moore and C.F. Shannon (1956) discussed building reliable automata and relay circuits (hardware) using less reliable components. They show that carefully designed replication of ...
Analyzing system software components using API model guided symbolic execution
Abstract
Analyzing real-world software is challenging due to complexity of the software frameworks or APIs they depend on. In this paper, we present a tool, PROMPT, that facilitates the analysis of software components using API model guided symbolic ...

Comments

Information & Contributors

Information

Published In

ISSAC '98: Proceedings of the 1998 international symposium on Symbolic and algebraic computation

August 1998

330 pages

ISBN:1581130023

DOI:10.1145/281508

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1998

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ISSAC98

Sponsor:

German Comp Soc
SIGNUM
SIGSAM

ISSAC98: International Symposium on Symbolic and Algebraic Computation

August 13 - 15, 1998

Rostock, Germany

Acceptance Rates

Overall Acceptance Rate 395 of 838 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
492
Total Downloads

Downloads (Last 12 months)76
Downloads (Last 6 weeks)9

Reflects downloads up to 18 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Li MWalker DRana OHuang YWilliams PWard R(2003)Engineering high-performance legacy codes as CORBA components for problem-solving environmentsJournal of Parallel and Distributed Computing10.1016/j.jpdc.2003.07.00663:11(1152-1163)Online publication date: 1-Nov-2003
https://dl.acm.org/doi/10.1016/j.jpdc.2003.07.006
Korelc JKaltofen EVillard G(2001)Hybrid system for multi-language and multi-environment generation of numerical codesProceedings of the 2001 international symposium on Symbolic and algebraic computation10.1145/384101.384130(209-216)Online publication date: 1-Jul-2001
https://dl.acm.org/doi/10.1145/384101.384130
Li MRana OShields MWalker DTurcotte L(2000)A wrapper generator for wrapping high performance legacy codes as Java/CORBA componentsProceedings of the 2000 ACM/IEEE conference on Supercomputing10.5555/370049.370072(13-es)Online publication date: 1-Nov-2000
https://dl.acm.org/doi/10.5555/370049.370072
Li MRana OShields MWalker D(2000)A Wrapper Generator for Wrapping High Performance Legacy Codes as Java/CORBA ComponentsACM/IEEE SC 2000 Conference (SC'00)10.1109/SC.2000.10051(13-13)Online publication date: 2000
https://doi.org/10.1109/SC.2000.10051
Bühler DChauvin CKüchlin W(2000)Plotting Functions and Singularities with Maple and Java on a Component-based Web ArchitectureComputer Algebra in Scientific Computing10.1007/978-3-642-57201-2_7(69-79)Online publication date: 2000
https://doi.org/10.1007/978-3-642-57201-2_7
Berth MMoser FTriulzi A(2000)Implementing Computational Services Based on OpenMathComputer Algebra in Scientific Computing10.1007/978-3-642-57201-2_5(49-60)Online publication date: 2000
https://doi.org/10.1007/978-3-642-57201-2_5
Lakshman YMiller MLombeyda S(2000)TechTalk: A Web Based System for Mathematical CollaborationEnabling Technologies for Computational Science10.1007/978-1-4615-4541-5_22(273-285)Online publication date: 2000
https://doi.org/10.1007/978-1-4615-4541-5_22
Li MRana OShields MWalker DGolby D(2000)Automating Component Integration in a Distributed Problem Solving EnvironmentActive Middleware Services10.1007/978-1-4419-8648-1_18(211-220)Online publication date: 2000
https://doi.org/10.1007/978-1-4419-8648-1_18
Le HHowlett CGeddes KSalvy B(1999)Client-server communication standards for mathematical computationProceedings of the 1999 international symposium on Symbolic and algebraic computation10.1145/309831.309962(299-306)Online publication date: 1-Jul-1999
https://dl.acm.org/doi/10.1145/309831.309962

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Verifying abstract components within concrete software environments

Reliable Software Systems Using Reusable Software Components

Analyzing system software components using API model guided symbolic execution

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Verifying abstract components within concrete software environments

Reliable Software Systems Using Reusable Software Components

Analyzing system software components using API model guided symbolic execution

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations