Login / Signup

Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations.

Jingshu ChenMarie DuflotStephan Merz
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)
Keyphrases
  • multi threaded
  • multithreading
  • operating system
  • computer architecture
  • multi core processors
  • information flow
  • real time
  • metadata
  • data processing
  • computer programs