nyovelt

@nyovelt

Joined on Jul 5, 2021

  • Week2: Some interesting paper from ATC/OSDI 2022 - Xudong Sun Automatic Reliability Testing For Cluster Management Controllers Fuzz test DuoAI Ivy vs CoQ What is the advantages of Ivy compared to other verification language like CoQ? Because I have heard of CoQ but Ivy is new to me. RESIN: Memory Leak
     Like  Bookmark
  • Lecture1: Introduction 4*2 Homework 2 person team Online Exams with books open Lecture2: Moral Lecture3: Buffer Overflow By the end of this chapter you should:
     Like  Bookmark
  • Introduction History Manually 1989 Machenical telephone switch Circuit switching is wasteful Packet Switch 1959
     Like  Bookmark
  • OSI Model https://www.forcepoint.com/zh-hans/cyber-edu/osi-model Performance Metrics (性能与指标) Bandwidth (Throughput)
     Like  Bookmark
  • Basic Concepts 操作系统起着分离运行、幻象(抽象层?)、粘合(高级)的作用 Process Program state PC, reg, Execution flag, Stack Address Space
     Like  Bookmark
  • 课程目标 概念 方法 原理 二叉树模型 教材: 《期权、期货和其它衍生产品》 Chapter 1: 衍生产品市场基本知识 衍生产品
     Like  Bookmark