AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

Certifying low-level programs with hardware interrupts and preemptive threads

Special Interest Group on Programming Languages, no. 6 (2009): 170-182

被引用92|浏览18
EI WOS SCOPUS

摘要

Hardware interrupts are widely used in the world's critical software systems to support preemptive threads, device drivers, operating system kernels, and hypervisors. Handling interrupts properly is an essential component of low-level system programming. Unfortunately, interrupts are also extremely hard to reason about: they dramatically ...更多

代码

数据

您的评分 :
0

 

标签
评论
小科