机器学习做静态分析 - Programming版

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Programming版 - 机器学习做静态分析

相关主题
● 如何强制thread和cpu绑定？	● 一个类的非静态成员函数可以用作回调函吗?
● 问一个进程调度的问题。 (转载)	● 请教一下如何用Java或者Perl取得动态网页(ASPX)的源代码
● 什么样的device需要操作系统呢？	● 请教什么时候变量会被load进stack，什么时候进入heap呢？
● 单线程多线程说到底	● 谁能推荐一个代码依赖关系的分析工具？
● 让老弱残疾扛着打包换车厢还是人吗？	● 请教一个C++概念。
● 简单就是美	● 数组如何实现？？？
● goodbug的设计为啥不能撑过100K/s？	● 请教一个C++ (.a文件)的小问题
● 再来问个蠢问题	● c function 在 c里调用和C++调用结果不一样

相关话题的讨论汇总
话题: np话题: 静态话题: 分析

进入Programming版参与讨论

(共1页)

c*******v
发帖数: 2599

https://tabnine.com/install
tabnine.com/install
听国内用过人的讲很牛。我还没用过。
這就是我之前聊過的一個問題。例如這個靜態分析，
很多問題是NP，或者是不可判定的。但是你张三写的代码的
静态分析就很可能不是NP。因为人的习惯其实是非常简单的。而且越熟练的程序员，往
往就是那几下子，毛病少，花样不多。
CPU调度，服务器load balance也应该这样搞。现在太低级。这玩意有不是波音飞机，
弄个RL为基础的调度,完全是可行的。

g****t
发帖数: 31659

此项目被一个公司收购了

【在 c*******v 的大作中提到】

: https://tabnine.com/install
: tabnine.com/install
: 听国内用过人的讲很牛。我还没用过。
: 這就是我之前聊過的一個問題。例如這個靜態分析，
: 很多問題是NP，或者是不可判定的。但是你张三写的代码的
: 静态分析就很可能不是NP。因为人的习惯其实是非常简单的。而且越熟练的程序员，往
: 往就是那几下子，毛病少，花样不多。
: CPU调度，服务器load balance也应该这样搞。现在太低级。这玩意有不是波音飞机，
: 弄个RL为基础的调度,完全是可行的。

(共1页)

进入Programming版参与讨论

相关主题
● 有没有显示c++ type synthesis 过程的工具？	● 让老弱残疾扛着打包换车厢还是人吗？
● [合集] 怎样有效的传递C静态数组的变量名？	● 简单就是美
● visual C++链接不同的第三方library的问题	● goodbug的设计为啥不能撑过100K/s？
● 请教一个问题	● 再来问个蠢问题
● 如何强制thread和cpu绑定？	● 一个类的非静态成员函数可以用作回调函吗?
● 问一个进程调度的问题。 (转载)	● 请教一下如何用Java或者Perl取得动态网页(ASPX)的源代码
● 什么样的device需要操作系统呢？	● 请教什么时候变量会被load进stack，什么时候进入heap呢？
● 单线程多线程说到底	● 谁能推荐一个代码依赖关系的分析工具？

相关话题的讨论汇总
话题: np话题: 静态话题: 分析

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

boards

未名新帖统计// 7月16日

历史上的今天