形式化方法——Software-Reliability-Methods-Chap2 Software Reliability Methods Chap2 Basic knowledge of set theory, graph theory, complexity theory and computability. 2.1 Set Notation Set A set is a finite or infinite collection of elements. I 2020-09-20 Computer Science 形式化方法 形式化方法
形式化方法——Software-Reliability-Methods-Chap1 Software Reliability Methods Chap1 This post series record my reading notes of Software Reliability Methods recommended by Yi Li. Peled introduce the description of software reliability and its impo 2020-09-18 Computer Science 形式化方法 形式化方法
旷视研究院云上宣讲 旷视研究院云上宣讲 “长期主义”,“勇敢地成长”。 面试形式 有手撕代码环节(注意逻辑清晰,考虑边界条件) 专业性问题会问科研经验与项目经历(要精不要量)。 面试注意点 需要有技术上的热情 看重钻研/折腾精神(对前沿研究保持兴趣) 注重发掘问题,从小问题出发,注重问题的泛化(比如从丢钥匙到小型物体检测) 旷视的设施结构 超大数量的服务器+显卡-> Brai 2020-09-16 Life 随笔 随笔 招聘会
《计算机程序设计艺术卷1》读书笔记 前言 这本“圣经”体量太大,所以笔者只记录自己想记录的或者有必要记录的。 根据作者所提整套丛书的内容总览,卷 1(基本算法)可以看成整套丛书的交集,包含了其他卷都需要用到的基本内容,不仅可以作为阅读其他各卷的参考书,还可以用作一些课程的教材,比如离散数学(1.1 节、1.2 节、1.3.3 节和 2.3.4 节),数据结构(主要是第 2 章)。 2020-09-10 Life 阅读 阅读 待定
字节跳动分布式存储系统研发实习生面试记录 第一轮面试 (由于当时在搬家记不太清了) 算法题 分析复杂度 分析下面数据结构的插入的复杂度,A0-Ak 是一个数组,他们要么为空,要么分别存储 1,2,4,8 这么多个元素,如果当前数组满足不了插入,则将当前数组的元素和新插入的元素合并到下一层。每个数组内部都是有序的。新来一个元素先插入 A0,如果 A0 已经有 1 个元素,根据规则,则将两个元素归并插入 A1;如果 A1 2020-09-10 Career 面试 面试