• CESAR

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

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

  • Referenced in 26 articles [sw13076]
  • demonstrate how to specify process algebras, namely CCS [R. Milner, Communication and concurrency. New York ... Hoare, Communicating sequential processes. Englewood Cliffs, New Jersey etc.: Prentice-Hall International ... concepts of process algebra in a natural way: The type system of communications, the syntax...
  • Lucid

  • Referenced in 39 articles [sw21485]
  • number of communication channels or arcs. The processing stations may have more than one input ... output port, they will not be connected sequentially (the network may even have loops...
  • PSATO

  • Referenced in 41 articles [sw02635]
  • workstations. PSATO is based on the sequential SAT prover SATO, which is an efficient implementation ... master-slave model is used for communication. A simple and affective workload balancing method distributes ... method is that the current processes explore disjoint portions of the search space. In this...
  • ToolBus

  • Referenced in 8 articles [sw02041]
  • component interconnection architecture resembling a hardware communication bus, and therefore we will call ... others, (1) sequential composition, choice and iteration of processes; (2) handshaking (synchronous) communication of messages...
  • CSPConCheck

  • Referenced in 1 article [sw06412]
  • tool “CSPConCheck”. We use concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using...
  • EVPI

  • Referenced in 20 articles [sw02644]
  • from the realisations of the random data process determining the uncertainty in the problem. This ... time spent communicating between processors. A parallel version of a sequential importance sampling solution algorithm...
  • TheLMA

  • Referenced in 9 articles [sw12960]
  • describe the implementation of a multi-graphical processing unit (GPU) fluid flow solver based ... scalability are excellent, the speedup over sequential implementations being at least of two orders ... magnitude. In addition, we discuss tiling and communication issues for present and forthcoming implementations...
  • BDDNOW

  • Referenced in 6 articles [sw08898]
  • Accordingly, several researchers have investigated using parallel processing for BDDs. In this paper, we present ... features. The parallelization scheme strives for minimal communication overhead, so we are able to demonstrate ... node is comparable to that of efficient sequential packages. In addition, the package supports dynamic...
  • RT-ASLAN

  • Referenced in 6 articles [sw30491]
  • extension of the ASLAN specification language for sequential systems. Some of the features ... parallel real-time processes through arbitrary levels of abstraction; processes do not have ... specified to the same level of detail. Communicating processes use an interface process...
  • RCaller

  • Referenced in 3 articles [sw12718]
  • Although R is single-threaded, multiple R processes can be created and handled by multiple ... single object by using sequential command invocation ability. The former use multiple environments which ... mutual variable pool and clients can communicate as well. RCaller is written purely in Java...
  • DryadOpt

  • Referenced in 1 article [sw13406]
  • only need to implement sequential code to process individual sub problems (either by solving them ... offer a constrained application model, with restricted communication patterns, our experiments show that careful design...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 327 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 170 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2974 articles [sw00320]
  • GAP is a system for computational discrete algebra...