Login / Signup

An Approach for Ensuring Reliable Functioning of a Supercomputer Based on a Formal Model.

Alexander S. AntonovDmitry A. NikitenkoPavel A. ShvetsSergey I. SobolevKonstantin S. StefanovVadim VoevodinVladimir V. VoevodinSergey A. Zhumatiy
Published in: PPAM (1) (2015)
Keyphrases
  • formal model
  • building blocks
  • security properties
  • massively parallel
  • floating point
  • data sets
  • formal models
  • databases
  • artificial intelligence
  • neural network
  • data mining
  • information systems
  • high quality