• PSPASES

  • Referenced in 14 articles [sw00739]
  • developed. We discuss the algorithmic and implementation issues involved in its development; and present performance...
  • SeDiMO

  • Referenced in 14 articles [sw07826]
  • compute dimkC. After dealing with some implementation issues, they list some conjectures about secant dimensions...
  • MONACO

  • Referenced in 34 articles [sw20793]
  • nodes. Further, the new implementation strictly separates physical modeling, geometrical issues, and organizational tasks ... flow configurations are calculated with the new implementation to demonstrate its generality and performance. They...
  • FASTA

  • Referenced in 14 articles [sw37234]
  • with a special emphasis on practical implementation concerns. Issues like stepsize selection, acceleration, stopping conditions ... Many variations of forward-backward splitting are implemented in the solver FASTA (short for Fast...
  • SYROCO

  • Referenced in 8 articles [sw04389]
  • dynamic dining philosophers problem, and tackles implementation issues through the presentation of SYROCO, a CoOperative...
  • SSJ

  • Referenced in 15 articles [sw08862]
  • were key criteria in its design and implementation. We illustrate its use by simple examples ... dealt with some performance issues in the implementation...
  • ESOLID

  • Referenced in 11 articles [sw15824]
  • describe the system architecture, representations, and issues in implementing the algorithms. We also describe...
  • GRUMMP

  • Referenced in 11 articles [sw09672]
  • wing, for example). GRUMMP addresses these issues by implementing mesh manipulation primitives to generate...
  • pARMS

  • Referenced in 39 articles [sw00683]
  • design issues of the package. A few details on the implementation of pARMS are provided...
  • BoomerAMG

  • Referenced in 200 articles [sw00086]
  • algorithm. In this paper we describe an implementation of a parallel AMG code, using ... basic schemes, designed to address specific performance issues. We present numerical results for a broad...
  • MPICH-G2

  • Referenced in 35 articles [sw02373]
  • MPICH-G2: A grid-enabled implementation of the message passing interface. Application development for distributed ... these issues, we have developed MPICH-G2, a Grid-enabled implementation of the Message Passing...
  • MARS

  • Referenced in 5 articles [sw00549]
  • theoretical basis behind it and implementation issues. The polynomial system is reduced to a sparse ... Sylvester/Macaulay and Bézout type matrices. In the implementation, the symbolic part of the computation...
  • Playa

  • Referenced in 5 articles [sw17485]
  • briefly survey some of the implementation issues involved...
  • GenASPI

  • Referenced in 5 articles [sw19575]
  • GenAbI algorithm. Finally, applicability and implementation issues are discussed and numerical results along with comparative...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • agents interaction and mobility. We investigate the issue of designing a kernel programming language ... language and provides guidelines for implementations. KLAIM is equipped with a type system that statically...
  • EVSL

  • Referenced in 11 articles [sw27222]
  • EVSL, provides details on their implementations, and discusses performance issues for the various methods...
  • Aspectual Caml

  • Referenced in 4 articles [sw22681]
  • This paper describes the design and implementation issues of those AOP mechanisms that give ... inference, polymorphic types and curried functions. We implemented a prototype compiler of the language...
  • TORC

  • Referenced in 4 articles [sw18633]
  • load balancing. We discuss design and implementation issues regarding heterogeneity support and report performance results...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • high-level specification and an extremely modular implementation of complex systems by structurally decomposing them ... reactive languages is however made a difficult issue by global safety requirements. To enable separate ... principle, we present the first design and implementation of a polymorphic type system...
  • Cibai

  • Referenced in 4 articles [sw26821]
  • analysis and octagons. We discuss some implementation issues, and we compare Cibai with similar tools...