Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.
Stavros TripakisChristos SofronisNorman ScaifePaul CaspiPublished in: EMSOFT (2005)
Keyphrases
- efficient implementation
- scheduling algorithm
- active set
- efficient processing
- hardware implementation
- highly parallel
- communication systems
- formal semantics
- speech acts
- state information
- memory usage
- intra class
- interprocess communication
- agent communication
- response time
- associative memory
- logic programming
- multi dimensional