Erlang程序设计(第2版)
作者:[瑞典]Joe Armstrong
出版社:北京图灵文化发展有限公司
ISBN:9787115354570
VIP会员免费
(仅需0.8元/天)
¥ 39.99
温馨提示: 价值40000元的1000本电子书,VIP会员随意看哦!
电子书推荐
-
erlang程序设计相关例子程序 评分:
erlang程序设计 的相关代码例子程序,比较多了,希望对有需要的童鞋有帮助
上传时间:2012-11 大小:101KB
- 29KB
在erlang项目中使用protobuf例子
2014-03-23这个是在erlang项目中使用google protobuf例子,配套文章地址http://blog.csdn.net/mycwq/article/details/21864191
- 49KB
Windows下使用NIF扩展Erlang完整例子
2014-01-02Windows下使用NIF扩展Erlang完整例子,包含nif工程项目,erlang引用例子。 配套文章:http://blog.csdn.net/mycwq/article/details/17527485
- 269KB
Erlang与C构建的节点通讯完整例子
2014-11-06Windows下Erlang与C构建的节点通讯完整例子,包含cnode工程项目,erlang引用例子。 配套文章:http://blog.csdn.net/mycwq/article/details/40836273
- 4KB
Erlang入门:构建application练习4(进程link的作用)
2015-01-16Erlang入门:构建application练习4(进程link的作用),实例演示进程link的作用及效果
- 66KB
Erlang list用法
2015-07-30汇总了list的各种函数功能和用法,带小例子,开发的时候随时查询学习
- 165KB
erlang并发编程实战源代码
2015-04-01erlang并发编程实战源代码erlang并发编程实战源代码
- 5.57MB
erlang高性能网络库esockd的编译和使用
2017-10-31erlang高性能网络库esockd的编译和使用,erlang高性能网络库esockd的编译和使用
- 73KB
erlang简介
2011-05-19elang简介。。。。。。。。。。。。。。。。。。。。。。。。
- 155KB
程序员为什么还要刷题-generic-linked-in-driver:用于接口Erlang和C的通用非阻塞链接驱动程序
2021-07-07如果您将程序设计为在编译期间进行配置并且需要不同的配置,这将非常方便。 源代码中包含一个示例链接驱动程序,用于演示此实现的功能。 您可以立即深入了解代码或继续阅读以获取详细的功能参考和简单的操作方法。 ...
- 62.35MB
otp:ErlangOTP
2021-02-07OTP是一组Erlang库,它由Erlang运行时系统,一些主要用Erlang编写的即用型组件以及针对Erlang程序的一组设计原理组成。 。 所有OTP版本的。 。 例子 有一些示例可以帮助您入门。 下面的示例定义一个函数world/0 ...
- 186KB
erlang-mas:多代理系统
2021-06-09ParaPhrase 项目旨在为异构并行体系结构生成一种新的结构化设计和实现过程,其中开发人员利用各种并行模式来开发基于组件的应用程序,这些应用程序可以映射到可用的硬件资源,然后可以动态地重新映射以满足应用程序...
- 714KB
demo-ps:带有虚构的clientserver示例的Skeleton应用程序
2021-05-12人为的purerl示例该应用程序是在前端使用Purescript编写的,在后端使用Purescript编写的(使用Purerl + Stetson + Pinto) 该应用程序使用后端的视图模型演示了极其基本的UI 该应用程序演示了使用Halogen的带有...
- 1.65MB
Y分钟学习X种语言
2018-05-31世界上有很多有趣的编程语言,但下载它们、安装编程环境可能会是一件非常耗时的事情, 而你很可能只想试一下。...Pete Sestoft的《程序设计语言概念》对这个主题提供了很好的 介绍。 十分钟学习十种语言
- 3KB
Erlang入门:构建application练习5(监督树)
2015-01-17Erlang入门:构建application练习5(监督树),以实例完全演示监督树的用法,Erlang入门必须知道的那点事
- 11KB
Erlang爬虫
2013-02-20简单的Erlang语言写的网络爬虫,erlang是一门比较冷门的语言,底层是用C写的,不过,Erlang并发度很高,是面向消息的,高并发的,函数式的语言。
- 82KB
streem:基于流的编程语言的原型
2021-04-01编译中安装依赖项野牛柔性gcc / c运行make make例子在Streem中,一个简单的cat程序如下所示: stdin | stdout您可以尝试以下方法(首先是cd到streem顶级目录): $ bin/streem -e 'stdin | stdout'或者$ bin/streem ...
- 660KB
C++MFC教程
2013-05-21|------ 2.4 在窗口中绘制设备相关位图,图标,设备无关位图 |------ 2.5 使用各种映射方式 |------ 2.6 多边形和剪贴区域 +-- 第三章 文档视结构 |------ 3.1 文档 视图 框架窗口间的关系和消息传送规律 |------ ...
- 311KB
LINGO软件的学习
2009-08-08集是LINGO建模语言的基础,是程序设计最强有力的基本构件。借助于集,能够用一个单一的、长的、简明的复合公式表示一系列相似的约束,从而可以快速方便地表达规模较大的模型。 2.2 什么是集 集是一群相联系的对象,...
- 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搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
- 35KB
NPPJSONViewer.zip
2022-01-17NodePad++ JSON格式化插件
- 339KB
GD32替换STM32注意事项.pdf
2020-04-12GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
- 1.50MB
XCP协议的规范文档
2020-01-19XCP协议的原规范文档,主要包含了Part1-5共5个部分,其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
- 5.0MB
VS2015安装证书,JavaScript_ProjectSystem.msi,JavaScript_LanguageService.msi
2021-08-06vs2015.iso包安装,不然会卡在安装包丢失或损坏
- 2KB
CANoe通过CAPL脚本实现自动测试
2020-12-12现在汽车行业用vector的工具进行自动测试,但是该自动测试模板很少,本案例是分享CAPL脚本自动化测试的模板,和自动控制测试步骤的XML模板,使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤,实现自动测试,生成测试报告。
- 8.81MB
蓝牙BLE协议中文版.pdf
2020-06-16蓝牙BLE协议中文版,帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版,所有协议内容均与英文原版协议内容保持一致
- 1KB
BaiduOCR.zip
2021-06-27按键精灵百度文字识别 自定义库 使用说明参考:https://blog.csdn.net/sinat_22215253/article/details/118272746
- 5.19MB
AD20官方中文教程.pdf
2019-12-17官方提供的入门教材,其中重点讲解了一个简易电路板的开发过程,从元器件的选择,元器件的布置,到最后的产品输出,比较完整的一个实例,适合初次使用软件的开发人员使用。