Sign in

Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics.

Joost-Pieter KatoenThomas NollThomas SantenDirk SeifertHao Wu
Published in: MMB/DFT (2014)
Keyphrases
  • logic programming
  • formal semantics
  • test bed
  • steady state
  • proof theory
  • databases
  • artificial intelligence
  • markov chain
  • semantic information
  • data center
  • arrival rate
  • specification language