• SYMMGRP

  • Referenced in 118 articles [sw01066]
  • still available at the Computer Physics Communications Program Library, Queen’s University of Belfast, North...
  • Chaco

  • Referenced in 117 articles [sw09640]
  • that the quantity of interprocessor communication is kept small. Finding an optimal decomposition is provably...
  • AntNet

  • Referenced in 66 articles [sw11975]
  • AntNet: Distributed stigmergetic control for communications networks. This paper introduces AntNet, a novel approach ... adaptive learning of routing tables in communications networks. AntNet is a distributed, mobile agents based ... network and exchange collected information. The communication among the agents is indirect and asynchronous, mediated ... network itself. This form of communication is typical of social insects and is called stigmergy...
  • Flyspeck

  • Referenced in 113 articles [sw10277]
  • Communicating formal proofs: the case of flyspeck. We introduce a platform for presenting and cross...
  • Pastry

  • Referenced in 108 articles [sw11775]
  • including global data storage, data sharing, group communication and naming. par Each node...
  • Nektar++

  • Referenced in 76 articles [sw11964]
  • solve. The lack of inter-element communication and easily parallelizable nature of the local matrix ... well as the reduced trace-based communication pattern, which together make the method amenable...
  • OMDoc

  • Referenced in 87 articles [sw07138]
  • serve as the content language for agent communication of mathematical services on a mathematical software...
  • Zoltan

  • Referenced in 53 articles [sw07458]
  • computing, and is commonly used to reduce communication in parallel computing. Different models (graph, hypergraph ... main strength is that it accurately captures communication volume, but it is slower to compute ... directed graphs (nonsymmetric matrices), where the communication volume is reduced in several cases by over...
  • FEAST

  • Referenced in 83 articles [sw04025]
  • purpose FEAST solver package includes both reverse communication interfaces and ready to use predefined interfaces...
  • Scotch

  • Referenced in 79 articles [sw07818]
  • parallel machine requires good placement of the communicating processes of the program onto the processors...
  • Pict

  • Referenced in 71 articles [sw08929]
  • returning results, higher-order programming, selective communication, and concurrent objects. The type system integrates...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • Communication protocols for mathematical services based on KQML and OMRS We describe the first ideas ... formalizing a communication protocol for mathematical services based on KQML (Knowledge Query and Manipulation Language ... that the interaction level of a communication protocol for mathematical services can be relatively generic ... OPENMATH standard, and gives a semantics to communication of mathematical services in distributed theorem proving...
  • OMNet++

  • Referenced in 65 articles [sw04170]
  • broader sense that includes wired and wireless communication networks, on-chip networks, queueing networks...
  • PISA

  • Referenced in 61 articles [sw01397]
  • modules are implemented as separate programs which communicate through text files. PISA is a library...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • designed to be extensible and composable: the communication protocol stack for wireless networks is divided...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • finite control structure and real-valued clocks, communicating through channels or shared variables [WPD94, LPW97b ... application areas include real-time controllers and communication protocols in particular, those where timing aspects...
  • GHC

  • Referenced in 43 articles [sw23765]
  • relationship to other formalisms including dataflow languages, Communicating Sequential Processes, and functional languages for multiprocessing ... time-complexity of many- to-one communication in procedural languages. Furthermore, we made available...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • parallel with shared variables acting as communication channels for the passing of partial bindings. Only ... solutions relation calls is evaluated without communication of partial bindings, but all the solutions...
  • JMP

  • Referenced in 54 articles [sw00476]
  • more efficient, tackle difficult statistical problems, communicate findings and bring your data analysis...