Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts.
Peter ScholzPublished in: Softw. Syst. Model. (2006)
Keyphrases
- load balance
- load balancing
- peer to peer
- distributed systems
- parallel algorithm
- inter processor communication
- reactive systems
- parallel execution
- distributed environment
- parallel computing
- data sets
- single processor
- real time
- data transfer
- specification language
- communication cost
- parallel processing
- lightweight
- multi agent
- delay insensitive