10,206 research outputs found
Parallel software for lattice N=4 supersymmetric Yang--Mills theory
We present new parallel software, SUSY LATTICE, for lattice studies of
four-dimensional supersymmetric Yang--Mills theory with gauge
group SU(N). The lattice action is constructed to exactly preserve a single
supersymmetry charge at non-zero lattice spacing, up to additional potential
terms included to stabilize numerical simulations. The software evolved from
the MILC code for lattice QCD, and retains a similar large-scale framework
despite the different target theory. Many routines are adapted from an existing
serial code, which SUSY LATTICE supersedes. This paper provides an overview of
the new parallel software, summarizing the lattice system, describing the
applications that are currently provided and explaining their basic workflow
for non-experts in lattice gauge theory. We discuss the parallel performance of
the code, and highlight some notable aspects of the documentation for those
interested in contributing to its future development.Comment: Code available at https://github.com/daschaich/sus
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell
We present a formal translation of an actor-based language with cooperative
scheduling to the functional language Haskell. The translation is proven
correct with respect to a formal semantics of the source language and a
high-level operational semantics of the target, i.e. a subset of Haskell. The
main correctness theorem is expressed in terms of a simulation relation between
the operational semantics of actor programs and their translation. This allows
us to then prove that the resource consumption is preserved over this
translation, as we establish an equivalence of the cost of the original and
Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh,
Scotland UK, 6-8 September 2016 (arXiv:1608.02534
Executable assertions and flight software
Executable assertions are used to test flight control software. The techniques used for testing flight software; however, are different from the techniques used to test other kinds of software. This is because of the redundant nature of flight software. An experimental setup for testing flight software using executable assertions is described. Techniques for writing and using executable assertions to test flight software are presented. The error detection capability of assertions is studied and many examples of assertions are given. The issues of placement and complexity of assertions and the language features to support efficient use of assertions are discussed
- …