Sign in

Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis.

Nikolai KosmatovJulien Signoles
Published in: TAP@STAF (2014)
Keyphrases
  • data streams
  • sliding window
  • data structure
  • data distribution
  • multi dimensional
  • neural network
  • website
  • real world
  • genetic algorithm
  • artificial intelligence
  • decision trees
  • spatio temporal
  • fundamental principles