发布文献求助

Formal Memory Models for the Verification of Low-Level Operating-System Code

计算机科学 内存映射 内存保护 虚拟内存 管理程序 记忆模型 模型检查 程序设计语言 操作系统 内存管理 嵌入式系统 覆盖 共享内存 云计算 虚拟化
作者
Hendrik Tews,Marcus Völp,Tjark Weber
出处
期刊：Journal of Automated Reasoning [Springer Nature]
日期：2009-04-01 卷期号：42 (2-4): 189-227 被引量：23
链接
psu.edu tu-dresden.dedoi.org
标识
DOI：10.1007/s10817-009-9122-0
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
HY完成签到，获得积分10
刚刚
含蓄若云发布了新的文献求助10
刚刚
温迪发布了新的文献求助30
刚刚
dandan完成签到，获得积分10
1秒前
怎能浮夸发布了新的文献求助10
1秒前
2秒前
谦让小玉完成签到，获得积分10
2秒前
2秒前
2秒前
科研通AI5的应助被YSL采纳，获得10
3秒前
天天呼的海角完成签到，获得积分10
5秒前
bosszjw发布了新的文献求助10
5秒前
夏天的倒影完成签到，获得积分10
6秒前
7秒前
罗马狼王发布了新的文献求助30
7秒前
7秒前
7秒前
清脆人杰完成签到 ，获得积分10
8秒前
烟花的应助被魔幻傲霜采纳，获得30
8秒前
XXGG完成签到 ，获得积分10
9秒前
中豪贾完成签到 ，获得积分10
10秒前
苏州河完成签到 ，获得积分10
10秒前
论文狗发布了新的文献求助10
10秒前
科研通AI5的应助被学术摆子采纳，获得10
12秒前
lilian发布了新的文献求助10
12秒前
lz发布了新的文献求助10
12秒前
Bake完成签到 ，获得积分10
12秒前
深情安青的应助被年轻的醉冬采纳，获得10
13秒前
14秒前
16秒前
17秒前
打打的应助被lz采纳，获得10
18秒前
YANG完成签到 ，获得积分10
20秒前
20秒前
烟花的应助被zhangnan采纳，获得10
20秒前
白丁香发布了新的文献求助10
21秒前
科研通AI5的应助被zwy采纳，获得10
21秒前
22秒前
现代乌龟完成签到，获得积分10
22秒前
23秒前
高分求助中
Continuum Thermodynamics and Material Modelling 3000
Production Logging: Theoretical and Interpretive Elements 2700
Les Mantodea de Guyane Insecta, Polyneoptera 1000
Structural Load Modelling and Combination for Performance and Safety Evaluation 1000
Conference Record, IAS Annual Meeting 1977 820
England and the Discovery of America, 1481-1620 600
電気学会論文誌D（産業応用部門誌）, 141 巻, 11 号 510
热门求助领域 （近24小时）
化学 材料科学 生物 医学 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 量子力学 光电子学 冶金
热门帖子
关注 科研通微信公众号，转发送积分 3572963
求助须知：如何正确求助？哪些是违规求助？ 3143128
关于积分的说明 9450156
捐赠科研通 2844589
什么是DOI，文献DOI怎么找？ 1563562
邀请新用户注册赠送积分活动 731886
科研通“疑难数据库（出版商）”最低求助积分说明 718701
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通