Response time bounds for event handlers in the priority based functional reactive programming (P-FRP) paradigm.
Chaitanya BelwalAlbert M. K. ChengYuanfeng WenPublished in: RACS (2012)
Keyphrases
- response time
- reactive systems
- higher priority
- upper bound
- event driven
- scheduling algorithm
- lower bound
- functional language
- programming paradigms
- temporal logic
- event detection
- quality of service
- storage space
- query execution
- model checking
- upper and lower bounds
- programming environment
- worst case
- network latency
- programming language
- news articles
- prefetching
- asymptotically optimal
- event condition action
- declarative programming
- high level
- error bounds
- event recognition
- computer programming
- functional programming
- formal methods
- disk access
- agent architecture
- data structure
- worst case bounds
- database systems