VIP会员
作者:CSDN
出版社:CSDN《程序员》
ISBN:1111111111117
VIP会员免费
(仅需0.8元/天)
¥ 40000.0
温馨提示: 价值40000元的1000本电子书,VIP会员随意看哦!
电子书推荐
-
scheme r6rs 评分:
Scheme语言规范 r6rs 该语言以灵活著称,主要应用人工智能,教学
上传时间:2013-10 大小:839KB
- 2.92MB
Scheme 标准 R5RS R6RS
2011-05-08Scheme语言标准 R5RS R6RS, Revised5 Report on the Algorithmic Language Scheme
- 601KB
yuni:R7RSR6RS通用方案可移植性平台
2021-05-18(yuni scheme) -R7RS基本库的子集,也可在R6RS上使用。 (yuni core) -基本结构和类型 (yuni ffi *) -静态绑定FFI(正在建设中) 语言功能和局限性 简而言之,yuni提供了R6RS库加载器的子集和R7RS基础库的子集。 另...
- 302KB
Scheme Natural Language Toolkit-开源
2021-04-24Scheme Natural Language Toolkit(S-NLTK)是Scheme R6RS库,用于语言和文本处理以及与语言数据的符号和统计分析有关的各种任务。
- 697KB
r7rs-small-spec-ja:``Revised^7 Report on the Algorithmic Language Scheme''''的日文翻译 (R7RS) R7RS 日本语訳
2021-06-21致谢由于大部分原文是R5RS和R6RS的翻版,所以日文翻译也是根据和的日文翻译。 我们要感谢所有出版 R5RS 日文译本和 R6RS 日文译本的人。其他如果您发现印刷错误或误译,请告诉我们。酌情更正。本文档不保证内容的...
- 2.25MB
chez scheme windows exe执行查询
2018-10-22chez scheme windows版运行程序。 支持r6rs。个人感觉还不错,对于使用windows的,不想编译chez源码的,可以使用该程序在windows上使用
- 31KB
json-tools:用于R6RS方案的JSON实用程序
2021-05-01用于R6RS方案的JSON工具 JSON实用程序的集合。 JSON是轻量级的数据格式,已被广泛使用。 有一个可以处理它的库很方便。 预期的JSON结构映射如下: JSON映射->向量 JSON数组->列表 JSON布尔值->布尔值 JSON null->...
- 19KB
minikanren:来自“The Reasoned Schemer”的 minikanren 的 r6rs 包装
2021-06-11-*- 模式:组织-*- MiniKanren - 一个声明式逻辑编程系统 它是什么? MiniKanren 是 Scheme 编程语言的关系... 此版本已由我(Ian Price)修改,用于 r6rs 方案系统。 我还决定添加一个额外的文件 minikanren.scm,
- 3.9MB
dotnet-IronSchemeR6RSScheme译器运行时和很多标准库
2019-08-14IronScheme - R6RS Scheme 译器、运行时和很多标准库
- 2KB
r7rs-condition-hierarchy:R7RS-small的类似于R6RS的条件层次结构
2021-02-09请说明为什么将该提案作为标准功能纳入Scheme实施中。 列出相关的标准和SRFI,包括依赖性,冲突和替换。 如果本提案有其他标准将替代或与之竞争,请说明为什么本提案有实质性的改进。 现有技术概述 GitHub的...
- 7KB
awesome-scheme:精选方案库和资源的精选清单
2021-05-15很棒的方案 内容 活动(2021) 方案和功能编程研讨会:8月27日-虚拟 活动(2020) ...Chez Scheme :R6RS,也是Windows的官方安装程序,被认为是最快的方案实现之一。 的Ikarus R6RS MIT / GNU计划:R7
- 2.31MB
IronScheme:IronScheme
2021-02-05铁计划IronScheme旨在成为基于Microsoft DLR的符合R6RS的Scheme-like实现。 IronScheme实现了R6RS规范和指定行为的99%以上。建造在IronSchemeCore.sln中打开IronSchemeCore.sln文件将启动项目设置为IronScheme....
- 23KB
elegant-weapons:一个R6RS框架,用于创建针对C的编译器
2021-04-27优雅武器 这是一个用于编写将内容编译为C的编译器的Scheme框架。
- 3.65MB
nanopass-framework:新的nanopass框架; 用于在Scheme中编写编译器的嵌入式DSL
2021-05-12该存储库包含[1、2、3、4]中描述的Nanopass编译器基础结构的R6RS版本,以及该库的测试编译器的开头以及用户指南的粗略起点。 nanopass框架目前支持Chez方案,Vicare方案和Ikarus方案。 档案文件 ReadMe.md -- this ...
- 177KB
zabavno:Scheme中的x86模拟器
2021-02-05zabavno:Scheme中的x86模拟器
- 31.55MB
ChezScheme:Chez计划
2021-02-19作为“(R6RS)描述的语言的超集,Chez计划支持Scheme的所有标准功能,包括一流的程序,对尾部调用的正确处理,延续,用户定义的记录,库,异常和卫生宏扩展。 Chez Scheme还包括与C和其他语言的接口的广泛支持,...
- 214KB
spells:方案库的集合
2021-05-18咒语–计划可移植性库Spells是R6RS库的集合,在受支持的实现中以统一的方式提供了R6RS以外的功能。文献资料请参阅docs / index.org以获取Emacs组织模式(即基本上为纯文本)格式的一些文档。 您也可以在以HTML格式...
- 28KB
cosh:通过连续散列进行动态编程推理
2021-06-14安装此安装假定您已安装和 R6RS 方案。 描述了如何在启用外部功能接口的情况下安装 。 安装: 使用git clone git://github.com/stuhlmueller/scheme-tools.git克隆 scheme-tools 存储库。 将 scheme-tools 目录添加...
- 450KB
nanopass-framework-scheme:新的nanopass框架; 用于在Scheme中编写编译器的嵌入式DSL
2021-05-12该存储库包含[1、2、3、4]中描述的Nanopass编译器基础结构的R6RS版本,以及该库的测试编译器的开头以及用户指南的粗略起点。 nanopass框架目前支持Chez方案,Vicare方案和Ikarus方案。 档案文件 ReadMe.md -- this ...
- 0B
Qt 5实现串口调试助手 (源工程文件、0积分下载)
2021-12-06基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
- 47.24MB
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
2021-02-25SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 function逻辑电路 33 task时序电路 35 动态 静态变量 39 1.3 设计例化和连接 45 第二章 验证的方法 393 动态仿真 395 静态检查 397 虚拟模型 403 硬件加速 405 效能验证 408 性能验证 410 第三章 SV组件实现 99 3.1 接口 100 什么是interface 101 接口的优势 108 3.2 采样和数据驱动 112 竞争问题 113 接口中的时序块clocking 123 利于clocking的驱动 133 3.3 测试的开始和结束 136 仿真开始 139 program隐式结束 143 program显式结束 145 软件域program 147 3.4 调试方法 150 第四章 验证的计划 166 4.1 计划概述 166 4.2 计划的内容 173 4.3 计划的实现 185 4.4 计划的进程评估 194 第五章 验证的管理 277 6.1 验证的周期检查 277 6.2 管理三要素 291 6.3 验证的收敛 303 6.4 问题追踪 314 6.5 团队建设 321 6.6 验证的专业化 330 第六章 验证平台的结构 48 2.1 测试平台 49 2.2 硬件设计描述 55 MCDF接口描述 58 MCDF接口时序 62 MCDF寄存器描述 65 2.3 激励发生器 67 channel initiator 72 register initiator 73 2.4 监测器 74 2.5 比较器 81 2.6 验证结构 95 第七章 激励发生封装:类 209 5.1 概述 209 5.2 类的成员 233 5.3 类的继承 245 三种类型权限 protected/local/public 247 this super 253 成员覆盖 257 5.4 句柄的使用 263 5.5 包的使用 269 第八章 激励发生的随机化 340 7.1 随机约束和分布 340 权重分布 353 条件约束 355 7.2 约束块控制 358 7.3 随机函数 366 7.4 数组约束 373 7.5 随机控制 388 第九章 线程与通信 432 9.1 线程的使用 432 9.2 线程的控制 441 三个fork...join 443 等待衍生线程 451 停止线程disable 451 9.3 线程的通信 458 第十章 进程评估:覆盖率 495 10.1 覆盖率类型 495 10.2 功能覆盖策略 510 10.3 覆盖组 516 10.4 数据采样 524 10.5 覆盖选项 544 10.6 数据分析 550 第十一章 SV语言核心进阶 552 11.1 类型转换 552 11.2 虚方法 564 11.3 对象拷贝 575 11.4 回调函数 584 11.5 参数化的类 590 第十二章 UVM简介 392 8.2 UVM简介 414 8.3 UVM组件 420 8.4 UVM环境 425
- 131.54MB
AutoSAR标准协议4.2.2
2020-01-19AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
- 2.13MB
光伏-储能并网系统仿真.rar
2021-12-31该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
- 1.50MB
XCP协议的规范文档
2020-01-19XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
- 339KB
GD32替换STM32注意事项.pdf
2020-04-12GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
- 35KB
NPPJSONViewer.zip
2022-01-17NodePad++ JSON格式化插件
- 8.81MB
蓝牙BLE协议中文版.pdf
2020-06-16蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
- 2KB
CANoe通过CAPL脚本实现自动测试
2020-12-12现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
- 5.19MB
AD20官方中文教程.pdf
2019-12-17官方提供的入门教材,其中重点讲解了一个简易电路板的开发过程,从元器件的选择,元器件的布置,到最后的产品输出,比较完整的一个实例,适合初次使用软件的开发人员使用。