Open AccessSynthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems
Author(s) -
Saddek Bensalem,
Axel Legay,
Ayoub Nouri,
Doron Peled
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , probabilistic logic , formalism (music) , distributed computing , debugging , component (thermodynamics) , synchronization (alternating current) , scheduling (production processes) , theoretical computer science , programming language , artificial intelligence , physics , thermodynamics , art , musical , computer network , channel (broadcasting) , operations management , economics , visual arts