文件名称:
blaze:重新实现最小版本的STOKE-源码
开发工具:
文件大小: 18kb
下载次数: 0
上传时间: 2021-03-10
详细说明：火焰
在Haskell中重新实现STOKE。
STOKE是一种超级优化程序，它通过使用MCMC方法探索大型搜索空间来找到执行特定任务的最佳指令序列。
高级算法
我们要做的是“ MCMC对可能的程序空间进行采样，并根据程序的等效性和性能使用评分功能”。 细分而言，步骤为：
从原始程序p
稍微扰动以获得程序q （添加一条指令，删除一些指令，更改一条指令）
通过发送p和q随机输入，并检查它们回答相同频率的频率，为q分配得分。
如果他们对所有随机输入的回答都相同，则很好地询问SMT求解器p和q是否相等。 如果她心情愉快并且宇宙很友善，答案是肯定的。
现在，根据以下因素对q评分：
p和q语义上相等吗？
关于多少个输入p和q具有相同的答案？
q比p快吗？
现在，根据q的得分，选择q作为新的p或停留在p 。
重复约10,000次。
订购最好的q s。
结果是非常令人印象深刻的
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
