• Matlab

  • Referenced in 12640 articles [sw00558]
  • range of applications, including signal processing and communications, image and video processing, control systems, test...
  • SINGULAR

  • Referenced in 1441 articles [sw00866]
  • language. A general and efficient implementation of communication links allows SINGULAR to make its functionality...
  • PETSc

  • Referenced in 1228 articles [sw04012]
  • standard for all message-passing communication. PETSc includes an expanding suite of parallel linear, nonlinear...
  • Uppaal

  • Referenced in 639 articles [sw04702]
  • 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...
  • Simulink

  • Referenced in 771 articles [sw04348]
  • variety of time-varying systems, including communications, controls, signal processing, video processing, and image processing...
  • AMPL

  • Referenced in 602 articles [sw04001]
  • examine solutions, while the computer manages communication with an appropriate solver. AMPL’s flexibility...
  • TensorFlow

  • Referenced in 399 articles [sw15170]
  • edges represent the multidimensional data arrays (tensors) communicated between them. The flexible architecture allows...
  • MapReduce

  • Referenced in 252 articles [sw00546]
  • group by query. We first study the communication cost of the MapReduce model, then ... optimized version which addresses and improves the communication cost issues. Our optimized version shows...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • strict time deadlines. Embedded controllers, circuits and communication protocols are examples of such time-dependent...
  • NEURON

  • Referenced in 181 articles [sw03059]
  • Beowulf clusters and demonstrates that spike communication overhead is often less than the benefit ... integration time of 9.8 seconds and communication time of 1.3 seconds. The potential for speed...
  • LaTeX

  • Referenced in 230 articles [sw33652]
  • facto standard for the communication and publication of scientific documents. LaTeX is available as free...
  • Chord

  • Referenced in 208 articles [sw09434]
  • experiments show that Chord is scalable, with communication cost and the state maintained by each...
  • SATO

  • Referenced in 196 articles [sw04451]
  • using a master-slave model for communication. A simple and effective workload balancing method distributes...
  • Linda

  • Referenced in 103 articles [sw09427]
  • Generative communication in Linda. Generative communication is the basis of a new distributed programming language ... particular. It differs from previous interprocess communication models in specifying that messages be added ... some process chooses to receive them. Generative communication results in a number of distinguishing properties ... dynamic global name space that the generative communication model requires...
  • DOLFIN

  • Referenced in 171 articles [sw04313]
  • components and external software, and handles the communication between these components...
  • LARCH

  • Referenced in 103 articles [sw02126]
  • part of each interface is how components communicate across the interface. Communication mechanisms differ from ... easier to be precise about communication when the interface specification language reflects the programming language...
  • CESAR

  • Referenced in 159 articles [sw08510]
  • algorithmic description of a system of communicating sequential processes with respect to a given...
  • LCF

  • Referenced in 157 articles [sw08360]
  • inspired by Milner’s Calculus of Communicating Systems...
  • Isar

  • Referenced in 144 articles [sw04599]
  • that is amenable to human understanding (for communication, or just maintenance). The Intelligible semi-automated...
  • CADP

  • Referenced in 130 articles [sw04993]
  • popular toolbox for the design of communication protocols and distributed systems. CADP is developed...