elastos.org
XiaopingWang | Activity Streams | ElastosOrg
http://elastos.org/members/xpwang
高阶逻辑辅助证明系统 [德] 托比亚斯 尼普科夫，[英] 劳伦斯 鲍尔森，[德] 玛尔库斯 温泽尔 著 陈光喜，刘卓军 译. Viewing item 1 to 20 (of 23 items). Posted a new activity comment. Posted an update 高阶逻辑辅助证明系统 [德] 托比亚斯 尼普科夫，[英] 劳伦斯 鲍尔森，[德] 玛尔库斯 温泽尔 著 陈光喜，刘卓军 译. 这主要存在 2 个方面的原因:(1)在 OS 实现过程中, OS 开发者不可避免地存在编程错误、实现与设计不一致等问 题; (2)更重要的是, 在 OS 设计过程存在 OS 功能设计与安 全目标不一致等问题。 利用形式化方法对 OS 进行设计和验证, 包括利用严格的数学形式方法描述 OS…. Posted a new activity comment. Posted an update 目前为止，seL4是第一个经过形式化验证并证明功能正确性的完整的通用的操作系统内核。 2) 在形式化验证工具方面,验证工具采用的验证逻辑要更加 贴近程序逻辑,便于将系统实现代码转化为验证代码。 Http:/ ...
elastos.org
guweinan | Activity Streams | ElastosOrg
http://elastos.org/members/guweinan
推荐大家看一下:) http:/ www.csdn.net/article/2014-10-08/2821983-Objective-C-BradCox. Viewing item 1 to 2 (of 2 items). Http:/ www.csdn.net/article/2014-10-08/2821983-Objective-C-BradCox. Became a registered member. 推荐大家看一下:)http:/ www.csdn.net/article/2014-10-08/2821983-Objective-C-BradCox. Became a registered member. Doxygen & AsciiDoc.
elastos.org
Elastos核心开发组 | Home | ElastosOrg
http://elastos.org/groups/elastos
QQ群 Elastos os，群号 320347343. Http:/ elastos.org/review/#/q/status:merged project:ElastosRDK4 2 2,n,z. Http:/ elastos.org/review/#/q/status:merged project:Elastos5,n,z. Viewing item 1 to 20 (of 307 items). Wrote a new blog post Notification从重建到单击触发的流程. 新短信收到后，构造Notification，其中有承上启下作用的是PendingIntent类= = = = = = = = = = = =. Posted an update in the group. Https:/ source.android.com/security/trusty/index.html. Repo init -u https:/ android.googlesource.com/trusty/manifest. Text data bss …. 为了方便打印调试信息, 写了一个TO ...
elastos.org
Create an Account | ElastosOrg
http://elastos.org/register
Registering for this site is easy, just fill in the fields below and we'll get a new account set up for you in no time. Input invitation code here. You can apply it from Elastos Developer. Choose a Password (required). This field can be seen by: Anyone. Yes, I'd like to create a new site. I would like my site to appear in search engines, and in public listings around this network.:. Wrote a new blog post Notification从重建到单击触发的流程. Commented on the post, 在docker里运行redmine. On the site sunzhen's BLOG. Linaro...
elastos.org
HD-Elastos | Home | ElastosOrg
http://elastos.org/groups/hd-elastos
Tongji University High Dependable Operating System Group. Viewing item 1 to 20 (of 24 items). Posted an update in the group. Posted an update in the group. SeL4/seL4] seL4 realtime extensions https:/ wiki.sel4.systems/seL4%201.0.0-rt-dev. The rt branch is in no way compatible with the master branch of seL4. Posted an update in the group. Wrote a new blog post About Security: Singularity vs L4. Https:/ microkerneldude.wordpress.com/2008/04/10/about-security-singularity-vs-l4-part-2/. In a recent blog.
elastos.org
malili | Activity Streams | ElastosOrg
http://elastos.org/activity/p/4003
Became a registered member. Doxygen & AsciiDoc.
elastos.org
Jiong Zhao | Activity Streams | ElastosOrg
http://elastos.org/members/jiongzhao
我的网站 http:/ oldlinux.org/index cn.html 从这里可以下载我的 Linux内核0.11(0.95)完全注释 一书的电子版。 Viewing item 1 to 2 (of 2 items). 我的网站 http:/ oldlinux.org/index cn.html. 从这里可以下载我的 Linux内核0.11(0.95)完全注释 一书的电子版。 Became a registered member. 我的网站 http:/ oldlinux.org/index cn.html 从这里可以下载我的 Linux内核0.11(0.95)完全注释 一书的电子版。 Became a registered member. Doxygen & AsciiDoc.
elastos.org
malili | Activity Streams | ElastosOrg
http://elastos.org/members/malili
Viewing item 1 to 1 (of 1 items). Became a registered member. Became a registered member. Doxygen & AsciiDoc.
elastos.org
Chen Rong | Activity Streams | ElastosOrg
http://elastos.org/members/chenrong
Elastos版权 License Apache License, Version 2.0. Viewing item 1 to 20 (of 258 items). Wrote a new post, Fuchsia物联网操作系统的内核 LittleKernel已经运行在Android的TrustZone里面。 On the site Elastos' World. 重点不在于Fuchsia有多难写 其实不难写 ，而在于安卓的 物联网 外设模型必须统一。 Fuchsia还有一个角度来看 类似微软Universal […]. Wrote a new post, 为什么要做Elastos开源网络操作系统. On the site Elastos' World. Div Elastos是用C 语言实现的操作系统，具备特有的400左右 有限集合 系统调用API，提供类似安卓Java的C 类库。 但对于互联网生态 […] /div. Commented on the post, 为什么要做Elastos开源网络操作系统. On the site Elastos' World. On the site Elast...
elastos.org
ZhongweiXu | Activity Streams | ElastosOrg
http://elastos.org/members/xuzhongwei
Viewing item 1 to 1 (of 1 items). Became a registered member. Became a registered member. Doxygen & AsciiDoc.
