• Charon

  • Referenced in 20 articles [sw19755]
  • operations of instantiation, hiding, and parallel composition. For a hierarchical description of the behaviour...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • machines, using either synchronization vectors, or parallel composition, hiding, renaming, and cut operators from several...
  • SLIC

  • Referenced in 135 articles [sw18282]
  • these surfaces are defined as a composition of one space dimensional components, one for each ... straight lines, either perpendicular to or parallel to that coordinate direction. (3) The one-dimensional...
  • PTSC

  • Referenced in 5 articles [sw13692]
  • choice and a probabilistic version of parallel composition. We formalize an operational semantics for such...
  • Copperhead

  • Referenced in 5 articles [sw30955]
  • Python. The Copperhead programmer describes parallel computations via composition of familiar data parallel primitives supporting...
  • AWN

  • Referenced in 2 articles [sw29233]
  • five distinct layers: sequential processes, local parallel compositions, nodes, partial networks, and complete networks. This...
  • PMC

  • Referenced in 1 article [sw28466]
  • communication, multi-synchronization, local deter-ministic parallel composition, global non-deterministic parallel composition...
  • DLC

  • Referenced in 1 article [sw19394]
  • specification is made of a parallel composition of non-deterministic processes which interact by multiway...
  • NEGEXT

  • Referenced in 1 article [sw09761]
  • game to game, by sequential and parallel composition (cf. [1]). Moreover, the toolkit...
  • CoBoxes

  • Referenced in 2 articles [sw18534]
  • nesting of coboxes for composition and internal parallelism. Communication between coboxes is handled by asynchronous...
  • PECANS

  • Referenced in 5 articles [sw02161]
  • Scientific Press (1994)]; this environment allows the parallel execution of physical phenomena simulation by means ... composition mechanism for such components. In PEACANS two main kinds of parallelism are possible...
  • Complx

  • Referenced in 0 articles [sw21502]
  • semantics of Simpl with support for parallel composition and synchronisation. We additionally define ... model-level OG proof using Hoare-Parallel...
  • ASKALON

  • Referenced in 17 articles [sw08430]
  • model and predict the performance of parallel applications at the early stages of development ... each tool is based on the composition and sharing of remote Grid services, thus enabling...
  • VBF

  • Referenced in 2 articles [sw20673]
  • such as equality testing, composition, inversion, sum, direct sum, bricklayering (parallel application of vector Boolean...
  • UnQL

  • Referenced in 9 articles [sw20018]
  • evaluation which processes the entire data in parallel using only traditional relational algebra operators ... structural recursion. We show that the composition of two structural recursion queries can be expressed...
  • cqrReg

  • Referenced in 2 articles [sw21332]
  • lack of publicly-available methods for (composite) quantile regression, both with and without regularization ... future developments in its amenability to parallelization...
  • Blaise

  • Referenced in 8 articles [sw29867]
  • probabilistic inference, along with means of composition that support easy incremental development of high-performance ... soon to be added, such as automatic parallelization for multicore processors and computing clusters...
  • ADDA

  • Referenced in 2 articles [sw30342]
  • composition. Besides standard sequential execution, ADDA can run on a multiprocessor distributed-memory system, parallelizing...
  • Cogito

  • Referenced in 3 articles [sw09261]
  • Object-oriented construction of parallel PDE solvers. An object-oriented approach is taken ... computers with distributed memory. Difference methods on composite, structured grids are supported. Most ... oriented design is visible. With respect to parallel performance, these tools yield code that...
  • TiledArray

  • Referenced in 2 articles [sw12616]
  • TiledArray: A Massively-Parallel, Block-Sparse Tensor Library Written in C++. TiledArray is a scalable ... that is designed to aid in rapid composition of high-performance tensor expressions, appearing...