Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System.
Hendra GunadiAlwen TiuPublished in: CoRR (2013)
Keyphrases
- operating system
- computer systems
- case study
- microsoft windows
- metric temporal logic
- linux kernel
- virtual machine
- multi threaded
- command line
- mobile devices
- monitoring system
- cost effective
- software systems
- memory management
- operating environment
- data structure
- windows xp
- multi tasking
- learning red hat linux
- data mining