搜索 - 腾讯云开发者社区-腾讯云

文章/答案/技术大牛

发布

Rust、零信任与高保证系统：为什么开发者该关注“硬件/软件共保证”
return (CQ_EMPTY, 0); } else { return (CQ_OK, CObj.arr[CObj.front]); }}RAR 可以用工具链自动转成 ACL2 硬件/软件共保证工具链有效 Plexi + RAC + ACL2 工具链，可以把软件算法自动映射到硬件，实现形式化验证。
20700编辑于 2025-08-28
来自专栏卯金刀GG
ZooKeeper学习第六期---ZooKeeper机制架构
(acl1); 　　　　 //添加第二个id，所有用户可读权限 Id id2 = new Id("world", "anyone"); ACL acl2 = new ACL(ZooDefs.Perms.READ, id2); acls.add(acl2); // Zk用admin认证，创建/test ZNode
82720发布于 2019-07-26
来自专栏新智元
2017最受欢迎人工智能编程语言：Python第一，R并未上榜
Lisp开发的有数以千计的AI应用程序，包括：美国运通的授权人助理，用于检查交易（信用卡） METAL，一种自然语言翻译系统 Macsyma，第一个大型计算机代数系统 ACL2，AMD使用的定理证明程序
2.9K60发布于 2018-03-22
来自专栏一个会写诗的程序员的博客
Clojure与LispClojure与Lisp
1990年来自欧洲用户的EuLisp、运行于Java虚拟机的Clojure、受到Maclisp影响而创的Emacs Lisp、以及自由开源来自卡内基·梅隆大学的CMUCL、还有IsLisp，Racket，ACL2
2.6K30发布于 2018-08-20
来自专栏机器之心
从Bengio演讲发散开来：探讨逻辑推理与机器学习
例如，用于验证硬件和软件系统的工业强度系统 ACL2 (http://www.cs.utexas.edu/users/moore/acl2/)。
1.1K40发布于 2020-10-27
来自专栏Ryan Miao
openldap介绍和使用
group.exact="cn=itpeople,ou=groups,dc=example,dc=com" write by * none # ACL2
17.6K165发布于 2019-08-20
来自专栏信数据得永生
构建安全可靠的系统：第十一章到第十五章
“使用 ACL2 进行工业硬件和软件验证。” 皇家学会哲学交易 A 数学物理和工程科学 375(2104)：20150399。doi:10.1098/rsta.2015.0399。
67310编辑于 2024-01-11

Rust、零信任与高保证系统：为什么开发者该关注“硬件/软件共保证”

ZooKeeper学习第六期---ZooKeeper机制架构

2017最受欢迎人工智能编程语言：Python第一，R并未上榜

Clojure与LispClojure与Lisp

从Bengio演讲发散开来：探讨逻辑推理与机器学习

openldap介绍和使用

构建安全可靠的系统：第十一章到第十五章

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐