• Erlang

  • Referenced in 116 articles [sw07202]
  • computer telephony and instant messaging. Erlang’s runtime system has built-in support for concurrency ... distribution and fault tolerance...
  • TPVM

  • Referenced in 9 articles [sw03347]
  • Multiparadigm distributed computing with TPVM Distributed concurrent computing based on lightweight processes can potentially address ... computing, scheduling, and parallelism. TPVM facilitates and supports three different distributed concurrent programming paradigms ... that provides access to thread-based distributed concurrent computing facilities, a portable thread interface module ... systems for distributed computing, and the performance improvements that result from multithreaded concurrent computing...
  • PUMMA

  • Referenced in 11 articles [sw07819]
  • universal matrix multiplication algorithms on distributed memory concurrent computers. he paper describes Parallel Universal Matrix ... Multiplication Algorithms (PUMMA) on distributed memory concurrent computers. The PUMMA package includes not only ... block cyclic data distribution. The routines perform efficiently for a wide range of processor configurations...
  • Dryad

  • Referenced in 20 articles [sw08916]
  • distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational ”vertices ... locking. Concurrency arises from Dryad scheduling vertices to run simultaneously on multiple computers ... single computers, through small clusters of computers, to data centers with thousands of computers ... creating a large distributed, concurrent application: scheduling the use of computers and their CPUs, recovering...
  • Creol

  • Referenced in 27 articles [sw09421]
  • oriented model for distributed concurrent systems. Object-oriented distributed computing is becoming increasingly important...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR. The aim of this paper ... interactive system for aiding the design of distributed applications. CESAR allows the progressive validation ... temporal operators of which can be computed iteratively as fixed points of monotonic predicate transformers...
  • ProActive

  • Referenced in 9 articles [sw05575]
  • Java library for parallel, distributed, and concurrent computing as well as mobility and security ... interfaces. It simplifies the programming of applications distributed over a LAN, clusters, an intranet...
  • IC2D

  • Referenced in 8 articles [sw03295]
  • Java ProActive PDC (Parallel, Distributed and Concurrent) computing library are monitored for ’free’ by IC2D ... those targetted applications can run on any distributed runtime support ranging from multiprocessor workstations, clusters...
  • DPUP

  • Referenced in 2 articles [sw18429]
  • library of utilities that support distributed concurrent computing on a local area network of computers ... network, connected by an Ethernet, where each computer runs a version of the Unix operating ... facilities. DPUP supports two models of distributed concurrent computation, a master-slave model based upon...
  • QuickLex

  • Referenced in 3 articles [sw23063]
  • states enumeration of distributed computations. Verifying the correctness of executions of concurrent and distributed programs ... global state of the given concurrent or distributed computation. The method is predictive because ... including the inferred ones, of the given computation. Cooper and Marzullo gave the first enumeration ... linear to the size of the computation $P$. In this paper, we present a fast...
  • Mosel

  • Referenced in 37 articles [sw04911]
  • chapter presents possibilities for problem decomposition and concurrent solving from a modeling point of view ... model, and as a new feature, distributed computation using a heterogeneous network of computers...
  • Chapel

  • Referenced in 21 articles [sw31978]
  • contains first-class concepts for concurrent and parallel computation; productive: designed with programmability and performance ... systems; scalable: supports locality-oriented features for distributed memory systems; open-source: hosted on GitHub...
  • future

  • Referenced in 10 articles [sw15765]
  • instance concurrent evaluation, e.g. parallel processing and distributed processing on compute clusters. The purpose...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • implementation, constraint-based inference, distributed computing, and human-computer interfaces. As a result, Mozart ... constraint programming, and concurrency as part of a coherent whole. For distribution, Mozart provides...
  • DP2PN2Solver

  • Referenced in 2 articles [sw00216]
  • optimal solution for the problem instance is computed by an “executable” code (e.g., Java, Spreadsheet ... intrinsic concurrency allows to distribute the computational load encountered when solving a single DP problem...
  • Biotope

  • Referenced in 2 articles [sw18796]
  • study of distributed computational systems issues, such as heterogeneity, concurrency, control, and coordination, has yielded ... intriguing and complex classes of distributed systems are computational ecosystems, which add an ”ecological” perspective...
  • QCMPI

  • Referenced in 9 articles [sw01149]
  • COMPUTING. Nature of problem: Analysis of quantum computation algorithms and the effects of noise. Solution ... Procedures for distributing state vector amplitudes over processors and for solving concurrent (multiverse) cases with...
  • Rebeca

  • Referenced in 9 articles [sw09422]
  • with a formal foundation for modeling concurrent and distributed systems which is designed ... state space. Simple message-driven object-based computational model, Java-like syntax...
  • Jolie

  • Referenced in 10 articles [sw12396]
  • Service-Oriented Computing and the traditional approach to the modelling of concurrency typical of process ... framework for programming dynamically evolvable distributed service-oriented applications that are correct-by-construction...
  • Noble

  • Referenced in 2 articles [sw31107]
  • concurrent environments. These environments can be multitasking systems, parallel computers as well as distributed real...