Distributed symbolic computations

被引：0
|
作者：
Petcu, Dana [1 ]
机构：
[1] Western Univ Timisoara, Dept Comp Sci, Timisoara, Romania
来源：
ISPDC 2007: SIXTH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Symbolic computing is one of fastest growing areas of scientific computing. An overview of the state-of-the-art in symbolic computations on distributed architectures, in particular Web and Grid architectures, is presented. The background information, including typical application areas, is followed by a list of past and on-going projects involving symbolic computations on distributed computing environments. To illustrate in more details issues involved in porting computer algebra systems to the Grid, some case studies involving popular environments are presented.
引用
收藏
页码：10 / 11
页数：2
相关论文
共 50 条
  • [21] CONTRIBUTION TO EFFICIENT SOLUTION OF EXTENSIVE SYMBOLIC COMPUTATIONS
    KERNER, W
    STEUERWALD, J
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 1975, 9 (06) : 337 - 349
  • [22] Symbolic execution of floating-point computations
    Botella, Bernard
    Gotlieb, Arnaud
    Michel, Claude
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2006, 16 (02): : 97 - 121
  • [23] Symbolic model checking with fewer fixpoint computations
    Déharbe, D
    Moreira, AM
    [J]. FM'99-FORMAL METHODS, 1999, 1708 : 272 - 288
  • [24] WDVV equations: symbolic computations of Hamiltonian operators
    Vasicek, Jakub
    Vitolo, Raffaele
    [J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2022, 33 (06) : 915 - 934
  • [25] Approximated Symbolic Computations over Hybrid Automata
    Casagrande, Alberto
    Dreossi, Tommaso
    Piazza, Carla
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (124): : 43 - 57
  • [26] SYMBOLIC COMPUTATIONS IN DESIGN AND MODELLING OF NONLINEAR CONTROL
    Dyda, A. A.
    Lubimov, E. V.
    Di Gennaro, S.
    [J]. COMPUTATIONAL INTELLIGENCE IN BUSINESS AND ECONOMICS, 2010, 3 : 567 - 580
  • [27] Experiment of multithreading symbolic and algebraic computations with OpenMP
    Murao, Hirokazu
    [J]. MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS, 2006, 4151 : 426 - 437
  • [28] Load balancing strategies for symbolic vision computations
    Chung, YW
    Woo, J
    Nevatia, R
    Prasanna, VK
    [J]. 3RD INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 1996, : 263 - 269
  • [29] Using numerical insights to improve symbolic computations
    Hauenstein, Jonathan D.
    [J]. 2019 21ST INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2019), 2020, : 11 - 16
  • [30] Symbolic and numerical computations for analysis of uncertain systems
    Hromcik, M
    Sebek, M
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 107 - 111
12345