• Modelica

  • Referenced in 86 articles [sw04352]
  • electrical, hydraulic control and state machine subsystems, process oriented applications and generation and distribution ... Modelica are mathematically described by differential, algebraic and discrete equations. No particular variable needs...
  • MOTOR

  • Referenced in 8 articles [sw02988]
  • spectrum of modeling concepts, possesses rigid, process-algebra style semantics, and yet provides modern...
  • FeynCalc

  • Referenced in 52 articles [sw07022]
  • algebraic calculation of Feynman amplitudes. The purpose of the package is to facilitate the process ... package is written in the computer algebra languages Macsyma as well as Mathematica allowing...
  • Bio-PEPAd

  • Referenced in 5 articles [sw10690]
  • this paper, we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning ... yielding a new non-Markovian stochastic process algebra: Bio-PEPAd. This is a conservative extension ... systems with delays. This semantics of the algebra is given in the starting-terminating style ... PEPAd systems in generalized semi-Markov processes (GSMPs), as input for a delay stochastic simulation...
  • CASPA

  • Referenced in 4 articles [sw02863]
  • symbolic elimination algorithm for the stochastic process algebra tool CASPA. CASPA is a stochastic process...
  • JACK

  • Referenced in 3 articles [sw04601]
  • JACK: A Framework for Process Algebra Implementation in Java. The construction of concurrent programs ... difficult to repeat test scenarios. Process algebras have been used to design and reason about ... concurrent programs using a set of process algebra constructs implemented as an object-oriented framework ... design and implementation of process algebra constructs that provides as naturally as possible, the algebraic...
  • CUBLAS

  • Referenced in 66 articles [sw06880]
  • implementation of BLAS (Basic Linear Algebra Subprograms) on top of the NVIDIA®CUDA™ runtime ... access the computational resources of NVIDIA Graphics Processing Unit (GPU), but does not auto-parallelize...
  • Succinct

  • Referenced in 5 articles [sw09703]
  • protocol narrations formalised in a suitable process algebra. Both solvers operate over finite domains although ... increase the efficiency of the solving process, and on the other hand to increase...
  • CARMA

  • Referenced in 5 articles [sw20777]
  • adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed...
  • CULA

  • Referenced in 10 articles [sw12745]
  • Hybrid GPU accelerated linear algebra routines. The modern graphics processing unit (GPU) found in many ... excellent FLOPS/watt ratio. High-level linear algebra operations are computationally intense, often requiring ... would seem a natural fit for the processing power of the GPU. Our work ... CULA, a GPU accelerated implementation of linear algebra routines. We present results from factorizations such...
  • VERSA

  • Referenced in 2 articles [sw21393]
  • based on ACSR, a timed process algebra designed to express resource-bound real-time distributed ... supports the analysis of real-time processes through algebraic rewriting, interactive execution, and equivalence testing ... presenting a brief overview of the process algebra ACSR, its syntax, operational semantics, and equivalence ... analysis. Index Terms Real-time systems, process algebras, specification, verification, formal description techniques, resources, priority...
  • CSPsim

  • Referenced in 4 articles [sw13312]
  • discuss a model using the process algebra CSP. This model gives a more formal semantics...
  • homalg

  • Referenced in 26 articles [sw00411]
  • mathematical object in a computer algebra system. Once this is achieved, one can compose ... derive functors and even iterate this process without the need of any specific knowledge ... designed to extend any computer algebra software implementing the arithmetics of a computable ring...
  • IMPS

  • Referenced in 49 articles [sw09143]
  • facilitate human control of the deductive process and human comprehension of the resulting proofs ... repeatable proofs covers significant portions of logic, algebra, and analysis and provides some support...
  • New-HOPLA

  • Referenced in 3 articles [sw06992]
  • Encodings are given of well-known process algebras, including $pi$-calculus, higher-order $pi$-calculus...
  • PLASMA

  • Referenced in 43 articles [sw12743]
  • disruptive situation that is facing the Linear Algebra and High Performance Computing community ... frameworks that enable programmers to simplify the process of developing applications that can achieve both ... highly efficient software framework for Computational Linear Algebra applications...
  • ROPTLIB

  • Referenced in 9 articles [sw27188]
  • applications including computer vision, signal processing, and numerical linear algebra. The substantial background required...
  • AWN

  • Referenced in 2 articles [sw29233]
  • Wireless Networks (AWN). AWN is a process algebra developed for modelling and analysing protocols ... models comprise five distinct layers: sequential processes, local parallel compositions, nodes, partial networks, and complete...
  • applinalgcode

  • Referenced in 2 articles [sw28557]
  • Linear algebra, signal processing, and wavelets -- a unified approach. Python version. This book offers ... background in linear algebra. It defines fundamental concepts in signal processing and wavelet theory, assuming ... familiarity with elementary linear algebra. No background in signal processing is needed. Additionally, the book ... signal processing background are also introduced to the world of linear algebra, although a full...
  • MKL

  • Referenced in 105 articles [sw06975]
  • take advantage of all of that processing power is to use a carefully optimized computing ... includes highly vectorized and threaded Linear Algebra, Fast Fourier Transforms (FFT), Vector Math and Statistics...