Login / Signup

High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines.

Vladimir Estivill-CastroRené HexelCarl Lusty
Published in: SIMPAR (2014)
Keyphrases
  • finite state machines
  • state machine
  • digital circuits
  • finite state automata
  • model checking
  • object model
  • d objects
  • supervised learning
  • data objects
  • process model
  • functional units
  • database
  • modal logic
  • logic circuits