
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, processalgebra 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...

BioPEPAd
 Referenced in 5 articles
[sw10690]
 this paper, we enrich the stochastic process algebra BioPEPA, with the possibility of assigning ... yielding a new nonMarkovian stochastic process algebra: BioPEPAd. This is a conservative extension ... systems with delays. This semantics of the algebra is given in the startingterminating style ... PEPAd systems in generalized semiMarkov 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 objectoriented 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 autoparallelize...

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. Highlevel 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 resourcebound realtime distributed ... supports the analysis of realtime 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 Realtime 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...

NewHOPLA
 Referenced in 3 articles
[sw06992]
 Encodings are given of wellknown process algebras, including $pi$calculus, higherorder $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...