Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Markov models
• Formal methods
• Graph theory
• Markov chain
• Process calculus
• Semantics
• Stochastic process
• Mathematics

FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

Source URL: www.lix.polytechnique.fr

• Computing
• Software engineering
• Computer programming
• Array programming languages
• High-level programming languages
• Parallel computing
• Compiler optimizations
• Fortran
• Functional programming
• MATLAB
• Argonne National Laboratory
• NP

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA

Source URL: correctness-workshop.github.io

• Computing
• Software engineering
• Computer programming
• X86 instructions
• MOVAPD
• X86 instruction listings
• J
• Compiler
• MOVDDUP

Language Equivalence of Probabilistic Pushdown Automata Vojtˇech Forejta , Petr Janˇcarb , Stefan Kiefera , James Worrella a Department b Dept

Source URL: qav.comlab.ox.ac.uk

• Formal languages
• IP
• Mathematics
• Grammar
• Theoretical computer science
• Nested stack automaton
• Indexed grammar

Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist

Source URL: eftychis.org

• Cryptography
• Computational hardness assumptions
• Decisional DiffieHellman assumption
• Computational DiffieHellman assumption
• Decision Linear assumption
• DiffieHellman problem
• Learning with errors
• Weight
• Provable security
• IP
• XDH assumption
• Ideal lattice cryptography

Unintended Consequences Rogoff, Reinhart and Ricardian Equivalence T David Howden1

Source URL: pricesandmarkets.org

2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC

Source URL: testcover.com

510(k) SUBSTANTIAL EQUIVALENCE DETERMINATION CHECKLIST

Source URL: www.ark-tdm.com

Tones and Types Michael Arntzenius, 16 May 2018 Abstract. Certain properties of maps between preorders (e.g. preserving equivalence) reduce to monotonicity with respect to an altered domain ordering.

Source URL: www.rntz.net

Parikh Equivalence and Descriptional Complexity Giovanni Pighizzini Dipartimento di Informatica Università degli Studi di Milano, Italy

Source URL: pighizzini.di.unimi.it