diff --git a/site/categories/algorithm analysis.html b/site/categories/algorithm analysis.html index bcdc006e7..7b09ad375 100644 --- a/site/categories/algorithm analysis.html +++ b/site/categories/algorithm analysis.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Algorithm Analysis

-
diff --git a/site/categories/algorithms.html b/site/categories/algorithms.html index 872519b4e..172b2cfe1 100644 --- a/site/categories/algorithms.html +++ b/site/categories/algorithms.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Algorithms

-
diff --git a/site/categories/computer science.html b/site/categories/computer science.html index 827f6fe05..17f4bc67f 100644 --- a/site/categories/computer science.html +++ b/site/categories/computer science.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Computer Science

-
diff --git a/site/categories/database systems.html b/site/categories/database systems.html index 7b32eed80..1e0487c8c 100644 --- a/site/categories/database systems.html +++ b/site/categories/database systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Database Systems

-
diff --git a/site/categories/distributed systems.html b/site/categories/distributed systems.html index 1d41a7c8d..589e4e61e 100644 --- a/site/categories/distributed systems.html +++ b/site/categories/distributed systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Distributed Systems

-
diff --git a/site/categories/electrical engineering.html b/site/categories/electrical engineering.html index f7690ae67..92f373499 100644 --- a/site/categories/electrical engineering.html +++ b/site/categories/electrical engineering.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Electrical Engineering

-
diff --git a/site/categories/graph theory.html b/site/categories/graph theory.html index 83aee01f3..1f3c63fd6 100644 --- a/site/categories/graph theory.html +++ b/site/categories/graph theory.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Graph Theory

-
diff --git a/site/categories/hardware.html b/site/categories/hardware.html index 8a0dacf3a..54f37b398 100644 --- a/site/categories/hardware.html +++ b/site/categories/hardware.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Hardware

-
diff --git a/site/categories/index.html b/site/categories/index.html index b0fc65dfc..e10ce940e 100644 --- a/site/categories/index.html +++ b/site/categories/index.html @@ -27,7 +27,7 @@ @@ -281,7 +281,7 @@ diff --git a/site/categories/linear algebra.html b/site/categories/linear algebra.html index 92ee649b8..a9a86b507 100644 --- a/site/categories/linear algebra.html +++ b/site/categories/linear algebra.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Linear Algebra

-
diff --git a/site/categories/machine learning.html b/site/categories/machine learning.html index ed64ea999..c8c0a346e 100644 --- a/site/categories/machine learning.html +++ b/site/categories/machine learning.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Machine Learning

-
diff --git a/site/categories/mathematics.html b/site/categories/mathematics.html index 7eec1458d..0ef30c7ab 100644 --- a/site/categories/mathematics.html +++ b/site/categories/mathematics.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Mathematics

-
diff --git a/site/categories/natural language processing.html b/site/categories/natural language processing.html index bb9b05ea6..4a4130ef3 100644 --- a/site/categories/natural language processing.html +++ b/site/categories/natural language processing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Natural Language Processing

-
diff --git a/site/categories/networks.html b/site/categories/networks.html index 05b26f447..efc7ab5eb 100644 --- a/site/categories/networks.html +++ b/site/categories/networks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Networks

-
diff --git a/site/categories/operating systems.html b/site/categories/operating systems.html index cb6e88d48..234d835bc 100644 --- a/site/categories/operating systems.html +++ b/site/categories/operating systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Operating Systems

-
diff --git a/site/categories/operations research.html b/site/categories/operations research.html index 898eb0b15..6f0d2b56a 100644 --- a/site/categories/operations research.html +++ b/site/categories/operations research.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Operations Research

-
diff --git a/site/categories/performance engineering.html b/site/categories/performance engineering.html index 5522b0590..7eae62c30 100644 --- a/site/categories/performance engineering.html +++ b/site/categories/performance engineering.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Performance Engineering

-
diff --git a/site/categories/research.html b/site/categories/research.html index d2e580b82..641252faa 100644 --- a/site/categories/research.html +++ b/site/categories/research.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@ diff --git a/site/categories/software engineering.html b/site/categories/software engineering.html index bda876667..590b631d5 100644 --- a/site/categories/software engineering.html +++ b/site/categories/software engineering.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Software Engineering

-
diff --git a/site/categories/system design.html b/site/categories/system design.html index f508183a5..db39791a2 100644 --- a/site/categories/system design.html +++ b/site/categories/system design.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: System Design

-
diff --git a/site/categories/systems.html b/site/categories/systems.html index 841a6deaf..6fffa8deb 100644 --- a/site/categories/systems.html +++ b/site/categories/systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Category: Systems

-
@@ -291,6 +291,7 @@

Category: Systems

  • Development of the Domain Name System
  • Exokernel: An Operating System Architecture for Application-Level Resource Management
  • +
  • Klee Paper Review
  • Power Dissipation In a Resistor
  • Queueing Theory
  • The Multikernel, A new OS architecture for scalable multicore systems
  • diff --git a/site/categories/teaching.html b/site/categories/teaching.html index d1be83259..fab6aa9df 100644 --- a/site/categories/teaching.html +++ b/site/categories/teaching.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Category: Teaching

    -
    diff --git a/site/index.html b/site/index.html index c47689ed8..edd524fc0 100644 --- a/site/index.html +++ b/site/index.html @@ -27,7 +27,7 @@ @@ -280,7 +280,7 @@
    -
    @@ -296,7 +296,7 @@ Categories
    - 605 + 612 Tags
    @@ -305,9 +305,9 @@

    Recent

    • - Paper Review Template - 2025-02-18 - Research + Klee Paper Review + 2025-02-19 + Systems
    • The Multikernel, A new OS architecture for scalable multicore systems @@ -424,7 +424,7 @@

      Categories

    • Research - (4) + (3)
    • Software Engineering @@ -436,7 +436,7 @@

      Categories

    • Systems - (6) + (7)
    • Teaching @@ -454,7 +454,7 @@

      Featured Tags

      operating systems (10) - systems (7) + systems (8) paxos (6) @@ -465,12 +465,6 @@

      Featured Tags

      graph theory (5) - - paper (5) - - - review (5) - consistency models (4) @@ -480,14 +474,14 @@

      Featured Tags

      java (4) - - meta (4) + + paper (4) power (4) - - research (4) + + review (4) routing (4) @@ -507,6 +501,12 @@

      Featured Tags

      concurrency (3) + + data structures (3) + + + forwarding table (3) + diff --git a/site/systems-research/klee.html b/site/systems-research/klee.html index 5860c8337..03bf667e7 100644 --- a/site/systems-research/klee.html +++ b/site/systems-research/klee.html @@ -4,10 +4,10 @@ - Paper Review Template | Elijah's Notes + Klee Paper Review | Elijah's Notes - + @@ -15,20 +15,20 @@ - - + + - - + + - + @@ -276,42 +276,70 @@ Tags
      -

      Paper Review Template

      +

      Klee Paper Review

      -
      -

      source

      -
      Paper Title
      +

      source

      +

      visit

      +
      KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

      What is the Problem?

      +

      Testing large and complex programs is difficult. Writing manual tests is extremely time consuming and often still misses many edge cases. Traditional automated testing frameworks see limited success in reaching high coverage, mainly due in part to the unsemantic nature of randomization. While other symbolic execution tools exist, many are limited in their ability to handle enviornmental dependencies, such as file I/O, network I/O, and system calls, which contribute significantly to the state space of system programs.

      Summary

      +

      Klee is a symbolic execution tool that automatically explores the state space of a program by maintaining a set of constraints on symbolic inputs, and any downstream operations that are performed on those inputs. Klee transparently optimizes these constraints, while also internally managing the programs "execution" state so as to be able to "fork" at branches in the program without rerunning all previous operations. The authors used Klee to test a variety of programs, both by generating test cases with coverage reports, as a bug finding tool, and as a verification tool.

      Key Insights

      -

      -

      +
        +
      • Semantic understanding of constraints not only leads to much more coverage overall as compared to random testing, but also allows for more efficient exploration of the state space, involving far fewer test cases to reach the same coverage.
      • +
      • Using symbolic execution, you can determine the functional equivalence of two programs by comparing the constraints generated by each program on the same symbolic input. Furthermore, automatic bug finding can be done by checking for constraints that are unsatisfiable, which indicate a bug in the program.
      • +

      Notable Design Details/Strengths

      -

      -

      +
        +
      • Implementing the execution state within the symbolic execution engine allows for efficient forking and backtracking, while also allowing for object-level copy-on-write semantics that vastly reduce overhead.
      • +
      • You are able to symbolically execute enviornmental dependencies by providing a model of the enviornment to Klee, which allows for testing of programs symbolicly, similar to how you'd use mocks in unit testing.
      • +

      Limitations/Weaknesses

      -

      -

      +
        +
      • State space explosion remains a problem, and even while Klee optimizes this, it still ends up being one of the limiting factors in practice.
      • +
      • Limited support for some features, e.g. floating point, dynamic memory allocation
      • +
      • Compiling to LLVM Bitcode is hard (use wllvm for larger systems)
      • +

      Summary of Key Results

      -

      -

      +
        +
      • GNU Core Utils: 84.5% overall line coverage vs 67.7% for developers' test suite
      • +
      • On Busybox: 90.5% overall line coverage vs 44.8% for developers' test suite
      • +
      • Found 56 serious bugs across all tested applications
      • +
      • 100% line coverage on 16 Core Utils tools and 31 Busybox tools
      • +
      • Successfully cross-checked equivalent Busybox and Core Utils utilities, found inconsistencies (some of which were bugs)
      • +

      Open Questions

      -

      -

      +
        +
      • Is it possible to use symbolic execution on non-deterministic programs/algorithms? Would the theoretical bounds on randomized algorithms be semantically understood by Klee?
      • +
      • Is symbolic execution possible at a lower level, e.g. on the instruction set level, or would the semantics not be interpretable at that level? If so, is it possible to build a symbolic execution engine that is language agnostic?
      • +
      • Can similar constraint techniques be used to simplify program logic by detecting redundant constraints?
      • +
      +

      Followup Paper

      +

      "ESD" synthesis: https://dl.acm.org/doi/pdf/10.1145/1755913.1755946

      diff --git a/site/systems-research/papers/1755913.1755946 b/site/systems-research/papers/1755913.1755946 new file mode 100644 index 000000000..8bcc788a3 Binary files /dev/null and b/site/systems-research/papers/1755913.1755946 differ diff --git a/site/tags/802.11.html b/site/tags/802.11.html index 77561e963..0e986a7d9 100644 --- a/site/tags/802.11.html +++ b/site/tags/802.11.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: 802.11

      -
      diff --git a/site/tags/ac circuits.html b/site/tags/ac circuits.html index 5f26b2606..112b8e2cb 100644 --- a/site/tags/ac circuits.html +++ b/site/tags/ac circuits.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ac circuits

      -
      diff --git a/site/tags/ac/dc signals.html b/site/tags/ac/dc signals.html index b4aa7b628..02ad138dc 100644 --- a/site/tags/ac/dc signals.html +++ b/site/tags/ac/dc signals.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ac/dc signals

      -
      diff --git a/site/tags/ack clocking.html b/site/tags/ack clocking.html index 70f719563..2d891bb55 100644 --- a/site/tags/ack clocking.html +++ b/site/tags/ack clocking.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ack clocking

      -
      diff --git a/site/tags/active.html b/site/tags/active.html index d334a37fa..31642ee82 100644 --- a/site/tags/active.html +++ b/site/tags/active.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: active

      -
      diff --git a/site/tags/acyclic graphs.html b/site/tags/acyclic graphs.html index 2f36124ad..5bc848d1d 100644 --- a/site/tags/acyclic graphs.html +++ b/site/tags/acyclic graphs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: acyclic graphs

      -
      diff --git a/site/tags/adaptive timeout.html b/site/tags/adaptive timeout.html index 5461b48a8..9b282e931 100644 --- a/site/tags/adaptive timeout.html +++ b/site/tags/adaptive timeout.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: adaptive timeout

      -
      diff --git a/site/tags/address resolution protocol.html b/site/tags/address resolution protocol.html index 83c208d56..dc5c59e28 100644 --- a/site/tags/address resolution protocol.html +++ b/site/tags/address resolution protocol.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: address resolution protocol

      -
      diff --git a/site/tags/address space.html b/site/tags/address space.html index 058a10c2c..b57843434 100644 --- a/site/tags/address space.html +++ b/site/tags/address space.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: address space

      -
      diff --git a/site/tags/address translation.html b/site/tags/address translation.html index f0ef39865..8d8cef47c 100644 --- a/site/tags/address translation.html +++ b/site/tags/address translation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: address translation

      -
      diff --git a/site/tags/affinity scheduling.html b/site/tags/affinity scheduling.html index 2850f920b..57a24ad4c 100644 --- a/site/tags/affinity scheduling.html +++ b/site/tags/affinity scheduling.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: affinity scheduling

      -
      diff --git a/site/tags/algorithm analysis.html b/site/tags/algorithm analysis.html index dcd2eec1d..b48835e9f 100644 --- a/site/tags/algorithm analysis.html +++ b/site/tags/algorithm analysis.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: algorithm analysis

      -
      diff --git a/site/tags/algorithm.html b/site/tags/algorithm.html index 999fa684a..f5d2dd688 100644 --- a/site/tags/algorithm.html +++ b/site/tags/algorithm.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: algorithm

      -
      diff --git a/site/tags/algorithmic complexity.html b/site/tags/algorithmic complexity.html index c40bc933d..545b488ca 100644 --- a/site/tags/algorithmic complexity.html +++ b/site/tags/algorithmic complexity.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: algorithmic complexity

      -
      diff --git a/site/tags/algorithms.html b/site/tags/algorithms.html index e77663bcd..17595a4dd 100644 --- a/site/tags/algorithms.html +++ b/site/tags/algorithms.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: algorithms

      -
      diff --git a/site/tags/alternating current.html b/site/tags/alternating current.html index 2f91de02a..738aab9b7 100644 --- a/site/tags/alternating current.html +++ b/site/tags/alternating current.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: alternating current

      -
      diff --git a/site/tags/amplifiers.html b/site/tags/amplifiers.html index 0ae0e7a0d..f732adeaa 100644 --- a/site/tags/amplifiers.html +++ b/site/tags/amplifiers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: amplifiers

      -
      diff --git a/site/tags/annotations.html b/site/tags/annotations.html index 8c2efee2a..6bd797a6d 100644 --- a/site/tags/annotations.html +++ b/site/tags/annotations.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: annotations

      -
      diff --git a/site/tags/application layer.html b/site/tags/application layer.html index 5906ca804..91eed9682 100644 --- a/site/tags/application layer.html +++ b/site/tags/application layer.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: application layer

      -
      diff --git a/site/tags/approximation.html b/site/tags/approximation.html index 520192e8f..603f051a1 100644 --- a/site/tags/approximation.html +++ b/site/tags/approximation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: approximation

      -
      diff --git a/site/tags/arp reply.html b/site/tags/arp reply.html index 0657ce57d..f7f9dc535 100644 --- a/site/tags/arp reply.html +++ b/site/tags/arp reply.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: arp reply

      -
      diff --git a/site/tags/arp request.html b/site/tags/arp request.html index 722c9777d..ff626a6c8 100644 --- a/site/tags/arp request.html +++ b/site/tags/arp request.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: arp request

      -
      diff --git a/site/tags/arp table.html b/site/tags/arp table.html index 48cdd6637..814a21041 100644 --- a/site/tags/arp table.html +++ b/site/tags/arp table.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: arp table

      -
      diff --git a/site/tags/arp.html b/site/tags/arp.html index 979f4af4d..9e2b61080 100644 --- a/site/tags/arp.html +++ b/site/tags/arp.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: arp

      -
      diff --git a/site/tags/arq.html b/site/tags/arq.html index 2ca970ed9..5f56d7e1a 100644 --- a/site/tags/arq.html +++ b/site/tags/arq.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: arq

      -
      diff --git a/site/tags/array problems.html b/site/tags/array problems.html index ace205f5a..7bb3fc20b 100644 --- a/site/tags/array problems.html +++ b/site/tags/array problems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: array problems

      -
      diff --git a/site/tags/asymptotic notation.html b/site/tags/asymptotic notation.html index 76abb9a8b..47023b42b 100644 --- a/site/tags/asymptotic notation.html +++ b/site/tags/asymptotic notation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: asymptotic notation

      -
      diff --git a/site/tags/asynchronous distributed systems.html b/site/tags/asynchronous distributed systems.html index b4a5903f3..6373b86f6 100644 --- a/site/tags/asynchronous distributed systems.html +++ b/site/tags/asynchronous distributed systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: asynchronous distributed systems

      -
      diff --git a/site/tags/asynchronous systems.html b/site/tags/asynchronous systems.html index 5f1f102ab..bc0aaecc4 100644 --- a/site/tags/asynchronous systems.html +++ b/site/tags/asynchronous systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: asynchronous systems

      -
      diff --git a/site/tags/atomic operation.html b/site/tags/atomic operation.html index 7260b7f4e..5bc4d2ee7 100644 --- a/site/tags/atomic operation.html +++ b/site/tags/atomic operation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: atomic operation

      -
      diff --git a/site/tags/atomic reference.html b/site/tags/atomic reference.html index f99065281..74e6ea769 100644 --- a/site/tags/atomic reference.html +++ b/site/tags/atomic reference.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: atomic reference

      -
      diff --git a/site/tags/atomicity.html b/site/tags/atomicity.html index d6a222032..8c2a588f9 100644 --- a/site/tags/atomicity.html +++ b/site/tags/atomicity.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: atomicity

      -
      diff --git a/site/tags/attention mechanism.html b/site/tags/attention mechanism.html index 4d535d700..f8b081e39 100644 --- a/site/tags/attention mechanism.html +++ b/site/tags/attention mechanism.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: attention mechanism

      -
      diff --git a/site/tags/automatic repeat request.html b/site/tags/automatic repeat request.html index 486ec2ce6..95af544cc 100644 --- a/site/tags/automatic repeat request.html +++ b/site/tags/automatic repeat request.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: automatic repeat request

      -
      diff --git a/site/tags/autonomous systems.html b/site/tags/autonomous systems.html index 9f9d79966..44eba453a 100644 --- a/site/tags/autonomous systems.html +++ b/site/tags/autonomous systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: autonomous systems

      -
      diff --git a/site/tags/availability.html b/site/tags/availability.html index 2a0a83078..475a24c67 100644 --- a/site/tags/availability.html +++ b/site/tags/availability.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: availability

      -
      diff --git a/site/tags/backtrace.html b/site/tags/backtrace.html index 82fd91fcb..b23de3f50 100644 --- a/site/tags/backtrace.html +++ b/site/tags/backtrace.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: backtrace

      -
      diff --git a/site/tags/bad.html b/site/tags/bad.html index 289aa589d..c46c4b176 100644 --- a/site/tags/bad.html +++ b/site/tags/bad.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bad

      -
      diff --git a/site/tags/bag of words.html b/site/tags/bag of words.html index 5290cfe72..857275822 100644 --- a/site/tags/bag of words.html +++ b/site/tags/bag of words.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bag of words

      -
      diff --git a/site/tags/bandwidth-delay product.html b/site/tags/bandwidth-delay product.html index f7304e6b4..df356671e 100644 --- a/site/tags/bandwidth-delay product.html +++ b/site/tags/bandwidth-delay product.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bandwidth-delay product

      -
      diff --git a/site/tags/bandwidth.html b/site/tags/bandwidth.html index d33bc5d12..b381fba08 100644 --- a/site/tags/bandwidth.html +++ b/site/tags/bandwidth.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bandwidth

      -
      diff --git a/site/tags/batch processing.html b/site/tags/batch processing.html index c26daa3de..acd1670c4 100644 --- a/site/tags/batch processing.html +++ b/site/tags/batch processing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: batch processing

      -
      diff --git a/site/tags/bert.html b/site/tags/bert.html index fca15a2c7..bc5ca2e13 100644 --- a/site/tags/bert.html +++ b/site/tags/bert.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bert

      -
      diff --git a/site/tags/bfs.html b/site/tags/bfs.html index e09c02666..564defe69 100644 --- a/site/tags/bfs.html +++ b/site/tags/bfs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bfs

      -
      diff --git a/site/tags/bigtable.html b/site/tags/bigtable.html index 26d5531fe..d062ee073 100644 --- a/site/tags/bigtable.html +++ b/site/tags/bigtable.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bigtable

      -
      diff --git a/site/tags/binary search.html b/site/tags/binary search.html index fa5d09240..b95e3aaaf 100644 --- a/site/tags/binary search.html +++ b/site/tags/binary search.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: binary search

      -
      diff --git a/site/tags/bipartite graphs.html b/site/tags/bipartite graphs.html index fb1d8b866..afb9457d0 100644 --- a/site/tags/bipartite graphs.html +++ b/site/tags/bipartite graphs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bipartite graphs

      -
      diff --git a/site/tags/bipartite matching.html b/site/tags/bipartite matching.html index cab92d3eb..a66226f43 100644 --- a/site/tags/bipartite matching.html +++ b/site/tags/bipartite matching.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bipartite matching

      -
      diff --git a/site/tags/bisector algorithm.html b/site/tags/bisector algorithm.html index dd22fec8b..d2ce316c4 100644 --- a/site/tags/bisector algorithm.html +++ b/site/tags/bisector algorithm.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bisector algorithm

      -
      diff --git a/site/tags/bisync.html b/site/tags/bisync.html index fdf6b5054..8fced8a6d 100644 --- a/site/tags/bisync.html +++ b/site/tags/bisync.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bisync

      -
      diff --git a/site/tags/bit stuffing.html b/site/tags/bit stuffing.html index 17fc7cba3..1b9a31c86 100644 --- a/site/tags/bit stuffing.html +++ b/site/tags/bit stuffing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bit stuffing

      -
      diff --git a/site/tags/bit vectors.html b/site/tags/bit vectors.html index d796db974..548bf14c6 100644 --- a/site/tags/bit vectors.html +++ b/site/tags/bit vectors.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bit vectors

      -
      diff --git a/site/tags/bit-oriented protocols.html b/site/tags/bit-oriented protocols.html index dd602f3d3..59776d989 100644 --- a/site/tags/bit-oriented protocols.html +++ b/site/tags/bit-oriented protocols.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bit-oriented protocols

      -
      diff --git a/site/tags/boolean algebra.html b/site/tags/boolean algebra.html index fed009aa7..1ee50b822 100644 --- a/site/tags/boolean algebra.html +++ b/site/tags/boolean algebra.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: boolean algebra

      -
      diff --git a/site/tags/border gateway protocol.html b/site/tags/border gateway protocol.html index aae187298..89e4d98fc 100644 --- a/site/tags/border gateway protocol.html +++ b/site/tags/border gateway protocol.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: border gateway protocol

      -
      diff --git a/site/tags/bounded queue.html b/site/tags/bounded queue.html index 130438f66..4d8e50387 100644 --- a/site/tags/bounded queue.html +++ b/site/tags/bounded queue.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bounded queue

      -
      diff --git a/site/tags/bpe.html b/site/tags/bpe.html index a2f6db8b3..2210770fb 100644 --- a/site/tags/bpe.html +++ b/site/tags/bpe.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bpe

      -
      diff --git a/site/tags/breadth-first search.html b/site/tags/breadth-first search.html index 53a064b14..8a0d3b129 100644 --- a/site/tags/breadth-first search.html +++ b/site/tags/breadth-first search.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: breadth-first search

      -
      diff --git a/site/tags/bridge.html b/site/tags/bridge.html index e932a08d0..e14889f2e 100644 --- a/site/tags/bridge.html +++ b/site/tags/bridge.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bridge

      -
      diff --git a/site/tags/bus.html b/site/tags/bus.html index 3b825ca1b..102c91a30 100644 --- a/site/tags/bus.html +++ b/site/tags/bus.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bus

      -
      diff --git a/site/tags/byte-oriented protocols.html b/site/tags/byte-oriented protocols.html index d812b2220..306e513b4 100644 --- a/site/tags/byte-oriented protocols.html +++ b/site/tags/byte-oriented protocols.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: byte-oriented protocols

      -
      diff --git a/site/tags/byte-pair encoding.html b/site/tags/byte-pair encoding.html index 4907464ab..6bc0e5122 100644 --- a/site/tags/byte-pair encoding.html +++ b/site/tags/byte-pair encoding.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: byte-pair encoding

      -
      diff --git a/site/tags/bytestreams.html b/site/tags/bytestreams.html index a0eb04817..27edc83c4 100644 --- a/site/tags/bytestreams.html +++ b/site/tags/bytestreams.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: bytestreams

      -
      diff --git a/site/tags/c programming.html b/site/tags/c programming.html index eb47e70dd..3e5385c98 100644 --- a/site/tags/c programming.html +++ b/site/tags/c programming.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: c programming

      -
      diff --git a/site/tags/c.html b/site/tags/c.html index 2f44f19b1..de45c7391 100644 --- a/site/tags/c.html +++ b/site/tags/c.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: c

      -
      diff --git a/site/tags/cache coherence.html b/site/tags/cache coherence.html index bb177dd76..2b537330f 100644 --- a/site/tags/cache coherence.html +++ b/site/tags/cache coherence.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: cache coherence

      -
      diff --git a/site/tags/cache control headers.html b/site/tags/cache control headers.html index 47e2e1fd9..146342410 100644 --- a/site/tags/cache control headers.html +++ b/site/tags/cache control headers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: cache control headers

      -
      diff --git a/site/tags/cache manager.html b/site/tags/cache manager.html index 9fe2530fb..28bff341a 100644 --- a/site/tags/cache manager.html +++ b/site/tags/cache manager.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: cache manager

      -
      diff --git a/site/tags/caching.html b/site/tags/caching.html index 62475d39f..c143d30df 100644 --- a/site/tags/caching.html +++ b/site/tags/caching.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: caching

      -
      diff --git a/site/tags/capacitance.html b/site/tags/capacitance.html index b603f75f2..5ff00a1f1 100644 --- a/site/tags/capacitance.html +++ b/site/tags/capacitance.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: capacitance

      -
      diff --git a/site/tags/causal consistency.html b/site/tags/causal consistency.html index be2d23154..a8306656e 100644 --- a/site/tags/causal consistency.html +++ b/site/tags/causal consistency.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: causal consistency

      -
      diff --git a/site/tags/causality.html b/site/tags/causality.html index cb315ba8a..e8e6f200b 100644 --- a/site/tags/causality.html +++ b/site/tags/causality.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: causality

      -
      diff --git a/site/tags/centralized access control.html b/site/tags/centralized access control.html index b475187ed..25a8e1488 100644 --- a/site/tags/centralized access control.html +++ b/site/tags/centralized access control.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: centralized access control

      -
      diff --git a/site/tags/channel properties.html b/site/tags/channel properties.html index 1517971dc..ba1203e63 100644 --- a/site/tags/channel properties.html +++ b/site/tags/channel properties.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: channel properties

      -
      diff --git a/site/tags/chubby.html b/site/tags/chubby.html index 265421b35..f1b50047a 100644 --- a/site/tags/chubby.html +++ b/site/tags/chubby.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: chubby

      -
      diff --git a/site/tags/circuit timing behavior.html b/site/tags/circuit timing behavior.html index 0d847a3a5..aee52761b 100644 --- a/site/tags/circuit timing behavior.html +++ b/site/tags/circuit timing behavior.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: circuit timing behavior

      -
      diff --git a/site/tags/circuits.html b/site/tags/circuits.html index 99433c612..faf025a02 100644 --- a/site/tags/circuits.html +++ b/site/tags/circuits.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: circuits

      -
      diff --git a/site/tags/classification.html b/site/tags/classification.html index 712a0ef0c..cc2119e68 100644 --- a/site/tags/classification.html +++ b/site/tags/classification.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: classification

      -
      diff --git a/site/tags/clock recovery.html b/site/tags/clock recovery.html index 9ec6c72fe..5e419ca79 100644 --- a/site/tags/clock recovery.html +++ b/site/tags/clock recovery.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: clock recovery

      -
      diff --git a/site/tags/clock signals.html b/site/tags/clock signals.html index b76fa8982..f5b310fe7 100644 --- a/site/tags/clock signals.html +++ b/site/tags/clock signals.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: clock signals

      -
      diff --git a/site/tags/clock synchronization.html b/site/tags/clock synchronization.html index 2e282c050..8b900e9ea 100644 --- a/site/tags/clock synchronization.html +++ b/site/tags/clock synchronization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: clock synchronization

      -
      diff --git a/site/tags/clocks.html b/site/tags/clocks.html index a5a729993..1c5e1ea9a 100644 --- a/site/tags/clocks.html +++ b/site/tags/clocks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: clocks

      -
      diff --git a/site/tags/cloud storage.html b/site/tags/cloud storage.html index f274668e5..2a7ebd3a3 100644 --- a/site/tags/cloud storage.html +++ b/site/tags/cloud storage.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: cloud storage

      -
      diff --git a/site/tags/coaxial cable.html b/site/tags/coaxial cable.html index cb6418108..fd3b24c83 100644 --- a/site/tags/coaxial cable.html +++ b/site/tags/coaxial cable.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: coaxial cable

      -
      diff --git a/site/tags/codewords.html b/site/tags/codewords.html index 03925821f..ccf6c513a 100644 --- a/site/tags/codewords.html +++ b/site/tags/codewords.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: codewords

      -
      diff --git a/site/tags/coding.html b/site/tags/coding.html index df9571b85..6e9ddbef4 100644 --- a/site/tags/coding.html +++ b/site/tags/coding.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: coding

      -
      diff --git a/site/tags/collections.html b/site/tags/collections.html index b349bad8a..00a8bc934 100644 --- a/site/tags/collections.html +++ b/site/tags/collections.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: collections

      -
      diff --git a/site/tags/column-oriented storage.html b/site/tags/column-oriented storage.html index eef7a1a9f..9505840bd 100644 --- a/site/tags/column-oriented storage.html +++ b/site/tags/column-oriented storage.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: column-oriented storage

      -
      diff --git a/site/tags/combinational logic.html b/site/tags/combinational logic.html index 95c1f388d..1bc057469 100644 --- a/site/tags/combinational logic.html +++ b/site/tags/combinational logic.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: combinational logic

      -
      diff --git a/site/tags/commodity hardware.html b/site/tags/commodity hardware.html index 7c52d2f46..c0e44a352 100644 --- a/site/tags/commodity hardware.html +++ b/site/tags/commodity hardware.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: commodity hardware

      -
      diff --git a/site/tags/communication.html b/site/tags/communication.html index 99e4244f2..fab697d5d 100644 --- a/site/tags/communication.html +++ b/site/tags/communication.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: communication

      -
      diff --git a/site/tags/comparators.html b/site/tags/comparators.html index ce9c3ff58..0baf0188a 100644 --- a/site/tags/comparators.html +++ b/site/tags/comparators.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: comparators

      -
      diff --git a/site/tags/compatibility.html b/site/tags/compatibility.html index e052c8cc6..3b6aa417d 100644 --- a/site/tags/compatibility.html +++ b/site/tags/compatibility.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: compatibility

      -
      diff --git a/site/tags/complex numbers.html b/site/tags/complex numbers.html index 0163f6af7..f4aa1c25f 100644 --- a/site/tags/complex numbers.html +++ b/site/tags/complex numbers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: complex numbers

      -
      diff --git a/site/tags/complexity analysis.html b/site/tags/complexity analysis.html index c0604c8ba..3209d297a 100644 --- a/site/tags/complexity analysis.html +++ b/site/tags/complexity analysis.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: complexity analysis

      -
      diff --git a/site/tags/computation infrastructure.html b/site/tags/computation infrastructure.html index 1e94bb0d8..b207842ff 100644 --- a/site/tags/computation infrastructure.html +++ b/site/tags/computation infrastructure.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: computation infrastructure

      -
      diff --git a/site/tags/computational-geometry.html b/site/tags/computational-geometry.html index 28971c047..a2422ef83 100644 --- a/site/tags/computational-geometry.html +++ b/site/tags/computational-geometry.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: computational-geometry

      -
      diff --git a/site/tags/computer networks.html b/site/tags/computer networks.html index afc7c4cf8..409d2f117 100644 --- a/site/tags/computer networks.html +++ b/site/tags/computer networks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: computer networks

      -
      diff --git a/site/tags/computer science.html b/site/tags/computer science.html index cd67bc02d..8a3328195 100644 --- a/site/tags/computer science.html +++ b/site/tags/computer science.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: computer science

      -
      diff --git a/site/tags/computing.html b/site/tags/computing.html index ba19a252d..0b3063a01 100644 --- a/site/tags/computing.html +++ b/site/tags/computing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: computing

      -
      diff --git a/site/tags/concurrency.html b/site/tags/concurrency.html index 5c9461c6a..24eb00c3c 100644 --- a/site/tags/concurrency.html +++ b/site/tags/concurrency.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: concurrency

      -
      diff --git a/site/tags/configuration.html b/site/tags/configuration.html index 0ef9a32aa..5f75d5191 100644 --- a/site/tags/configuration.html +++ b/site/tags/configuration.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: configuration

      -
      diff --git a/site/tags/conflict resolution.html b/site/tags/conflict resolution.html index 42e51efc5..3f7b176d6 100644 --- a/site/tags/conflict resolution.html +++ b/site/tags/conflict resolution.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: conflict resolution

      -
      diff --git a/site/tags/congestion control.html b/site/tags/congestion control.html index bbba00111..ebeeceb9d 100644 --- a/site/tags/congestion control.html +++ b/site/tags/congestion control.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: congestion control

      -
      diff --git a/site/tags/connected components.html b/site/tags/connected components.html index 30b055521..c9490b512 100644 --- a/site/tags/connected components.html +++ b/site/tags/connected components.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: connected components

      -
      diff --git a/site/tags/connected graphs.html b/site/tags/connected graphs.html index 1ce2b6fc4..43b22ffd3 100644 --- a/site/tags/connected graphs.html +++ b/site/tags/connected graphs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: connected graphs

      -
      diff --git a/site/tags/connection establishment.html b/site/tags/connection establishment.html index 0f003e048..931611637 100644 --- a/site/tags/connection establishment.html +++ b/site/tags/connection establishment.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: connection establishment

      -
      diff --git a/site/tags/connection release.html b/site/tags/connection release.html index 311bf22bb..8390c198d 100644 --- a/site/tags/connection release.html +++ b/site/tags/connection release.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: connection release

      -
      diff --git a/site/tags/connection-oriented.html b/site/tags/connection-oriented.html index f34445f6a..e4146696c 100644 --- a/site/tags/connection-oriented.html +++ b/site/tags/connection-oriented.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: connection-oriented

      -
      diff --git a/site/tags/connectionless.html b/site/tags/connectionless.html index b51da704d..c1a3a5607 100644 --- a/site/tags/connectionless.html +++ b/site/tags/connectionless.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: connectionless

      -
      diff --git a/site/tags/consensus algorithm.html b/site/tags/consensus algorithm.html index d6d2bf62f..f42412d40 100644 --- a/site/tags/consensus algorithm.html +++ b/site/tags/consensus algorithm.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: consensus algorithm

      -
      diff --git a/site/tags/consistency models.html b/site/tags/consistency models.html index 8ff2c8cde..3a66aa3e1 100644 --- a/site/tags/consistency models.html +++ b/site/tags/consistency models.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: consistency models

      -
      diff --git a/site/tags/consistency.html b/site/tags/consistency.html index 0f22230ce..007618ca8 100644 --- a/site/tags/consistency.html +++ b/site/tags/consistency.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: consistency

      -
      diff --git a/site/tags/consistent global state.html b/site/tags/consistent global state.html index a2a09a104..f062def16 100644 --- a/site/tags/consistent global state.html +++ b/site/tags/consistent global state.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: consistent global state

      -
      diff --git a/site/tags/consistent hashing.html b/site/tags/consistent hashing.html index c62bc36b6..724ab47e0 100644 --- a/site/tags/consistent hashing.html +++ b/site/tags/consistent hashing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: consistent hashing

      -
      diff --git a/site/tags/content delivery networks.html b/site/tags/content delivery networks.html index 570669049..c7772e4e3 100644 --- a/site/tags/content delivery networks.html +++ b/site/tags/content delivery networks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: content delivery networks

      -
      diff --git a/site/tags/context switch.html b/site/tags/context switch.html index 2c4122007..19d78f7ba 100644 --- a/site/tags/context switch.html +++ b/site/tags/context switch.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: context switch

      -
      diff --git a/site/tags/contiguous subarray.html b/site/tags/contiguous subarray.html index 364c2ca61..04d833a21 100644 --- a/site/tags/contiguous subarray.html +++ b/site/tags/contiguous subarray.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: contiguous subarray

      -
      diff --git a/site/tags/correctness.html b/site/tags/correctness.html new file mode 100644 index 000000000..09c0edfa5 --- /dev/null +++ b/site/tags/correctness.html @@ -0,0 +1,300 @@ + + + + + + + Tag: correctness | Elijah's Notes + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
      + + +
      +
      +
      +

      Tag: correctness

      +
      + +
      +
      +

      Tag: correctness

      + +
      +
      +
      +
      +

      2025, authored by Elijah Melton.

      +
      + + \ No newline at end of file diff --git a/site/tags/cost.html b/site/tags/cost.html index 648016a46..35efc8755 100644 --- a/site/tags/cost.html +++ b/site/tags/cost.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: cost

      -
      diff --git a/site/tags/coulomb.html b/site/tags/coulomb.html index 44cf2925d..259053eff 100644 --- a/site/tags/coulomb.html +++ b/site/tags/coulomb.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: coulomb

      -
      diff --git a/site/tags/cpu state.html b/site/tags/cpu state.html index 919ac414e..3f601c2b2 100644 --- a/site/tags/cpu state.html +++ b/site/tags/cpu state.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: cpu state

      -
      diff --git a/site/tags/cpu utilization.html b/site/tags/cpu utilization.html index d4c0dbf52..ce2690d4f 100644 --- a/site/tags/cpu utilization.html +++ b/site/tags/cpu utilization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: cpu utilization

      -
      diff --git a/site/tags/csma/ca.html b/site/tags/csma/ca.html index bf12d5099..9f70718ec 100644 --- a/site/tags/csma/ca.html +++ b/site/tags/csma/ca.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: csma/ca

      -
      diff --git a/site/tags/current source.html b/site/tags/current source.html index 25b0c2ae3..0a4331bc0 100644 --- a/site/tags/current source.html +++ b/site/tags/current source.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: current source

      -
      diff --git a/site/tags/current.html b/site/tags/current.html index 20aa69937..bae2ecc46 100644 --- a/site/tags/current.html +++ b/site/tags/current.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: current

      -
      diff --git a/site/tags/cycle detection.html b/site/tags/cycle detection.html index 71433ead3..91f05ba21 100644 --- a/site/tags/cycle detection.html +++ b/site/tags/cycle detection.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: cycle detection

      -
      diff --git a/site/tags/data analysis.html b/site/tags/data analysis.html index 466e70a52..f81aee269 100644 --- a/site/tags/data analysis.html +++ b/site/tags/data analysis.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: data analysis

      -
      diff --git a/site/tags/data distribution.html b/site/tags/data distribution.html index dcc4c8cc3..29b82fac2 100644 --- a/site/tags/data distribution.html +++ b/site/tags/data distribution.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: data distribution

      -
      diff --git a/site/tags/data mining.html b/site/tags/data mining.html index a43f25036..57e5bd238 100644 --- a/site/tags/data mining.html +++ b/site/tags/data mining.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: data mining

      -
      diff --git a/site/tags/data modeling.html b/site/tags/data modeling.html index edc1996bf..f77ce0243 100644 --- a/site/tags/data modeling.html +++ b/site/tags/data modeling.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: data modeling

      -
      diff --git a/site/tags/data replication.html b/site/tags/data replication.html index 4e4843f7e..9949aa183 100644 --- a/site/tags/data replication.html +++ b/site/tags/data replication.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: data replication

      -
      diff --git a/site/tags/data serialization.html b/site/tags/data serialization.html index b158980aa..c46961ed5 100644 --- a/site/tags/data serialization.html +++ b/site/tags/data serialization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: data serialization

      -
      diff --git a/site/tags/data structures.html b/site/tags/data structures.html index 1f0589be7..76757c77c 100644 --- a/site/tags/data structures.html +++ b/site/tags/data structures.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: data structures

      -
      diff --git a/site/tags/data systems.html b/site/tags/data systems.html index 48a5073a4..544eef3ea 100644 --- a/site/tags/data systems.html +++ b/site/tags/data systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: data systems

      -
      diff --git a/site/tags/database design.html b/site/tags/database design.html index 86202b192..33bea6fad 100644 --- a/site/tags/database design.html +++ b/site/tags/database design.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: database design

      -
      diff --git a/site/tags/datagrams.html b/site/tags/datagrams.html index 96ab13db5..04005929b 100644 --- a/site/tags/datagrams.html +++ b/site/tags/datagrams.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: datagrams

      -
      diff --git a/site/tags/dc circuits.html b/site/tags/dc circuits.html index 251a1f2af..37289a434 100644 --- a/site/tags/dc circuits.html +++ b/site/tags/dc circuits.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dc circuits

      -
      diff --git a/site/tags/ddcmp.html b/site/tags/ddcmp.html index 35cbff6af..461484821 100644 --- a/site/tags/ddcmp.html +++ b/site/tags/ddcmp.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ddcmp

      -
      diff --git a/site/tags/deadlock prevention.html b/site/tags/deadlock prevention.html index da4bb8d84..af2bfcef4 100644 --- a/site/tags/deadlock prevention.html +++ b/site/tags/deadlock prevention.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: deadlock prevention

      -
      diff --git a/site/tags/declarative programming.html b/site/tags/declarative programming.html index 51b960c7d..ff120d1b0 100644 --- a/site/tags/declarative programming.html +++ b/site/tags/declarative programming.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: declarative programming

      -
      diff --git a/site/tags/deep learning.html b/site/tags/deep learning.html index b4fea68cc..81a18d8f6 100644 --- a/site/tags/deep learning.html +++ b/site/tags/deep learning.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: deep learning

      -
      diff --git a/site/tags/demultiplexing.html b/site/tags/demultiplexing.html index b06f3d935..55386d8ab 100644 --- a/site/tags/demultiplexing.html +++ b/site/tags/demultiplexing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: demultiplexing

      -
      diff --git a/site/tags/dense_vectors.html b/site/tags/dense_vectors.html index f16da308a..56a42fba0 100644 --- a/site/tags/dense_vectors.html +++ b/site/tags/dense_vectors.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dense_vectors

      -
      diff --git a/site/tags/depth first search.html b/site/tags/depth first search.html index 21a4eadd6..4f89972e7 100644 --- a/site/tags/depth first search.html +++ b/site/tags/depth first search.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: depth first search

      -
      diff --git a/site/tags/depth-first search.html b/site/tags/depth-first search.html index 2ecf84933..79b52438a 100644 --- a/site/tags/depth-first search.html +++ b/site/tags/depth-first search.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: depth-first search

      -
      diff --git a/site/tags/design.html b/site/tags/design.html index ada7ab5eb..90c22d9f3 100644 --- a/site/tags/design.html +++ b/site/tags/design.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: design

      -
      diff --git a/site/tags/device controllers.html b/site/tags/device controllers.html index 92888535b..2fb0aaf0c 100644 --- a/site/tags/device controllers.html +++ b/site/tags/device controllers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: device controllers

      -
      diff --git a/site/tags/device drivers.html b/site/tags/device drivers.html index 048a20ac5..d8b96eaae 100644 --- a/site/tags/device drivers.html +++ b/site/tags/device drivers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: device drivers

      -
      diff --git a/site/tags/dfs.html b/site/tags/dfs.html index 4526009f7..53a063e1b 100644 --- a/site/tags/dfs.html +++ b/site/tags/dfs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dfs

      -
      diff --git a/site/tags/dhcp.html b/site/tags/dhcp.html index d8f845e6e..8bfa50ce9 100644 --- a/site/tags/dhcp.html +++ b/site/tags/dhcp.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dhcp

      -
      diff --git a/site/tags/digital electronics.html b/site/tags/digital electronics.html index 967e0bb7e..83f537c17 100644 --- a/site/tags/digital electronics.html +++ b/site/tags/digital electronics.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: digital electronics

      -
      diff --git a/site/tags/digital systems.html b/site/tags/digital systems.html index 750f761c2..c9567fb5c 100644 --- a/site/tags/digital systems.html +++ b/site/tags/digital systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: digital systems

      -
      diff --git a/site/tags/direct current.html b/site/tags/direct current.html index be910728d..e5cdfe805 100644 --- a/site/tags/direct current.html +++ b/site/tags/direct current.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: direct current

      -
      diff --git a/site/tags/directed acyclic graphs.html b/site/tags/directed acyclic graphs.html index 629fe09e0..ddb8385e0 100644 --- a/site/tags/directed acyclic graphs.html +++ b/site/tags/directed acyclic graphs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: directed acyclic graphs

      -
      diff --git a/site/tags/directories.html b/site/tags/directories.html index b34e2923c..dede029f0 100644 --- a/site/tags/directories.html +++ b/site/tags/directories.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: directories

      -
      diff --git a/site/tags/disconnected operation.html b/site/tags/disconnected operation.html index a2a3753f3..08aa8c8d5 100644 --- a/site/tags/disconnected operation.html +++ b/site/tags/disconnected operation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: disconnected operation

      -
      diff --git a/site/tags/discovery protocol.html b/site/tags/discovery protocol.html index 7088e30c7..2521a3068 100644 --- a/site/tags/discovery protocol.html +++ b/site/tags/discovery protocol.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: discovery protocol

      -
      diff --git a/site/tags/disjoint sets.html b/site/tags/disjoint sets.html index 39021a3bf..4aaf60a7e 100644 --- a/site/tags/disjoint sets.html +++ b/site/tags/disjoint sets.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: disjoint sets

      -
      diff --git a/site/tags/distributed access control.html b/site/tags/distributed access control.html index 8a886a1eb..6b056e0ce 100644 --- a/site/tags/distributed access control.html +++ b/site/tags/distributed access control.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: distributed access control

      -
      diff --git a/site/tags/distributed architectures.html b/site/tags/distributed architectures.html index 704c56ee5..5da3d1fc9 100644 --- a/site/tags/distributed architectures.html +++ b/site/tags/distributed architectures.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: distributed architectures

      -
      diff --git a/site/tags/distributed database.html b/site/tags/distributed database.html index f7334251a..999aeec1c 100644 --- a/site/tags/distributed database.html +++ b/site/tags/distributed database.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: distributed database

      -
      diff --git a/site/tags/distributed file systems.html b/site/tags/distributed file systems.html index a530f01f7..a7cba747c 100644 --- a/site/tags/distributed file systems.html +++ b/site/tags/distributed file systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: distributed file systems

      -
      diff --git a/site/tags/distributed filesystems.html b/site/tags/distributed filesystems.html index c663511eb..f9c4a1241 100644 --- a/site/tags/distributed filesystems.html +++ b/site/tags/distributed filesystems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: distributed filesystems

      -
      diff --git a/site/tags/distributed storage.html b/site/tags/distributed storage.html index 842e791cd..f7fe9766a 100644 --- a/site/tags/distributed storage.html +++ b/site/tags/distributed storage.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: distributed storage

      -
      diff --git a/site/tags/distributed systems.html b/site/tags/distributed systems.html index f3ea5a721..9eecf427d 100644 --- a/site/tags/distributed systems.html +++ b/site/tags/distributed systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: distributed systems

      -
      diff --git a/site/tags/distributed transactions.html b/site/tags/distributed transactions.html index e001f0337..19f7b1f66 100644 --- a/site/tags/distributed transactions.html +++ b/site/tags/distributed transactions.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: distributed transactions

      -
      diff --git a/site/tags/divide and conquer.html b/site/tags/divide and conquer.html index bb2617807..6787ab101 100644 --- a/site/tags/divide and conquer.html +++ b/site/tags/divide and conquer.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: divide and conquer

      -
      diff --git a/site/tags/dma.html b/site/tags/dma.html index 6c41e0ac8..7d1604fbb 100644 --- a/site/tags/dma.html +++ b/site/tags/dma.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dma

      -
      diff --git a/site/tags/dns resolution.html b/site/tags/dns resolution.html index 4de12be39..a8b242207 100644 --- a/site/tags/dns resolution.html +++ b/site/tags/dns resolution.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dns resolution

      -
      diff --git a/site/tags/dns.html b/site/tags/dns.html index c4248dbc7..8ca019215 100644 --- a/site/tags/dns.html +++ b/site/tags/dns.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dns

      -
      diff --git a/site/tags/document databases.html b/site/tags/document databases.html index 5d9b77169..66a98ad59 100644 --- a/site/tags/document databases.html +++ b/site/tags/document databases.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: document databases

      -
      diff --git a/site/tags/domain name system.html b/site/tags/domain name system.html index 0c0e89eb1..4cbe7efea 100644 --- a/site/tags/domain name system.html +++ b/site/tags/domain name system.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: domain name system

      -
      diff --git a/site/tags/domain-name-system.html b/site/tags/domain-name-system.html index 5693ee5b4..d1d7a1a34 100644 --- a/site/tags/domain-name-system.html +++ b/site/tags/domain-name-system.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: domain-name-system

      -
      diff --git a/site/tags/dsp.html b/site/tags/dsp.html index 3addc76e5..b525441dd 100644 --- a/site/tags/dsp.html +++ b/site/tags/dsp.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dsp

      -
      diff --git a/site/tags/dual mode operation.html b/site/tags/dual mode operation.html index 9dc492187..76d4e9243 100644 --- a/site/tags/dual mode operation.html +++ b/site/tags/dual mode operation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dual mode operation

      -
      diff --git a/site/tags/dual spaces.html b/site/tags/dual spaces.html index 4358a972c..38b5cfb56 100644 --- a/site/tags/dual spaces.html +++ b/site/tags/dual spaces.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dual spaces

      -
      diff --git a/site/tags/durability.html b/site/tags/durability.html index 92ca82bab..b41da2c64 100644 --- a/site/tags/durability.html +++ b/site/tags/durability.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: durability

      -
      diff --git a/site/tags/dynamic programming.html b/site/tags/dynamic programming.html index 9beb408d6..556767ce7 100644 --- a/site/tags/dynamic programming.html +++ b/site/tags/dynamic programming.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dynamic programming

      -
      diff --git a/site/tags/dynamic size window.html b/site/tags/dynamic size window.html index 452c0cdc1..d799d6ed2 100644 --- a/site/tags/dynamic size window.html +++ b/site/tags/dynamic size window.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dynamic size window

      -
      diff --git a/site/tags/dynamic web pages.html b/site/tags/dynamic web pages.html index feee5ba10..97f1e7b57 100644 --- a/site/tags/dynamic web pages.html +++ b/site/tags/dynamic web pages.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: dynamic web pages

      -
      diff --git a/site/tags/edge caching.html b/site/tags/edge caching.html index c040d77a6..258b9b58a 100644 --- a/site/tags/edge caching.html +++ b/site/tags/edge caching.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: edge caching

      -
      diff --git a/site/tags/edge computing.html b/site/tags/edge computing.html index 9b10386e9..c208f7b8b 100644 --- a/site/tags/edge computing.html +++ b/site/tags/edge computing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: edge computing

      -
      diff --git a/site/tags/edge locations.html b/site/tags/edge locations.html index facd0f078..982db9300 100644 --- a/site/tags/edge locations.html +++ b/site/tags/edge locations.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: edge locations

      -
      diff --git a/site/tags/edit distance.html b/site/tags/edit distance.html index 859ea673f..d2752cb9f 100644 --- a/site/tags/edit distance.html +++ b/site/tags/edit distance.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: edit distance

      -
      diff --git a/site/tags/efficiency.html b/site/tags/efficiency.html index 8038dbe3a..3cb693268 100644 --- a/site/tags/efficiency.html +++ b/site/tags/efficiency.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: efficiency

      -
      diff --git a/site/tags/eflags register.html b/site/tags/eflags register.html index bf30fbc06..cc7ece806 100644 --- a/site/tags/eflags register.html +++ b/site/tags/eflags register.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: eflags register

      -
      diff --git a/site/tags/electrical engineering.html b/site/tags/electrical engineering.html index 7466a065a..21d96e8d7 100644 --- a/site/tags/electrical engineering.html +++ b/site/tags/electrical engineering.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: electrical engineering

      -
      diff --git a/site/tags/electricity.html b/site/tags/electricity.html index 0df16a824..0cfc77b1b 100644 --- a/site/tags/electricity.html +++ b/site/tags/electricity.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: electricity

      -
      diff --git a/site/tags/encapsulation.html b/site/tags/encapsulation.html index 908578291..7bc933a11 100644 --- a/site/tags/encapsulation.html +++ b/site/tags/encapsulation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: encapsulation

      -
      diff --git a/site/tags/encoding formats.html b/site/tags/encoding formats.html index 8a89c7f5e..8cb26188d 100644 --- a/site/tags/encoding formats.html +++ b/site/tags/encoding formats.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: encoding formats

      -
      diff --git a/site/tags/end-to-end.html b/site/tags/end-to-end.html index 1354105d7..4767ad045 100644 --- a/site/tags/end-to-end.html +++ b/site/tags/end-to-end.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: end-to-end

      -
      diff --git a/site/tags/end-user sites.html b/site/tags/end-user sites.html index 4fc163fab..e239450fd 100644 --- a/site/tags/end-user sites.html +++ b/site/tags/end-user sites.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: end-user sites

      -
      diff --git a/site/tags/energy constraints.html b/site/tags/energy constraints.html index 51b36623e..73fe3f8c8 100644 --- a/site/tags/energy constraints.html +++ b/site/tags/energy constraints.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: energy constraints

      -
      diff --git a/site/tags/energy storage.html b/site/tags/energy storage.html index d73d80f9c..52e3574e8 100644 --- a/site/tags/energy storage.html +++ b/site/tags/energy storage.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: energy storage

      -
      diff --git a/site/tags/energy.html b/site/tags/energy.html index e076226d9..89e46dabe 100644 --- a/site/tags/energy.html +++ b/site/tags/energy.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: energy

      -
      diff --git a/site/tags/equivalent circuit.html b/site/tags/equivalent circuit.html index f639852d3..4c2912502 100644 --- a/site/tags/equivalent circuit.html +++ b/site/tags/equivalent circuit.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: equivalent circuit

      -
      diff --git a/site/tags/error correction.html b/site/tags/error correction.html index 62024e540..cab85d6d9 100644 --- a/site/tags/error correction.html +++ b/site/tags/error correction.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: error correction

      -
      diff --git a/site/tags/error detection.html b/site/tags/error detection.html index 5516bc67a..639a668e4 100644 --- a/site/tags/error detection.html +++ b/site/tags/error detection.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: error detection

      -
      diff --git a/site/tags/ethernet.html b/site/tags/ethernet.html index cfc0ba016..b30fd2ea0 100644 --- a/site/tags/ethernet.html +++ b/site/tags/ethernet.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ethernet

      -
      diff --git a/site/tags/etl.html b/site/tags/etl.html index 09d00e877..8206ed74a 100644 --- a/site/tags/etl.html +++ b/site/tags/etl.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: etl

      -
      diff --git a/site/tags/eventual consistency.html b/site/tags/eventual consistency.html index b500b48e8..9cc33e86b 100644 --- a/site/tags/eventual consistency.html +++ b/site/tags/eventual consistency.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: eventual consistency

      -
      diff --git a/site/tags/executable files.html b/site/tags/executable files.html index 3e7d639f2..93c33beef 100644 --- a/site/tags/executable files.html +++ b/site/tags/executable files.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: executable files

      -
      diff --git a/site/tags/exokernel.html b/site/tags/exokernel.html index bc48bd591..d2e91a6a5 100644 --- a/site/tags/exokernel.html +++ b/site/tags/exokernel.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: exokernel

      -
      diff --git a/site/tags/exposed terminal problem.html b/site/tags/exposed terminal problem.html index e5a7de721..e4fa4352f 100644 --- a/site/tags/exposed terminal problem.html +++ b/site/tags/exposed terminal problem.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: exposed terminal problem

      -
      diff --git a/site/tags/extern.html b/site/tags/extern.html index 4570a2172..b8732438d 100644 --- a/site/tags/extern.html +++ b/site/tags/extern.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: extern

      -
      diff --git a/site/tags/failover.html b/site/tags/failover.html index 2f43959ad..049410357 100644 --- a/site/tags/failover.html +++ b/site/tags/failover.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: failover

      -
      diff --git a/site/tags/fault tolerance.html b/site/tags/fault tolerance.html index f4c7661cb..abcb079ed 100644 --- a/site/tags/fault tolerance.html +++ b/site/tags/fault tolerance.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: fault tolerance

      -
      diff --git a/site/tags/fault-tolerant systems.html b/site/tags/fault-tolerant systems.html index ca790ca54..5f1751afd 100644 --- a/site/tags/fault-tolerant systems.html +++ b/site/tags/fault-tolerant systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: fault-tolerant systems

      -
      diff --git a/site/tags/feedforward.html b/site/tags/feedforward.html index 415c4d6d8..8101a845c 100644 --- a/site/tags/feedforward.html +++ b/site/tags/feedforward.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: feedforward

      -
      diff --git a/site/tags/fiber.html b/site/tags/fiber.html index 0c257ebff..97d958d02 100644 --- a/site/tags/fiber.html +++ b/site/tags/fiber.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: fiber

      -
      diff --git a/site/tags/fifo list.html b/site/tags/fifo list.html index 349e35eb5..16f6a9f56 100644 --- a/site/tags/fifo list.html +++ b/site/tags/fifo list.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: fifo list

      -
      diff --git a/site/tags/file streams.html b/site/tags/file streams.html index be4a53b3d..ad4a2c427 100644 --- a/site/tags/file streams.html +++ b/site/tags/file streams.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: file streams

      -
      diff --git a/site/tags/file systems.html b/site/tags/file systems.html index 6773bb1ea..a9f3d2f67 100644 --- a/site/tags/file systems.html +++ b/site/tags/file systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: file systems

      -
      diff --git a/site/tags/filtering.html b/site/tags/filtering.html index aece87641..4ff14db9e 100644 --- a/site/tags/filtering.html +++ b/site/tags/filtering.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: filtering

      -
      diff --git a/site/tags/filters.html b/site/tags/filters.html index a427f8850..a9946e02b 100644 --- a/site/tags/filters.html +++ b/site/tags/filters.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: filters

      -
      diff --git a/site/tags/finite state machines.html b/site/tags/finite state machines.html index 6960ac91f..16e8a5f9e 100644 --- a/site/tags/finite state machines.html +++ b/site/tags/finite state machines.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: finite state machines

      -
      diff --git a/site/tags/fixed size window.html b/site/tags/fixed size window.html index 4f64a6848..a0ee08eb3 100644 --- a/site/tags/fixed size window.html +++ b/site/tags/fixed size window.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: fixed size window

      -
      diff --git a/site/tags/flip-flops.html b/site/tags/flip-flops.html index 20b5f1a76..25768dfbd 100644 --- a/site/tags/flip-flops.html +++ b/site/tags/flip-flops.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: flip-flops

      -
      diff --git a/site/tags/flow control.html b/site/tags/flow control.html index 78bb98eb7..0c2aa6109 100644 --- a/site/tags/flow control.html +++ b/site/tags/flow control.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: flow control

      -
      diff --git a/site/tags/ford-fulkerson algorithm.html b/site/tags/ford-fulkerson algorithm.html index 95f3bdf6c..5596b7a73 100644 --- a/site/tags/ford-fulkerson algorithm.html +++ b/site/tags/ford-fulkerson algorithm.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ford-fulkerson algorithm

      -
      diff --git a/site/tags/forwarding table.html b/site/tags/forwarding table.html index baf014738..64975d014 100644 --- a/site/tags/forwarding table.html +++ b/site/tags/forwarding table.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: forwarding table

      -
      diff --git a/site/tags/forwarding.html b/site/tags/forwarding.html index 731cebbb4..835434147 100644 --- a/site/tags/forwarding.html +++ b/site/tags/forwarding.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: forwarding

      -
      diff --git a/site/tags/fragmentation.html b/site/tags/fragmentation.html index 52d7a11ae..9092123e0 100644 --- a/site/tags/fragmentation.html +++ b/site/tags/fragmentation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: fragmentation

      -
      diff --git a/site/tags/free space maps.html b/site/tags/free space maps.html index a55ac53d0..87a11889b 100644 --- a/site/tags/free space maps.html +++ b/site/tags/free space maps.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: free space maps

      -
      diff --git a/site/tags/free.html b/site/tags/free.html index 5c703fed9..f5571ec64 100644 --- a/site/tags/free.html +++ b/site/tags/free.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: free

      -
      diff --git a/site/tags/frequency division multiplexing.html b/site/tags/frequency division multiplexing.html index 7be3537c7..669acbf2e 100644 --- a/site/tags/frequency division multiplexing.html +++ b/site/tags/frequency division multiplexing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: frequency division multiplexing

      -
      diff --git a/site/tags/functional programming.html b/site/tags/functional programming.html index 7cf4e60a0..324b4b8f1 100644 --- a/site/tags/functional programming.html +++ b/site/tags/functional programming.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: functional programming

      -
      diff --git a/site/tags/gale-shapley.html b/site/tags/gale-shapley.html index 8833c06ac..441ff9d97 100644 --- a/site/tags/gale-shapley.html +++ b/site/tags/gale-shapley.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: gale-shapley

      -
      diff --git a/site/tags/gaussian elimination.html b/site/tags/gaussian elimination.html index 3a387fd79..a2cef2380 100644 --- a/site/tags/gaussian elimination.html +++ b/site/tags/gaussian elimination.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: gaussian elimination

      -
      diff --git a/site/tags/gdb.html b/site/tags/gdb.html index 25a36e0c8..aafad6e68 100644 --- a/site/tags/gdb.html +++ b/site/tags/gdb.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: gdb

      -
      diff --git a/site/tags/global predicate evaluation.html b/site/tags/global predicate evaluation.html index 7c1ed6116..8537e24bf 100644 --- a/site/tags/global predicate evaluation.html +++ b/site/tags/global predicate evaluation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: global predicate evaluation

      -
      diff --git a/site/tags/go-back-n arq.html b/site/tags/go-back-n arq.html index ac9218a90..e59dd4e36 100644 --- a/site/tags/go-back-n arq.html +++ b/site/tags/go-back-n arq.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: go-back-n arq

      -
      diff --git a/site/tags/google cloud.html b/site/tags/google cloud.html index c9ba09a8e..cbefb7984 100644 --- a/site/tags/google cloud.html +++ b/site/tags/google cloud.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: google cloud

      -
      diff --git a/site/tags/google.html b/site/tags/google.html index 3350d6219..f09c1b0ff 100644 --- a/site/tags/google.html +++ b/site/tags/google.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: google

      -
      diff --git a/site/tags/graph algorithms.html b/site/tags/graph algorithms.html index 1d2bd68c6..dbf9be4d6 100644 --- a/site/tags/graph algorithms.html +++ b/site/tags/graph algorithms.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graph algorithms

      -
      diff --git a/site/tags/graph coloring.html b/site/tags/graph coloring.html index 6e1a9c009..02bbfa449 100644 --- a/site/tags/graph coloring.html +++ b/site/tags/graph coloring.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graph coloring

      -
      diff --git a/site/tags/graph databases.html b/site/tags/graph databases.html index 1f19718d2..6c919cf7c 100644 --- a/site/tags/graph databases.html +++ b/site/tags/graph databases.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graph databases

      -
      diff --git a/site/tags/graph fundamentals.html b/site/tags/graph fundamentals.html index 159ba42e6..a82bc09f2 100644 --- a/site/tags/graph fundamentals.html +++ b/site/tags/graph fundamentals.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graph fundamentals

      -
      diff --git a/site/tags/graph properties.html b/site/tags/graph properties.html index 12bbd70ef..9a7135b54 100644 --- a/site/tags/graph properties.html +++ b/site/tags/graph properties.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graph properties

      -
      diff --git a/site/tags/graph representation.html b/site/tags/graph representation.html index 1108269ef..c8620de32 100644 --- a/site/tags/graph representation.html +++ b/site/tags/graph representation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graph representation

      -
      diff --git a/site/tags/graph theory.html b/site/tags/graph theory.html index a5d3426f4..92ce509f5 100644 --- a/site/tags/graph theory.html +++ b/site/tags/graph theory.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graph theory

      -
      diff --git a/site/tags/graph traversal.html b/site/tags/graph traversal.html index 2deb91488..b82219cf5 100644 --- a/site/tags/graph traversal.html +++ b/site/tags/graph traversal.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graph traversal

      -
      diff --git a/site/tags/graph.html b/site/tags/graph.html index 3ee568496..8f6a1091a 100644 --- a/site/tags/graph.html +++ b/site/tags/graph.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graph

      -
      diff --git a/site/tags/graphs.html b/site/tags/graphs.html index f53a23c6e..6d6353e8f 100644 --- a/site/tags/graphs.html +++ b/site/tags/graphs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: graphs

      -
      diff --git a/site/tags/greedy algorithms.html b/site/tags/greedy algorithms.html index d02a121ec..6fd853c61 100644 --- a/site/tags/greedy algorithms.html +++ b/site/tags/greedy algorithms.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: greedy algorithms

      -
      diff --git a/site/tags/greedy.html b/site/tags/greedy.html index 71bbc794e..65d12b38d 100644 --- a/site/tags/greedy.html +++ b/site/tags/greedy.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: greedy

      -
      diff --git a/site/tags/hadoop.html b/site/tags/hadoop.html index 47e37bc94..0ce4450ed 100644 --- a/site/tags/hadoop.html +++ b/site/tags/hadoop.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: hadoop

      -
      diff --git a/site/tags/handle tables.html b/site/tags/handle tables.html index b138b5dd0..fa16535eb 100644 --- a/site/tags/handle tables.html +++ b/site/tags/handle tables.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: handle tables

      -
      diff --git a/site/tags/handles.html b/site/tags/handles.html index cc58ddd14..b237c58de 100644 --- a/site/tags/handles.html +++ b/site/tags/handles.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: handles

      -
      diff --git a/site/tags/hardware modes.html b/site/tags/hardware modes.html index 0ebbdc92e..a2fb719b8 100644 --- a/site/tags/hardware modes.html +++ b/site/tags/hardware modes.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: hardware modes

      -
      diff --git a/site/tags/hardware.html b/site/tags/hardware.html index e8268923b..7dd8ba9ce 100644 --- a/site/tags/hardware.html +++ b/site/tags/hardware.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: hardware

      -
      diff --git a/site/tags/hdlc.html b/site/tags/hdlc.html index 576a1da57..83bfd9b46 100644 --- a/site/tags/hdlc.html +++ b/site/tags/hdlc.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: hdlc

      -
      diff --git a/site/tags/heap.html b/site/tags/heap.html index 976c02882..a19a16eb3 100644 --- a/site/tags/heap.html +++ b/site/tags/heap.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: heap

      -
      diff --git a/site/tags/heat dissipation.html b/site/tags/heat dissipation.html index 4befcff60..fd08e7006 100644 --- a/site/tags/heat dissipation.html +++ b/site/tags/heat dissipation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: heat dissipation

      -
      diff --git a/site/tags/hidden terminal problem.html b/site/tags/hidden terminal problem.html index 643901ebf..30e1e839c 100644 --- a/site/tags/hidden terminal problem.html +++ b/site/tags/hidden terminal problem.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: hidden terminal problem

      -
      diff --git a/site/tags/hierarchical addressing.html b/site/tags/hierarchical addressing.html index 528b9cc80..70d0080f9 100644 --- a/site/tags/hierarchical addressing.html +++ b/site/tags/hierarchical addressing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: hierarchical addressing

      -
      diff --git a/site/tags/hierarchical structure.html b/site/tags/hierarchical structure.html index ebc4986b8..68639447a 100644 --- a/site/tags/hierarchical structure.html +++ b/site/tags/hierarchical structure.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: hierarchical structure

      -
      diff --git a/site/tags/high availability.html b/site/tags/high availability.html index 16cacb065..b00637583 100644 --- a/site/tags/high availability.html +++ b/site/tags/high availability.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: high availability

      -
      diff --git a/site/tags/http methods.html b/site/tags/http methods.html index 5d2a08dae..17b2c5912 100644 --- a/site/tags/http methods.html +++ b/site/tags/http methods.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: http methods

      -
      diff --git a/site/tags/http status codes.html b/site/tags/http status codes.html index fa5a23cf6..63acf8afb 100644 --- a/site/tags/http status codes.html +++ b/site/tags/http status codes.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: http status codes

      -
      diff --git a/site/tags/http.html b/site/tags/http.html index 708f1a5ad..0285dbb76 100644 --- a/site/tags/http.html +++ b/site/tags/http.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: http

      -
      diff --git a/site/tags/hypervisor.html b/site/tags/hypervisor.html index 6098c0625..55fbe72b5 100644 --- a/site/tags/hypervisor.html +++ b/site/tags/hypervisor.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: hypervisor

      -
      diff --git a/site/tags/i/o devices.html b/site/tags/i/o devices.html index 54fb702df..e8ff8114b 100644 --- a/site/tags/i/o devices.html +++ b/site/tags/i/o devices.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: i/o devices

      -
      diff --git a/site/tags/i/o operations.html b/site/tags/i/o operations.html index c4ff40d4a..0059e08f9 100644 --- a/site/tags/i/o operations.html +++ b/site/tags/i/o operations.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: i/o operations

      -
      diff --git a/site/tags/i/o systems.html b/site/tags/i/o systems.html index c7506987b..3360463ff 100644 --- a/site/tags/i/o systems.html +++ b/site/tags/i/o systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: i/o systems

      -
      diff --git a/site/tags/i/o.html b/site/tags/i/o.html index 1101bccb9..dd7521653 100644 --- a/site/tags/i/o.html +++ b/site/tags/i/o.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: i/o

      -
      diff --git a/site/tags/icmp.html b/site/tags/icmp.html index 8e6e2ccd7..1bab9ca38 100644 --- a/site/tags/icmp.html +++ b/site/tags/icmp.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: icmp

      -
      diff --git a/site/tags/immutable.html b/site/tags/immutable.html index 59f81e138..9bef6a86f 100644 --- a/site/tags/immutable.html +++ b/site/tags/immutable.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: immutable

      -
      diff --git a/site/tags/impedance.html b/site/tags/impedance.html index 9fac284fe..b223112b0 100644 --- a/site/tags/impedance.html +++ b/site/tags/impedance.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: impedance

      -
      diff --git a/site/tags/independent set.html b/site/tags/independent set.html index 92fc5d70c..c14b6ce27 100644 --- a/site/tags/independent set.html +++ b/site/tags/independent set.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: independent set

      -
      diff --git a/site/tags/index structures.html b/site/tags/index structures.html index 3ba727a80..87017b58b 100644 --- a/site/tags/index structures.html +++ b/site/tags/index structures.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: index structures

      -
      diff --git a/site/tags/index.html b/site/tags/index.html index fcfe48371..c508f03d5 100644 --- a/site/tags/index.html +++ b/site/tags/index.html @@ -27,7 +27,7 @@ @@ -281,7 +281,7 @@

      Tags

      -
      @@ -405,6 +405,7 @@

      Tags

    • content delivery networks (1 pages)
    • context switch (1 pages)
    • contiguous subarray (1 pages)
    • +
    • correctness (1 pages)
    • cost (1 pages)
    • coulomb (1 pages)
    • cpu state (1 pages)
    • @@ -588,6 +589,7 @@

      Tags

    • key-value store (1 pages)
    • kirchhoff's laws (1 pages)
    • kirchoffs laws (1 pages)
    • +
    • klee (1 pages)
    • kth smallest element (1 pages)
    • kvl (1 pages)
    • lambdas (2 pages)
    • @@ -630,7 +632,7 @@

      Tags

    • memory barrier/fence (2 pages)
    • memory management (3 pages)
    • message passing (1 pages)
    • -
    • meta (4 pages)
    • +
    • meta (3 pages)
    • metadata (1 pages)
    • microservices (1 pages)
    • minimization (1 pages)
    • @@ -694,7 +696,7 @@

      Tags

    • page replacement (1 pages)
    • page table (3 pages)
    • paging (1 pages)
    • -
    • paper (5 pages)
    • +
    • paper (4 pages)
    • parallel processing (1 pages)
    • parallel resistors (1 pages)
    • partitioning (1 pages)
    • @@ -730,6 +732,7 @@

      Tags

    • process synchronization (1 pages)
    • processes (2 pages)
    • processor consistency (2 pages)
    • +
    • program analysis (1 pages)
    • programmed i/o (1 pages)
    • programming interface (1 pages)
    • programming languages for hardware (1 pages)
    • @@ -753,12 +756,12 @@

      Tags

    • relational databases (1 pages)
    • reliability (3 pages)
    • replication logs (1 pages)
    • -
    • research (4 pages)
    • +
    • research (3 pages)
    • resistance (1 pages)
    • resistor (2 pages)
    • resource management (2 pages)
    • rest repositories (1 pages)
    • -
    • review (5 pages)
    • +
    • review (4 pages)
    • rom (1 pages)
    • root finding (1 pages)
    • routing (4 pages)
    • @@ -799,6 +802,7 @@

      Tags

    • sliding window arq (1 pages)
    • snapshot reads (2 pages)
    • socket (1 pages)
    • +
    • software engineering (1 pages)
    • spanning trees (1 pages)
    • sparse attention (1 pages)
    • split brain (1 pages)
    • @@ -821,6 +825,7 @@

      Tags

    • stub as (1 pages)
    • suffix sum (1 pages)
    • switching (1 pages)
    • +
    • symbolic execution (1 pages)
    • synchronous vs asynchronous (1 pages)
    • syscall (1 pages)
    • system bus (1 pages)
    • @@ -828,11 +833,12 @@

      Tags

    • system design (1 pages)
    • system programming (1 pages)
    • system-verilog (1 pages)
    • -
    • systems (7 pages)
    • +
    • systems (8 pages)
    • systems approach (1 pages)
    • tcp (4 pages)
    • -
    • template (2 pages)
    • +
    • template (1 pages)
    • tensor products (1 pages)
    • +
    • testing (1 pages)
    • testing process (1 pages)
    • text classification (1 pages)
    • textbook (1 pages)
    • @@ -869,6 +875,7 @@

      Tags

    • user mode (1 pages)
    • vector clocks (1 pages)
    • vector spaces (2 pages)
    • +
    • verification (1 pages)
    • verilog (1 pages)
    • vertex cover (2 pages)
    • view service (1 pages)
    • diff --git a/site/tags/indexing.html b/site/tags/indexing.html index eb15e52ff..cbac59552 100644 --- a/site/tags/indexing.html +++ b/site/tags/indexing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: indexing

      -
      diff --git a/site/tags/indirection tables.html b/site/tags/indirection tables.html index bff683a2d..e59c59adc 100644 --- a/site/tags/indirection tables.html +++ b/site/tags/indirection tables.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: indirection tables

      -
      diff --git a/site/tags/inductance.html b/site/tags/inductance.html index bcb5a29b4..72262b92f 100644 --- a/site/tags/inductance.html +++ b/site/tags/inductance.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: inductance

      -
      diff --git a/site/tags/induction proofs.html b/site/tags/induction proofs.html index 2cad90af7..91dc31e86 100644 --- a/site/tags/induction proofs.html +++ b/site/tags/induction proofs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: induction proofs

      -
      diff --git a/site/tags/induction.html b/site/tags/induction.html index 7441281df..5647eb5de 100644 --- a/site/tags/induction.html +++ b/site/tags/induction.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: induction

      -
      diff --git a/site/tags/information theory.html b/site/tags/information theory.html index 194fe311e..698c62714 100644 --- a/site/tags/information theory.html +++ b/site/tags/information theory.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: information theory

      -
      diff --git a/site/tags/initial sequence number.html b/site/tags/initial sequence number.html index 3abd5cf93..3611db9f3 100644 --- a/site/tags/initial sequence number.html +++ b/site/tags/initial sequence number.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: initial sequence number

      -
      diff --git a/site/tags/inter-domain routing.html b/site/tags/inter-domain routing.html index bd9adc8b4..862d88da2 100644 --- a/site/tags/inter-domain routing.html +++ b/site/tags/inter-domain routing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: inter-domain routing

      -
      diff --git a/site/tags/internet.html b/site/tags/internet.html index 01f02daab..7ca6db4bc 100644 --- a/site/tags/internet.html +++ b/site/tags/internet.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: internet

      -
      diff --git a/site/tags/internetworking.html b/site/tags/internetworking.html index 2650d5452..8b9e581fe 100644 --- a/site/tags/internetworking.html +++ b/site/tags/internetworking.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: internetworking

      -
      diff --git a/site/tags/interpolated_precision_curve.html b/site/tags/interpolated_precision_curve.html index feaff996c..a11f98abf 100644 --- a/site/tags/interpolated_precision_curve.html +++ b/site/tags/interpolated_precision_curve.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: interpolated_precision_curve

      -
      diff --git a/site/tags/interrupt handling.html b/site/tags/interrupt handling.html index 5b520cbe2..37335e373 100644 --- a/site/tags/interrupt handling.html +++ b/site/tags/interrupt handling.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: interrupt handling

      -
      diff --git a/site/tags/interval partitioning.html b/site/tags/interval partitioning.html index 25ecbde88..84e39e00b 100644 --- a/site/tags/interval partitioning.html +++ b/site/tags/interval partitioning.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: interval partitioning

      -
      diff --git a/site/tags/interval sums.html b/site/tags/interval sums.html index 2ff99b5bc..a8016dd9b 100644 --- a/site/tags/interval sums.html +++ b/site/tags/interval sums.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: interval sums

      -
      diff --git a/site/tags/interval.html b/site/tags/interval.html index f307341d1..affe6297e 100644 --- a/site/tags/interval.html +++ b/site/tags/interval.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: interval

      -
      diff --git a/site/tags/inverted index.html b/site/tags/inverted index.html index 1014d0643..2c8a0d8c1 100644 --- a/site/tags/inverted index.html +++ b/site/tags/inverted index.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: inverted index

      -
      diff --git a/site/tags/ip address.html b/site/tags/ip address.html index bc43ac88b..53cf110b5 100644 --- a/site/tags/ip address.html +++ b/site/tags/ip address.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ip address

      -
      diff --git a/site/tags/ip addressing.html b/site/tags/ip addressing.html index 77a2cef10..92e72f144 100644 --- a/site/tags/ip addressing.html +++ b/site/tags/ip addressing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ip addressing

      -
      diff --git a/site/tags/ip protocol.html b/site/tags/ip protocol.html index 927e8d0a1..429e80868 100644 --- a/site/tags/ip protocol.html +++ b/site/tags/ip protocol.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ip protocol

      -
      diff --git a/site/tags/isolation.html b/site/tags/isolation.html index 6cd6a4fa1..a23b07dfd 100644 --- a/site/tags/isolation.html +++ b/site/tags/isolation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: isolation

      -
      diff --git a/site/tags/iteration.html b/site/tags/iteration.html index a1bd26c13..180d264ca 100644 --- a/site/tags/iteration.html +++ b/site/tags/iteration.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: iteration

      -
      diff --git a/site/tags/java.html b/site/tags/java.html index 86863a939..55d8ea31c 100644 --- a/site/tags/java.html +++ b/site/tags/java.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: java

      -
      diff --git a/site/tags/jvm.html b/site/tags/jvm.html index 4c1addfcb..1dec462cb 100644 --- a/site/tags/jvm.html +++ b/site/tags/jvm.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: jvm

      -
      diff --git a/site/tags/karnaugh maps.html b/site/tags/karnaugh maps.html index 9c178a1bc..1b7d484ce 100644 --- a/site/tags/karnaugh maps.html +++ b/site/tags/karnaugh maps.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: karnaugh maps

      -
      diff --git a/site/tags/kernel mode.html b/site/tags/kernel mode.html index 0959699f4..385339519 100644 --- a/site/tags/kernel mode.html +++ b/site/tags/kernel mode.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: kernel mode

      -
      diff --git a/site/tags/kernel.html b/site/tags/kernel.html index a932f73b2..4c3b2523a 100644 --- a/site/tags/kernel.html +++ b/site/tags/kernel.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: kernel

      -
      diff --git a/site/tags/kernels.html b/site/tags/kernels.html index 2eb17e0cd..84ab35f4d 100644 --- a/site/tags/kernels.html +++ b/site/tags/kernels.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: kernels

      -
      diff --git a/site/tags/key-value store.html b/site/tags/key-value store.html index 59ceba19f..7eacd0fa8 100644 --- a/site/tags/key-value store.html +++ b/site/tags/key-value store.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: key-value store

      -
      diff --git a/site/tags/kirchhoff's laws.html b/site/tags/kirchhoff's laws.html index 93d93b41f..3b7d91551 100644 --- a/site/tags/kirchhoff's laws.html +++ b/site/tags/kirchhoff's laws.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: kirchhoff's laws

      -
      diff --git a/site/tags/kirchoffs laws.html b/site/tags/kirchoffs laws.html index 6e57cf0ed..e63fd01b5 100644 --- a/site/tags/kirchoffs laws.html +++ b/site/tags/kirchoffs laws.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: kirchoffs laws

      -
      diff --git a/site/tags/klee.html b/site/tags/klee.html new file mode 100644 index 000000000..e30509cb7 --- /dev/null +++ b/site/tags/klee.html @@ -0,0 +1,300 @@ + + + + + + + Tag: klee | Elijah's Notes + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
      + + +
      +
      +
      +

      Tag: klee

      +
      + +
      +
      +

      Tag: klee

      + +
      +
      +
      +
      +

      2025, authored by Elijah Melton.

      +
      + + \ No newline at end of file diff --git a/site/tags/kth smallest element.html b/site/tags/kth smallest element.html index e5b968403..9fd138331 100644 --- a/site/tags/kth smallest element.html +++ b/site/tags/kth smallest element.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: kth smallest element

      -
      diff --git a/site/tags/kvl.html b/site/tags/kvl.html index baa609980..ec82c616f 100644 --- a/site/tags/kvl.html +++ b/site/tags/kvl.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: kvl

      -
      diff --git a/site/tags/lambdas.html b/site/tags/lambdas.html index 0973ca4c0..eece0a55a 100644 --- a/site/tags/lambdas.html +++ b/site/tags/lambdas.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: lambdas

      -
      diff --git a/site/tags/laplace smoothing.html b/site/tags/laplace smoothing.html index 6a64e8fd3..e8993a984 100644 --- a/site/tags/laplace smoothing.html +++ b/site/tags/laplace smoothing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: laplace smoothing

      -
      diff --git a/site/tags/latency.html b/site/tags/latency.html index 6e2414de5..2f2e4cc05 100644 --- a/site/tags/latency.html +++ b/site/tags/latency.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: latency

      -
      diff --git a/site/tags/lazy evaluation.html b/site/tags/lazy evaluation.html index e31ce0e26..3a137c395 100644 --- a/site/tags/lazy evaluation.html +++ b/site/tags/lazy evaluation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: lazy evaluation

      -
      diff --git a/site/tags/leader-follower model.html b/site/tags/leader-follower model.html index 9a302ad23..4a7f5a7bf 100644 --- a/site/tags/leader-follower model.html +++ b/site/tags/leader-follower model.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: leader-follower model

      -
      diff --git a/site/tags/lease server.html b/site/tags/lease server.html index 98f5922a7..755125f94 100644 --- a/site/tags/lease server.html +++ b/site/tags/lease server.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: lease server

      -
      diff --git a/site/tags/linear algebra.html b/site/tags/linear algebra.html index 23f07a96d..44f805678 100644 --- a/site/tags/linear algebra.html +++ b/site/tags/linear algebra.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: linear algebra

      -
      diff --git a/site/tags/linear data structure.html b/site/tags/linear data structure.html index a2ed20c17..40c625b0a 100644 --- a/site/tags/linear data structure.html +++ b/site/tags/linear data structure.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: linear data structure

      -
      diff --git a/site/tags/linear programs.html b/site/tags/linear programs.html index 227d47dc2..922cc7bbb 100644 --- a/site/tags/linear programs.html +++ b/site/tags/linear programs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: linear programs

      -
      diff --git a/site/tags/linear systems.html b/site/tags/linear systems.html index 0214549b8..ae2057da7 100644 --- a/site/tags/linear systems.html +++ b/site/tags/linear systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: linear systems

      -
      diff --git a/site/tags/linear transformations.html b/site/tags/linear transformations.html index 47841798a..32877fddf 100644 --- a/site/tags/linear transformations.html +++ b/site/tags/linear transformations.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: linear transformations

      -
      diff --git a/site/tags/linearizability.html b/site/tags/linearizability.html index c0f4791b7..61416cd83 100644 --- a/site/tags/linearizability.html +++ b/site/tags/linearizability.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: linearizability

      -
      diff --git a/site/tags/link layer.html b/site/tags/link layer.html index 44eb57fe8..c81f1dcb8 100644 --- a/site/tags/link layer.html +++ b/site/tags/link layer.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: link layer

      -
      diff --git a/site/tags/load balancing.html b/site/tags/load balancing.html index 0f504e57d..5427e62e6 100644 --- a/site/tags/load balancing.html +++ b/site/tags/load balancing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: load balancing

      -
      diff --git a/site/tags/local and global page replacement.html b/site/tags/local and global page replacement.html index 476c534f1..6211e9c53 100644 --- a/site/tags/local and global page replacement.html +++ b/site/tags/local and global page replacement.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: local and global page replacement

      -
      diff --git a/site/tags/locality heuristics.html b/site/tags/locality heuristics.html index bdcf8c659..2e03dca41 100644 --- a/site/tags/locality heuristics.html +++ b/site/tags/locality heuristics.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: locality heuristics

      -
      diff --git a/site/tags/locking.html b/site/tags/locking.html index 2ca4b009c..790bd1685 100644 --- a/site/tags/locking.html +++ b/site/tags/locking.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: locking

      -
      diff --git a/site/tags/locks.html b/site/tags/locks.html index 47500d838..829551fb8 100644 --- a/site/tags/locks.html +++ b/site/tags/locks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: locks

      -
      diff --git a/site/tags/logic gates.html b/site/tags/logic gates.html index 6002076e7..ad242e3cb 100644 --- a/site/tags/logic gates.html +++ b/site/tags/logic gates.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: logic gates

      -
      diff --git a/site/tags/logical clocks.html b/site/tags/logical clocks.html index 00274825c..7b2150a71 100644 --- a/site/tags/logical clocks.html +++ b/site/tags/logical clocks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: logical clocks

      -
      diff --git a/site/tags/lru list.html b/site/tags/lru list.html index c126375a4..5a92f92df 100644 --- a/site/tags/lru list.html +++ b/site/tags/lru list.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: lru list

      -
      diff --git a/site/tags/mac address.html b/site/tags/mac address.html index 73450514f..680f358b5 100644 --- a/site/tags/mac address.html +++ b/site/tags/mac address.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: mac address

      -
      diff --git a/site/tags/maca.html b/site/tags/maca.html index d695d9c60..a119345a8 100644 --- a/site/tags/maca.html +++ b/site/tags/maca.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: maca

      -
      diff --git a/site/tags/machine learning.html b/site/tags/machine learning.html index 9e455e8b6..f594a18be 100644 --- a/site/tags/machine learning.html +++ b/site/tags/machine learning.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: machine learning

      -
      diff --git a/site/tags/maintainability.html b/site/tags/maintainability.html index b9d8eb4d6..4c7ce8587 100644 --- a/site/tags/maintainability.html +++ b/site/tags/maintainability.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: maintainability

      -
      diff --git a/site/tags/malloc.html b/site/tags/malloc.html index 373dc0d58..c0339dade 100644 --- a/site/tags/malloc.html +++ b/site/tags/malloc.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: malloc

      -
      diff --git a/site/tags/manchester encoding.html b/site/tags/manchester encoding.html index 05a0d9ddb..ebd5f143e 100644 --- a/site/tags/manchester encoding.html +++ b/site/tags/manchester encoding.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: manchester encoding

      -
      diff --git a/site/tags/mapreduce.html b/site/tags/mapreduce.html index 4c9187b40..42edd4367 100644 --- a/site/tags/mapreduce.html +++ b/site/tags/mapreduce.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: mapreduce

      -
      diff --git a/site/tags/master theorem.html b/site/tags/master theorem.html index 74fadade0..e4bb87e0a 100644 --- a/site/tags/master theorem.html +++ b/site/tags/master theorem.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: master theorem

      -
      diff --git a/site/tags/matching.html b/site/tags/matching.html index 85bfe7fe1..6338a61ab 100644 --- a/site/tags/matching.html +++ b/site/tags/matching.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: matching

      -
      diff --git a/site/tags/matrix theory.html b/site/tags/matrix theory.html index 9d681c38c..13a6d049b 100644 --- a/site/tags/matrix theory.html +++ b/site/tags/matrix theory.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: matrix theory

      -
      diff --git a/site/tags/matrix-matrix multiplication.html b/site/tags/matrix-matrix multiplication.html index a97c81bab..ebce1323e 100644 --- a/site/tags/matrix-matrix multiplication.html +++ b/site/tags/matrix-matrix multiplication.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: matrix-matrix multiplication

      -
      diff --git a/site/tags/matrix-vector multiplication.html b/site/tags/matrix-vector multiplication.html index 5f6798ae2..84071ccb0 100644 --- a/site/tags/matrix-vector multiplication.html +++ b/site/tags/matrix-vector multiplication.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: matrix-vector multiplication

      -
      diff --git a/site/tags/max flow min cut.html b/site/tags/max flow min cut.html index 546e5b5c8..da776a4e7 100644 --- a/site/tags/max flow min cut.html +++ b/site/tags/max flow min cut.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: max flow min cut

      -
      diff --git a/site/tags/mean_average_precision.html b/site/tags/mean_average_precision.html index 91ff2e28a..415387f49 100644 --- a/site/tags/mean_average_precision.html +++ b/site/tags/mean_average_precision.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: mean_average_precision

      -
      diff --git a/site/tags/media.html b/site/tags/media.html index cf721ba3c..1891665d7 100644 --- a/site/tags/media.html +++ b/site/tags/media.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: media

      -
      diff --git a/site/tags/memory allocation.html b/site/tags/memory allocation.html index 1e9b4f618..ce5481908 100644 --- a/site/tags/memory allocation.html +++ b/site/tags/memory allocation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: memory allocation

      -
      diff --git a/site/tags/memory barrier/fence.html b/site/tags/memory barrier/fence.html index b7fd71d27..e89a24fa0 100644 --- a/site/tags/memory barrier/fence.html +++ b/site/tags/memory barrier/fence.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: memory barrier/fence

      -
      diff --git a/site/tags/memory management.html b/site/tags/memory management.html index 44bbd7c54..99258f416 100644 --- a/site/tags/memory management.html +++ b/site/tags/memory management.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: memory management

      -
      diff --git a/site/tags/message passing.html b/site/tags/message passing.html index dd0768725..e1c3b94bb 100644 --- a/site/tags/message passing.html +++ b/site/tags/message passing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: message passing

      -
      diff --git a/site/tags/meta.html b/site/tags/meta.html index e886e7e89..7f07f160e 100644 --- a/site/tags/meta.html +++ b/site/tags/meta.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@ diff --git a/site/tags/metadata.html b/site/tags/metadata.html index 79e8e4b30..9626d4748 100644 --- a/site/tags/metadata.html +++ b/site/tags/metadata.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: metadata

      -
      diff --git a/site/tags/microservices.html b/site/tags/microservices.html index 0075e5dfb..846da8eb8 100644 --- a/site/tags/microservices.html +++ b/site/tags/microservices.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: microservices

      -
      diff --git a/site/tags/minimization.html b/site/tags/minimization.html index 69483499e..9908a737b 100644 --- a/site/tags/minimization.html +++ b/site/tags/minimization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: minimization

      -
      diff --git a/site/tags/minimum spanning tree.html b/site/tags/minimum spanning tree.html index 6ee3db7f3..4c4db656d 100644 --- a/site/tags/minimum spanning tree.html +++ b/site/tags/minimum spanning tree.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: minimum spanning tree

      -
      diff --git a/site/tags/mips status register.html b/site/tags/mips status register.html index b12364c27..31860c250 100644 --- a/site/tags/mips status register.html +++ b/site/tags/mips status register.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: mips status register

      -
      diff --git a/site/tags/mmu.html b/site/tags/mmu.html index b51894d39..990a13de8 100644 --- a/site/tags/mmu.html +++ b/site/tags/mmu.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: mmu

      -
      diff --git a/site/tags/modelsim.html b/site/tags/modelsim.html index 874356aa6..c16a09061 100644 --- a/site/tags/modelsim.html +++ b/site/tags/modelsim.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: modelsim

      -
      diff --git a/site/tags/modified no-write.html b/site/tags/modified no-write.html index 62975e436..2ebe85f06 100644 --- a/site/tags/modified no-write.html +++ b/site/tags/modified no-write.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: modified no-write

      -
      diff --git a/site/tags/modified.html b/site/tags/modified.html index 1b3aeb01d..a92efa6aa 100644 --- a/site/tags/modified.html +++ b/site/tags/modified.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: modified

      -
      diff --git a/site/tags/modular design.html b/site/tags/modular design.html index 0f476d102..c7ed335e8 100644 --- a/site/tags/modular design.html +++ b/site/tags/modular design.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: modular design

      -
      diff --git a/site/tags/modulation.html b/site/tags/modulation.html index 113de8439..3e8d284b3 100644 --- a/site/tags/modulation.html +++ b/site/tags/modulation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: modulation

      -
      diff --git a/site/tags/multicore.html b/site/tags/multicore.html index e5e2bb17c..74b31249e 100644 --- a/site/tags/multicore.html +++ b/site/tags/multicore.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: multicore

      -
      diff --git a/site/tags/multihomed as.html b/site/tags/multihomed as.html index 4cc574da0..c607edbf5 100644 --- a/site/tags/multihomed as.html +++ b/site/tags/multihomed as.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: multihomed as

      -
      diff --git a/site/tags/multinomial logistic regression.html b/site/tags/multinomial logistic regression.html index 790543ad4..e2fe3c6bc 100644 --- a/site/tags/multinomial logistic regression.html +++ b/site/tags/multinomial logistic regression.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: multinomial logistic regression

      -
      diff --git a/site/tags/multinomial naive bayes.html b/site/tags/multinomial naive bayes.html index 7af20871b..eb06580b1 100644 --- a/site/tags/multinomial naive bayes.html +++ b/site/tags/multinomial naive bayes.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: multinomial naive bayes

      -
      diff --git a/site/tags/multiplexing.html b/site/tags/multiplexing.html index c7d0cbf71..db90a61b5 100644 --- a/site/tags/multiplexing.html +++ b/site/tags/multiplexing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: multiplexing

      -
      diff --git a/site/tags/multiprocessor scheduling.html b/site/tags/multiprocessor scheduling.html index 77b991d10..fa3c7c170 100644 --- a/site/tags/multiprocessor scheduling.html +++ b/site/tags/multiprocessor scheduling.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: multiprocessor scheduling

      -
      diff --git a/site/tags/multithreading.html b/site/tags/multithreading.html index d565b2c14..42c4f2fe6 100644 --- a/site/tags/multithreading.html +++ b/site/tags/multithreading.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: multithreading

      -
      diff --git a/site/tags/mutual exclusion.html b/site/tags/mutual exclusion.html index ac51855f4..89630ea7e 100644 --- a/site/tags/mutual exclusion.html +++ b/site/tags/mutual exclusion.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: mutual exclusion

      -
      diff --git a/site/tags/naive bayes.html b/site/tags/naive bayes.html index ae1d85390..b9aeadde5 100644 --- a/site/tags/naive bayes.html +++ b/site/tags/naive bayes.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: naive bayes

      -
      diff --git a/site/tags/name resolution.html b/site/tags/name resolution.html index 3bb265aaa..901b09fe1 100644 --- a/site/tags/name resolution.html +++ b/site/tags/name resolution.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: name resolution

      -
      diff --git a/site/tags/name server.html b/site/tags/name server.html index ce48464e5..7b5a7feb4 100644 --- a/site/tags/name server.html +++ b/site/tags/name server.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: name server

      -
      diff --git a/site/tags/namespace.html b/site/tags/namespace.html index e412c305c..bb3568f9a 100644 --- a/site/tags/namespace.html +++ b/site/tags/namespace.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: namespace

      -
      diff --git a/site/tags/natural language processing.html b/site/tags/natural language processing.html index 77b43619c..7845cf3aa 100644 --- a/site/tags/natural language processing.html +++ b/site/tags/natural language processing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: natural language processing

      -
      diff --git a/site/tags/network components.html b/site/tags/network components.html index 9e42ec23a..991b6b854 100644 --- a/site/tags/network components.html +++ b/site/tags/network components.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: network components

      -
      diff --git a/site/tags/network congestion control.html b/site/tags/network congestion control.html index 797527d45..7ec53633a 100644 --- a/site/tags/network congestion control.html +++ b/site/tags/network congestion control.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: network congestion control

      -
      diff --git a/site/tags/network interfaces.html b/site/tags/network interfaces.html index 80782df2a..c991539c4 100644 --- a/site/tags/network interfaces.html +++ b/site/tags/network interfaces.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: network interfaces

      -
      diff --git a/site/tags/network layer.html b/site/tags/network layer.html index 02279e179..96e6e646c 100644 --- a/site/tags/network layer.html +++ b/site/tags/network layer.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: network layer

      -
      diff --git a/site/tags/network layers.html b/site/tags/network layers.html index 00aa317e3..5920e9480 100644 --- a/site/tags/network layers.html +++ b/site/tags/network layers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: network layers

      -
      diff --git a/site/tags/network protocols.html b/site/tags/network protocols.html index a825d0d01..40337861f 100644 --- a/site/tags/network protocols.html +++ b/site/tags/network protocols.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: network protocols

      -
      diff --git a/site/tags/network topology.html b/site/tags/network topology.html index bd94dca27..574230cdf 100644 --- a/site/tags/network topology.html +++ b/site/tags/network topology.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: network topology

      -
      diff --git a/site/tags/networking.html b/site/tags/networking.html index 550503576..0d59efd0e 100644 --- a/site/tags/networking.html +++ b/site/tags/networking.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: networking

      -
      diff --git a/site/tags/networks.html b/site/tags/networks.html index 8c7727462..cb53b3055 100644 --- a/site/tags/networks.html +++ b/site/tags/networks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: networks

      -
      diff --git a/site/tags/neural networks.html b/site/tags/neural networks.html index 5117cf016..ec3fef02e 100644 --- a/site/tags/neural networks.html +++ b/site/tags/neural networks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: neural networks

      -
      diff --git a/site/tags/nltk.html b/site/tags/nltk.html index cfe409961..ca4a333fc 100644 --- a/site/tags/nltk.html +++ b/site/tags/nltk.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: nltk

      -
      diff --git a/site/tags/noise immunity.html b/site/tags/noise immunity.html index ca7fcf617..163dfe828 100644 --- a/site/tags/noise immunity.html +++ b/site/tags/noise immunity.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: noise immunity

      -
      diff --git a/site/tags/noise.html b/site/tags/noise.html index 1e6bcfea2..7af971517 100644 --- a/site/tags/noise.html +++ b/site/tags/noise.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: noise

      -
      diff --git a/site/tags/nonvolatile storage.html b/site/tags/nonvolatile storage.html index abdc36708..4917ef889 100644 --- a/site/tags/nonvolatile storage.html +++ b/site/tags/nonvolatile storage.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: nonvolatile storage

      -
      diff --git a/site/tags/norton's theorem.html b/site/tags/norton's theorem.html index e08fe83d7..c076ef4df 100644 --- a/site/tags/norton's theorem.html +++ b/site/tags/norton's theorem.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: norton's theorem

      -
      diff --git a/site/tags/nrz.html b/site/tags/nrz.html index fc26f4a9d..c619f6dc2 100644 --- a/site/tags/nrz.html +++ b/site/tags/nrz.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: nrz

      -
      diff --git a/site/tags/nyquist limit.html b/site/tags/nyquist limit.html index 24c4fdfe9..ee304b410 100644 --- a/site/tags/nyquist limit.html +++ b/site/tags/nyquist limit.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: nyquist limit

      -
      diff --git a/site/tags/object manager.html b/site/tags/object manager.html index 3923946bc..b150548e8 100644 --- a/site/tags/object manager.html +++ b/site/tags/object manager.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: object manager

      -
      diff --git a/site/tags/object versioning.html b/site/tags/object versioning.html index 770f14e7e..c99af239c 100644 --- a/site/tags/object versioning.html +++ b/site/tags/object versioning.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: object versioning

      -
      diff --git a/site/tags/odd cycles.html b/site/tags/odd cycles.html index b57e455f6..61e61d078 100644 --- a/site/tags/odd cycles.html +++ b/site/tags/odd cycles.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: odd cycles

      -
      diff --git a/site/tags/ohm's law.html b/site/tags/ohm's law.html index ec0a21f39..68a3435bd 100644 --- a/site/tags/ohm's law.html +++ b/site/tags/ohm's law.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ohm's law

      -
      diff --git a/site/tags/ohms law.html b/site/tags/ohms law.html index 2ab66d614..e826e12de 100644 --- a/site/tags/ohms law.html +++ b/site/tags/ohms law.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ohms law

      -
      diff --git a/site/tags/oltp vs olap.html b/site/tags/oltp vs olap.html index 7cfdad7ea..ae30ac8ac 100644 --- a/site/tags/oltp vs olap.html +++ b/site/tags/oltp vs olap.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: oltp vs olap

      -
      diff --git a/site/tags/op-amps.html b/site/tags/op-amps.html index 5a91dff93..5669f8d70 100644 --- a/site/tags/op-amps.html +++ b/site/tags/op-amps.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: op-amps

      -
      diff --git a/site/tags/operating system development.html b/site/tags/operating system development.html index 480bd370f..ca320c342 100644 --- a/site/tags/operating system development.html +++ b/site/tags/operating system development.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: operating system development

      -
      diff --git a/site/tags/operating system.html b/site/tags/operating system.html index f20fcba7c..73c4ca5c2 100644 --- a/site/tags/operating system.html +++ b/site/tags/operating system.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: operating system

      -
      diff --git a/site/tags/operating systems.html b/site/tags/operating systems.html index 839b78e73..c314329a0 100644 --- a/site/tags/operating systems.html +++ b/site/tags/operating systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: operating systems

      -
      diff --git a/site/tags/operating-system.html b/site/tags/operating-system.html index bdbbc9114..b509a438d 100644 --- a/site/tags/operating-system.html +++ b/site/tags/operating-system.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: operating-system

      -
      diff --git a/site/tags/operators.html b/site/tags/operators.html index 3561c9c5f..a74bbfba6 100644 --- a/site/tags/operators.html +++ b/site/tags/operators.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: operators

      -
      diff --git a/site/tags/optimization.html b/site/tags/optimization.html index c4b386956..8347c426b 100644 --- a/site/tags/optimization.html +++ b/site/tags/optimization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: optimization

      -
      diff --git a/site/tags/ordering.html b/site/tags/ordering.html index 2e1b426cf..378e9c83e 100644 --- a/site/tags/ordering.html +++ b/site/tags/ordering.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: ordering

      -
      diff --git a/site/tags/os.html b/site/tags/os.html index ca9cf38a6..962958526 100644 --- a/site/tags/os.html +++ b/site/tags/os.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: os

      -
      diff --git a/site/tags/osi model.html b/site/tags/osi model.html index b0ac3396b..03a6c9692 100644 --- a/site/tags/osi model.html +++ b/site/tags/osi model.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: osi model

      -
      diff --git a/site/tags/overhead.html b/site/tags/overhead.html index d98b2eb5d..8dc9c3a36 100644 --- a/site/tags/overhead.html +++ b/site/tags/overhead.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: overhead

      -
      diff --git a/site/tags/page fault.html b/site/tags/page fault.html index fd116ea45..8bb6a851b 100644 --- a/site/tags/page fault.html +++ b/site/tags/page fault.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: page fault

      -
      diff --git a/site/tags/page frame number database.html b/site/tags/page frame number database.html index 666a101f3..928d74094 100644 --- a/site/tags/page frame number database.html +++ b/site/tags/page frame number database.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: page frame number database

      -
      diff --git a/site/tags/page replacement.html b/site/tags/page replacement.html index 9359aaaab..9692c1e2c 100644 --- a/site/tags/page replacement.html +++ b/site/tags/page replacement.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: page replacement

      -
      diff --git a/site/tags/page table.html b/site/tags/page table.html index 253feec43..a24c5cdf6 100644 --- a/site/tags/page table.html +++ b/site/tags/page table.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: page table

      -
      diff --git a/site/tags/paging.html b/site/tags/paging.html index 9c3a3c28e..f2c7c4b9c 100644 --- a/site/tags/paging.html +++ b/site/tags/paging.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

      Tag: paging

      -
      diff --git a/site/tags/paper.html b/site/tags/paper.html index 78d9c93b6..1a71204fe 100644 --- a/site/tags/paper.html +++ b/site/tags/paper.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@
    diff --git a/site/tags/parallel processing.html b/site/tags/parallel processing.html index 40d1325aa..bbdd25e02 100644 --- a/site/tags/parallel processing.html +++ b/site/tags/parallel processing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: parallel processing

    -
    diff --git a/site/tags/parallel resistors.html b/site/tags/parallel resistors.html index d01e4b2a6..c351136b1 100644 --- a/site/tags/parallel resistors.html +++ b/site/tags/parallel resistors.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: parallel resistors

    -
    diff --git a/site/tags/partitioning.html b/site/tags/partitioning.html index 1c3d1278f..cb52ec838 100644 --- a/site/tags/partitioning.html +++ b/site/tags/partitioning.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: partitioning

    -
    diff --git a/site/tags/paxos.html b/site/tags/paxos.html index 0f6aac71c..d66f8937a 100644 --- a/site/tags/paxos.html +++ b/site/tags/paxos.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: paxos

    -
    diff --git a/site/tags/pci bus.html b/site/tags/pci bus.html index c05725a0b..40d1dbf91 100644 --- a/site/tags/pci bus.html +++ b/site/tags/pci bus.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: pci bus

    -
    diff --git a/site/tags/performance analysis.html b/site/tags/performance analysis.html index f3a24bf75..09b687f20 100644 --- a/site/tags/performance analysis.html +++ b/site/tags/performance analysis.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: performance analysis

    -
    diff --git a/site/tags/performance metrics.html b/site/tags/performance metrics.html index 3f87f462a..635e1e522 100644 --- a/site/tags/performance metrics.html +++ b/site/tags/performance metrics.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: performance metrics

    -
    diff --git a/site/tags/performance optimization.html b/site/tags/performance optimization.html index f98f9d876..6303388f1 100644 --- a/site/tags/performance optimization.html +++ b/site/tags/performance optimization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: performance optimization

    -
    diff --git a/site/tags/performance.html b/site/tags/performance.html index 872b52dc7..53db19175 100644 --- a/site/tags/performance.html +++ b/site/tags/performance.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: performance

    -
    diff --git a/site/tags/persistence.html b/site/tags/persistence.html index c10a15083..b140d8497 100644 --- a/site/tags/persistence.html +++ b/site/tags/persistence.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: persistence

    -
    diff --git a/site/tags/persistent storage.html b/site/tags/persistent storage.html index 90daad1dd..a9d9b6e08 100644 --- a/site/tags/persistent storage.html +++ b/site/tags/persistent storage.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: persistent storage

    -
    diff --git a/site/tags/phasors.html b/site/tags/phasors.html index edc321ff8..621fbabce 100644 --- a/site/tags/phasors.html +++ b/site/tags/phasors.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: phasors

    -
    diff --git a/site/tags/physical clocks.html b/site/tags/physical clocks.html index d18e1eced..78fba5f5f 100644 --- a/site/tags/physical clocks.html +++ b/site/tags/physical clocks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: physical clocks

    -
    diff --git a/site/tags/pigeonhole principle.html b/site/tags/pigeonhole principle.html index 1f2356b2a..1f10de6d5 100644 --- a/site/tags/pigeonhole principle.html +++ b/site/tags/pigeonhole principle.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: pigeonhole principle

    -
    diff --git a/site/tags/ping.html b/site/tags/ping.html index 80110e7be..16b82dddc 100644 --- a/site/tags/ping.html +++ b/site/tags/ping.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: ping

    -
    diff --git a/site/tags/pipe operator.html b/site/tags/pipe operator.html index 405452206..92c5020f3 100644 --- a/site/tags/pipe operator.html +++ b/site/tags/pipe operator.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: pipe operator

    -
    diff --git a/site/tags/point-to-point protocol.html b/site/tags/point-to-point protocol.html index 2feea75e1..2f0570fe7 100644 --- a/site/tags/point-to-point protocol.html +++ b/site/tags/point-to-point protocol.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: point-to-point protocol

    -
    diff --git a/site/tags/pointers.html b/site/tags/pointers.html index 2baa201a4..793ff03a0 100644 --- a/site/tags/pointers.html +++ b/site/tags/pointers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: pointers

    -
    diff --git a/site/tags/power dissipation.html b/site/tags/power dissipation.html index 10892adbd..e2be2a524 100644 --- a/site/tags/power dissipation.html +++ b/site/tags/power dissipation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: power dissipation

    -
    diff --git a/site/tags/power.html b/site/tags/power.html index c5ccb88a4..908c1354b 100644 --- a/site/tags/power.html +++ b/site/tags/power.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: power

    -
    diff --git a/site/tags/ppp.html b/site/tags/ppp.html index 65647ab9f..87a8495be 100644 --- a/site/tags/ppp.html +++ b/site/tags/ppp.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: ppp

    -
    diff --git a/site/tags/precision.html b/site/tags/precision.html index c6420b0cc..293baf190 100644 --- a/site/tags/precision.html +++ b/site/tags/precision.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: precision

    -
    diff --git a/site/tags/prefix sum.html b/site/tags/prefix sum.html index 6414a79ef..3885c470e 100644 --- a/site/tags/prefix sum.html +++ b/site/tags/prefix sum.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: prefix sum

    -
    diff --git a/site/tags/primary backup.html b/site/tags/primary backup.html index 9cf190225..75adec5e4 100644 --- a/site/tags/primary backup.html +++ b/site/tags/primary backup.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: primary backup

    -
    diff --git a/site/tags/printf debugging.html b/site/tags/printf debugging.html index 47c13485d..538f5d8fc 100644 --- a/site/tags/printf debugging.html +++ b/site/tags/printf debugging.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: printf debugging

    -
    diff --git a/site/tags/privileged mode.html b/site/tags/privileged mode.html index 9b100d8af..eeb8d670e 100644 --- a/site/tags/privileged mode.html +++ b/site/tags/privileged mode.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: privileged mode

    -
    diff --git a/site/tags/probability.html b/site/tags/probability.html index 7aecad138..494b47af0 100644 --- a/site/tags/probability.html +++ b/site/tags/probability.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: probability

    -
    diff --git a/site/tags/process abstraction.html b/site/tags/process abstraction.html index 5d8b7a834..5b78e1629 100644 --- a/site/tags/process abstraction.html +++ b/site/tags/process abstraction.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: process abstraction

    -
    diff --git a/site/tags/process control block.html b/site/tags/process control block.html index 311855505..312829f81 100644 --- a/site/tags/process control block.html +++ b/site/tags/process control block.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: process control block

    -
    diff --git a/site/tags/process creation.html b/site/tags/process creation.html index 4ed859aa1..ce6b96cb1 100644 --- a/site/tags/process creation.html +++ b/site/tags/process creation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: process creation

    -
    diff --git a/site/tags/process management.html b/site/tags/process management.html index c79908063..a4203f9e9 100644 --- a/site/tags/process management.html +++ b/site/tags/process management.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: process management

    -
    diff --git a/site/tags/process operations.html b/site/tags/process operations.html index d60768a15..5348d8b2e 100644 --- a/site/tags/process operations.html +++ b/site/tags/process operations.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: process operations

    -
    diff --git a/site/tags/process synchronization.html b/site/tags/process synchronization.html index 4600a527b..76af36267 100644 --- a/site/tags/process synchronization.html +++ b/site/tags/process synchronization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: process synchronization

    -
    diff --git a/site/tags/processes.html b/site/tags/processes.html index eaacc918c..bd93fc837 100644 --- a/site/tags/processes.html +++ b/site/tags/processes.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: processes

    -
    diff --git a/site/tags/processor consistency.html b/site/tags/processor consistency.html index 7c91b1fdb..32200aa6c 100644 --- a/site/tags/processor consistency.html +++ b/site/tags/processor consistency.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: processor consistency

    -
    diff --git a/site/tags/program analysis.html b/site/tags/program analysis.html new file mode 100644 index 000000000..0e756d2a8 --- /dev/null +++ b/site/tags/program analysis.html @@ -0,0 +1,300 @@ + + + + + + + Tag: program analysis | Elijah's Notes + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
    + + +
    +
    +
    +

    Tag: program analysis

    +
    + +
    +
    +

    Tag: program analysis

    + +
    +
    +
    +
    +

    2025, authored by Elijah Melton.

    +
    + + \ No newline at end of file diff --git a/site/tags/programmed i/o.html b/site/tags/programmed i/o.html index b523ad72e..3b59b29de 100644 --- a/site/tags/programmed i/o.html +++ b/site/tags/programmed i/o.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: programmed i/o

    -
    diff --git a/site/tags/programming interface.html b/site/tags/programming interface.html index 9b9bee3d0..8682b568f 100644 --- a/site/tags/programming interface.html +++ b/site/tags/programming interface.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: programming interface

    -
    diff --git a/site/tags/programming languages for hardware.html b/site/tags/programming languages for hardware.html index 97cf6c8a5..320d660a0 100644 --- a/site/tags/programming languages for hardware.html +++ b/site/tags/programming languages for hardware.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: programming languages for hardware

    -
    diff --git a/site/tags/proof by contradiction.html b/site/tags/proof by contradiction.html index f497291cb..0d9ed14bd 100644 --- a/site/tags/proof by contradiction.html +++ b/site/tags/proof by contradiction.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: proof by contradiction

    -
    diff --git a/site/tags/proof techniques.html b/site/tags/proof techniques.html index 15f37967f..f7c92e9ea 100644 --- a/site/tags/proof techniques.html +++ b/site/tags/proof techniques.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: proof techniques

    -
    diff --git a/site/tags/proofs.html b/site/tags/proofs.html index 1569347e0..cdec2ada0 100644 --- a/site/tags/proofs.html +++ b/site/tags/proofs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: proofs

    -
    diff --git a/site/tags/proxy servers.html b/site/tags/proxy servers.html index 6008bbd5b..536da6d56 100644 --- a/site/tags/proxy servers.html +++ b/site/tags/proxy servers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: proxy servers

    -
    diff --git a/site/tags/python.html b/site/tags/python.html index 687b3f185..160e14857 100644 --- a/site/tags/python.html +++ b/site/tags/python.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: python

    -
    diff --git a/site/tags/quality of service.html b/site/tags/quality of service.html index 192e34531..09ab24432 100644 --- a/site/tags/quality of service.html +++ b/site/tags/quality of service.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: quality of service

    -
    diff --git a/site/tags/quartus.html b/site/tags/quartus.html index a18f9e81a..ba5d22736 100644 --- a/site/tags/quartus.html +++ b/site/tags/quartus.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: quartus

    -
    diff --git a/site/tags/query languages.html b/site/tags/query languages.html index c50d7b857..7bf4ede39 100644 --- a/site/tags/query languages.html +++ b/site/tags/query languages.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: query languages

    -
    diff --git a/site/tags/queueing theory.html b/site/tags/queueing theory.html index d396174f9..b21057120 100644 --- a/site/tags/queueing theory.html +++ b/site/tags/queueing theory.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: queueing theory

    -
    diff --git a/site/tags/queueing.html b/site/tags/queueing.html index 4b1e5de48..7c5c9d6a9 100644 --- a/site/tags/queueing.html +++ b/site/tags/queueing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: queueing

    -
    diff --git a/site/tags/quick start.html b/site/tags/quick start.html index 3d7aebaa2..600aa287f 100644 --- a/site/tags/quick start.html +++ b/site/tags/quick start.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: quick start

    -
    diff --git a/site/tags/recall.html b/site/tags/recall.html index b86477467..d7c50d52c 100644 --- a/site/tags/recall.html +++ b/site/tags/recall.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: recall

    -
    diff --git a/site/tags/records.html b/site/tags/records.html index ea87ee29c..14a793243 100644 --- a/site/tags/records.html +++ b/site/tags/records.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: records

    -
    diff --git a/site/tags/recursive algorithms.html b/site/tags/recursive algorithms.html index 639991b85..4071bb73b 100644 --- a/site/tags/recursive algorithms.html +++ b/site/tags/recursive algorithms.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: recursive algorithms

    -
    diff --git a/site/tags/redundancy.html b/site/tags/redundancy.html index 3a0dda5de..8c2ed4b28 100644 --- a/site/tags/redundancy.html +++ b/site/tags/redundancy.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: redundancy

    -
    diff --git a/site/tags/reference counts.html b/site/tags/reference counts.html index 44741e074..a536dd132 100644 --- a/site/tags/reference counts.html +++ b/site/tags/reference counts.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: reference counts

    -
    diff --git a/site/tags/regex.html b/site/tags/regex.html index 5f599f8c0..734c1a7f0 100644 --- a/site/tags/regex.html +++ b/site/tags/regex.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: regex

    -
    diff --git a/site/tags/relational databases.html b/site/tags/relational databases.html index 879bf01ef..e357550d6 100644 --- a/site/tags/relational databases.html +++ b/site/tags/relational databases.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: relational databases

    -
    diff --git a/site/tags/reliability.html b/site/tags/reliability.html index 81173e55f..f13ce0327 100644 --- a/site/tags/reliability.html +++ b/site/tags/reliability.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: reliability

    -
    diff --git a/site/tags/replication logs.html b/site/tags/replication logs.html index a5224bbc6..e4d0ee13c 100644 --- a/site/tags/replication logs.html +++ b/site/tags/replication logs.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: replication logs

    -
    diff --git a/site/tags/research.html b/site/tags/research.html index 495e49927..cd668cfc9 100644 --- a/site/tags/research.html +++ b/site/tags/research.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@ diff --git a/site/tags/resistance.html b/site/tags/resistance.html index a6e78da6e..4f18653f1 100644 --- a/site/tags/resistance.html +++ b/site/tags/resistance.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: resistance

    -
    diff --git a/site/tags/resistor.html b/site/tags/resistor.html index 40750c3c0..d20ba69e5 100644 --- a/site/tags/resistor.html +++ b/site/tags/resistor.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: resistor

    -
    diff --git a/site/tags/resource management.html b/site/tags/resource management.html index 254dba8be..b331189a0 100644 --- a/site/tags/resource management.html +++ b/site/tags/resource management.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: resource management

    -
    diff --git a/site/tags/rest repositories.html b/site/tags/rest repositories.html index f12511a6d..74670caa8 100644 --- a/site/tags/rest repositories.html +++ b/site/tags/rest repositories.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: rest repositories

    -
    diff --git a/site/tags/review.html b/site/tags/review.html index 483a668a8..f06801982 100644 --- a/site/tags/review.html +++ b/site/tags/review.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@
diff --git a/site/tags/rom.html b/site/tags/rom.html index 4cd67ff98..1e56ecd0d 100644 --- a/site/tags/rom.html +++ b/site/tags/rom.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: rom

-
diff --git a/site/tags/root finding.html b/site/tags/root finding.html index 4759e0c18..6bd3a90ca 100644 --- a/site/tags/root finding.html +++ b/site/tags/root finding.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: root finding

-
diff --git a/site/tags/routing protocols.html b/site/tags/routing protocols.html index 9feaafe3a..63f36595b 100644 --- a/site/tags/routing protocols.html +++ b/site/tags/routing protocols.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: routing protocols

-
diff --git a/site/tags/routing table.html b/site/tags/routing table.html index 9b53844a8..c29a3ebf2 100644 --- a/site/tags/routing table.html +++ b/site/tags/routing table.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: routing table

-
diff --git a/site/tags/routing.html b/site/tags/routing.html index ea4fceced..68f2f742c 100644 --- a/site/tags/routing.html +++ b/site/tags/routing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: routing

-
diff --git a/site/tags/rtlzeromemory.html b/site/tags/rtlzeromemory.html index 12ff453bc..7c7a90fcf 100644 --- a/site/tags/rtlzeromemory.html +++ b/site/tags/rtlzeromemory.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: rtlzeromemory

-
diff --git a/site/tags/rts/cts.html b/site/tags/rts/cts.html index 1ff9877c4..63d620f24 100644 --- a/site/tags/rts/cts.html +++ b/site/tags/rts/cts.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: rts/cts

-
diff --git a/site/tags/rtt.html b/site/tags/rtt.html index 8ed5e82d1..d9eee921d 100644 --- a/site/tags/rtt.html +++ b/site/tags/rtt.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: rtt

-
diff --git a/site/tags/rz.html b/site/tags/rz.html index 38064580a..def5b1245 100644 --- a/site/tags/rz.html +++ b/site/tags/rz.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: rz

-
diff --git a/site/tags/sbrk.html b/site/tags/sbrk.html index 89998ed04..cf725c943 100644 --- a/site/tags/sbrk.html +++ b/site/tags/sbrk.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: sbrk

-
diff --git a/site/tags/scalability.html b/site/tags/scalability.html index 4382e06ee..52fedb897 100644 --- a/site/tags/scalability.html +++ b/site/tags/scalability.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: scalability

-
diff --git a/site/tags/scalable distributed systems.html b/site/tags/scalable distributed systems.html index 9607a50b9..0f315b602 100644 --- a/site/tags/scalable distributed systems.html +++ b/site/tags/scalable distributed systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: scalable distributed systems

-
diff --git a/site/tags/scaling.html b/site/tags/scaling.html index 8d2f9e781..8e4140cc9 100644 --- a/site/tags/scaling.html +++ b/site/tags/scaling.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: scaling

-
diff --git a/site/tags/scheduling.html b/site/tags/scheduling.html index 249aaf473..0b73003c3 100644 --- a/site/tags/scheduling.html +++ b/site/tags/scheduling.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: scheduling

-
diff --git a/site/tags/schema evolution.html b/site/tags/schema evolution.html index ae1d63cba..82b750e9c 100644 --- a/site/tags/schema evolution.html +++ b/site/tags/schema evolution.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: schema evolution

-
diff --git a/site/tags/scrambling.html b/site/tags/scrambling.html index c3ef901f5..c9935af13 100644 --- a/site/tags/scrambling.html +++ b/site/tags/scrambling.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: scrambling

-
diff --git a/site/tags/secondary storage.html b/site/tags/secondary storage.html index 2762fe696..10741a077 100644 --- a/site/tags/secondary storage.html +++ b/site/tags/secondary storage.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: secondary storage

-
diff --git a/site/tags/segmentation.html b/site/tags/segmentation.html index b720dfbf2..d083e59d4 100644 --- a/site/tags/segmentation.html +++ b/site/tags/segmentation.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: segmentation

-
diff --git a/site/tags/sensing.html b/site/tags/sensing.html index abbb4ae12..f5fa65404 100644 --- a/site/tags/sensing.html +++ b/site/tags/sensing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: sensing

-
diff --git a/site/tags/sequence numbers.html b/site/tags/sequence numbers.html index b26fde2e8..1174acf49 100644 --- a/site/tags/sequence numbers.html +++ b/site/tags/sequence numbers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: sequence numbers

-
diff --git a/site/tags/sequential consistency.html b/site/tags/sequential consistency.html index 4f69922fb..c34160c0d 100644 --- a/site/tags/sequential consistency.html +++ b/site/tags/sequential consistency.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: sequential consistency

-
diff --git a/site/tags/sequential logic.html b/site/tags/sequential logic.html index d6505a1f7..a6410023b 100644 --- a/site/tags/sequential logic.html +++ b/site/tags/sequential logic.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: sequential logic

-
diff --git a/site/tags/series resistors.html b/site/tags/series resistors.html index b7ae97769..fc0e89c32 100644 --- a/site/tags/series resistors.html +++ b/site/tags/series resistors.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: series resistors

-
diff --git a/site/tags/service oriented architecture.html b/site/tags/service oriented architecture.html index 22a5af2f0..7ce2c7735 100644 --- a/site/tags/service oriented architecture.html +++ b/site/tags/service oriented architecture.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: service oriented architecture

-
diff --git a/site/tags/service providers.html b/site/tags/service providers.html index 36bdb12de..60d4589f6 100644 --- a/site/tags/service providers.html +++ b/site/tags/service providers.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: service providers

-
diff --git a/site/tags/services.html b/site/tags/services.html index 6d76ec2e8..b26d5a991 100644 --- a/site/tags/services.html +++ b/site/tags/services.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: services

-
diff --git a/site/tags/set cover.html b/site/tags/set cover.html index 25e87c2ac..081eda485 100644 --- a/site/tags/set cover.html +++ b/site/tags/set cover.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: set cover

-
diff --git a/site/tags/shannon capacity.html b/site/tags/shannon capacity.html index 5a9dbf273..7f0129034 100644 --- a/site/tags/shannon capacity.html +++ b/site/tags/shannon capacity.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: shannon capacity

-
diff --git a/site/tags/sharding.html b/site/tags/sharding.html index cfa5d97d1..84d06ae9e 100644 --- a/site/tags/sharding.html +++ b/site/tags/sharding.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: sharding

-
diff --git a/site/tags/shared disk architecture.html b/site/tags/shared disk architecture.html index 6b39b168d..575c4ce48 100644 --- a/site/tags/shared disk architecture.html +++ b/site/tags/shared disk architecture.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: shared disk architecture

-
diff --git a/site/tags/shared memory architecture.html b/site/tags/shared memory architecture.html index bfa84d6ed..dbabe1ebc 100644 --- a/site/tags/shared memory architecture.html +++ b/site/tags/shared memory architecture.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: shared memory architecture

-
diff --git a/site/tags/shell.html b/site/tags/shell.html index 37d24d0e5..b7937588c 100644 --- a/site/tags/shell.html +++ b/site/tags/shell.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: shell

-
diff --git a/site/tags/shortest path.html b/site/tags/shortest path.html index c9d51eb8d..5db93260f 100644 --- a/site/tags/shortest path.html +++ b/site/tags/shortest path.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: shortest path

-
diff --git a/site/tags/shortest paths.html b/site/tags/shortest paths.html index d3a79638c..b41567b7c 100644 --- a/site/tags/shortest paths.html +++ b/site/tags/shortest paths.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: shortest paths

-
diff --git a/site/tags/signal.html b/site/tags/signal.html index ad95ff669..4c7091c06 100644 --- a/site/tags/signal.html +++ b/site/tags/signal.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: signal

-
diff --git a/site/tags/size.html b/site/tags/size.html index 78ff92424..3cb1ea357 100644 --- a/site/tags/size.html +++ b/site/tags/size.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: size

-
diff --git a/site/tags/sliding window arq.html b/site/tags/sliding window arq.html index de4240694..a34d57b42 100644 --- a/site/tags/sliding window arq.html +++ b/site/tags/sliding window arq.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: sliding window arq

-
diff --git a/site/tags/sliding window.html b/site/tags/sliding window.html index 54011362f..62e154428 100644 --- a/site/tags/sliding window.html +++ b/site/tags/sliding window.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: sliding window

-
diff --git a/site/tags/snapshot reads.html b/site/tags/snapshot reads.html index 12169513d..a2ee300f6 100644 --- a/site/tags/snapshot reads.html +++ b/site/tags/snapshot reads.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: snapshot reads

-
diff --git a/site/tags/socket.html b/site/tags/socket.html index ce32f6a1f..d7eb4ba16 100644 --- a/site/tags/socket.html +++ b/site/tags/socket.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: socket

-
diff --git a/site/tags/software engineering.html b/site/tags/software engineering.html new file mode 100644 index 000000000..b55b60b5b --- /dev/null +++ b/site/tags/software engineering.html @@ -0,0 +1,300 @@ + + + + + + + Tag: software engineering | Elijah's Notes + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + +
+
+
+

Tag: software engineering

+
+ +
+
+

Tag: software engineering

+ +
+
+
+
+

2025, authored by Elijah Melton.

+
+ + \ No newline at end of file diff --git a/site/tags/spanning trees.html b/site/tags/spanning trees.html index 91bac9413..f2f1a6327 100644 --- a/site/tags/spanning trees.html +++ b/site/tags/spanning trees.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: spanning trees

-
diff --git a/site/tags/sparse attention.html b/site/tags/sparse attention.html index 000d1f6a8..0ca841a80 100644 --- a/site/tags/sparse attention.html +++ b/site/tags/sparse attention.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: sparse attention

-
diff --git a/site/tags/split brain.html b/site/tags/split brain.html index dee279065..3cde1ab7a 100644 --- a/site/tags/split brain.html +++ b/site/tags/split brain.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: split brain

-
diff --git a/site/tags/spring boot.html b/site/tags/spring boot.html index 5f1950f23..8695c9037 100644 --- a/site/tags/spring boot.html +++ b/site/tags/spring boot.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: spring boot

-
diff --git a/site/tags/spring web.html b/site/tags/spring web.html index 39b268398..7ad4a76f7 100644 --- a/site/tags/spring web.html +++ b/site/tags/spring web.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: spring web

-
diff --git a/site/tags/spring-boot.html b/site/tags/spring-boot.html index 72295b0e8..486a4b5d0 100644 --- a/site/tags/spring-boot.html +++ b/site/tags/spring-boot.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: spring-boot

-
diff --git a/site/tags/stable matching.html b/site/tags/stable matching.html index 1b3109f7c..32cdb09ed 100644 --- a/site/tags/stable matching.html +++ b/site/tags/stable matching.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: stable matching

-
diff --git a/site/tags/standby.html b/site/tags/standby.html index 16bdd9116..bc082c5d0 100644 --- a/site/tags/standby.html +++ b/site/tags/standby.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: standby

-
diff --git a/site/tags/state machine replication.html b/site/tags/state machine replication.html index 25d528a28..4a917e5fb 100644 --- a/site/tags/state machine replication.html +++ b/site/tags/state machine replication.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: state machine replication

-
diff --git a/site/tags/state pattern.html b/site/tags/state pattern.html index af5651093..82de9ac7f 100644 --- a/site/tags/state pattern.html +++ b/site/tags/state pattern.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: state pattern

-
diff --git a/site/tags/state queues.html b/site/tags/state queues.html index 49b0782b6..ec43f08e5 100644 --- a/site/tags/state queues.html +++ b/site/tags/state queues.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: state queues

-
diff --git a/site/tags/static web pages.html b/site/tags/static web pages.html index 3b43c5e18..a4d53178f 100644 --- a/site/tags/static web pages.html +++ b/site/tags/static web pages.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: static web pages

-
diff --git a/site/tags/static.html b/site/tags/static.html index dea4dca8e..b4b2e6d00 100644 --- a/site/tags/static.html +++ b/site/tags/static.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: static

-
diff --git a/site/tags/stop-and-wait arq.html b/site/tags/stop-and-wait arq.html index 133b12329..49d10c393 100644 --- a/site/tags/stop-and-wait arq.html +++ b/site/tags/stop-and-wait arq.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: stop-and-wait arq

-
diff --git a/site/tags/storage infrastructure.html b/site/tags/storage infrastructure.html index 5cf691d1a..d15be2dee 100644 --- a/site/tags/storage infrastructure.html +++ b/site/tags/storage infrastructure.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: storage infrastructure

-
diff --git a/site/tags/storage.html b/site/tags/storage.html index 2c171a3c4..973f80888 100644 --- a/site/tags/storage.html +++ b/site/tags/storage.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: storage

-
diff --git a/site/tags/store-and-forward packet switching.html b/site/tags/store-and-forward packet switching.html index 8f81c83d3..32e40f6df 100644 --- a/site/tags/store-and-forward packet switching.html +++ b/site/tags/store-and-forward packet switching.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: store-and-forward packet switching

-
diff --git a/site/tags/streaming algorithms.html b/site/tags/streaming algorithms.html index e957a0e6e..be0a5419b 100644 --- a/site/tags/streaming algorithms.html +++ b/site/tags/streaming algorithms.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: streaming algorithms

-
diff --git a/site/tags/streams.html b/site/tags/streams.html index d6ec23837..823b4ac28 100644 --- a/site/tags/streams.html +++ b/site/tags/streams.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: streams

-
diff --git a/site/tags/stub as.html b/site/tags/stub as.html index f6f340c7f..88fdcbdc0 100644 --- a/site/tags/stub as.html +++ b/site/tags/stub as.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: stub as

-
diff --git a/site/tags/suffix sum.html b/site/tags/suffix sum.html index 76f45cfec..bfedc7162 100644 --- a/site/tags/suffix sum.html +++ b/site/tags/suffix sum.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: suffix sum

-
diff --git a/site/tags/switching.html b/site/tags/switching.html index 1ef8aa2bc..7d3e20f44 100644 --- a/site/tags/switching.html +++ b/site/tags/switching.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: switching

-
diff --git a/site/tags/symbolic execution.html b/site/tags/symbolic execution.html new file mode 100644 index 000000000..c7b68c73f --- /dev/null +++ b/site/tags/symbolic execution.html @@ -0,0 +1,300 @@ + + + + + + + Tag: symbolic execution | Elijah's Notes + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + +
+
+
+

Tag: symbolic execution

+
+ +
+
+

Tag: symbolic execution

+ +
+
+
+
+

2025, authored by Elijah Melton.

+
+ + \ No newline at end of file diff --git a/site/tags/synchronous vs asynchronous.html b/site/tags/synchronous vs asynchronous.html index 561f78644..5530381ea 100644 --- a/site/tags/synchronous vs asynchronous.html +++ b/site/tags/synchronous vs asynchronous.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: synchronous vs asynchronous

-
diff --git a/site/tags/syscall.html b/site/tags/syscall.html index 409a2a9ac..67f00b757 100644 --- a/site/tags/syscall.html +++ b/site/tags/syscall.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: syscall

-
diff --git a/site/tags/system bus.html b/site/tags/system bus.html index f5bbea21b..978f48147 100644 --- a/site/tags/system bus.html +++ b/site/tags/system bus.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: system bus

-
diff --git a/site/tags/system calls.html b/site/tags/system calls.html index acd9d8ab1..1afee92b9 100644 --- a/site/tags/system calls.html +++ b/site/tags/system calls.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: system calls

-
diff --git a/site/tags/system design.html b/site/tags/system design.html index 68991dcc1..9b2302e97 100644 --- a/site/tags/system design.html +++ b/site/tags/system design.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: system design

-
diff --git a/site/tags/system programming.html b/site/tags/system programming.html index 793d761c4..3375ef5de 100644 --- a/site/tags/system programming.html +++ b/site/tags/system programming.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: system programming

-
diff --git a/site/tags/system-verilog.html b/site/tags/system-verilog.html index d5c3b316f..0225a9cba 100644 --- a/site/tags/system-verilog.html +++ b/site/tags/system-verilog.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: system-verilog

-
diff --git a/site/tags/systems approach.html b/site/tags/systems approach.html index a9c191014..741d103a1 100644 --- a/site/tags/systems approach.html +++ b/site/tags/systems approach.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: systems approach

-
diff --git a/site/tags/systems.html b/site/tags/systems.html index a95dd7ab8..8176c2a39 100644 --- a/site/tags/systems.html +++ b/site/tags/systems.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

Tag: systems

-
@@ -292,6 +292,7 @@

Tag: systems

  • Design Philosophy of DARPA Internet Protocols
  • Development of the Domain Name System
  • Hints for Computer System Design
  • +
  • Klee Paper Review
  • Queueing Theory
  • The Multikernel, A new OS architecture for scalable multicore systems
  • The Unix Timesharing System
  • diff --git a/site/tags/tcp.html b/site/tags/tcp.html index 92fbb5f49..d89aef28c 100644 --- a/site/tags/tcp.html +++ b/site/tags/tcp.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: tcp

    -
    diff --git a/site/tags/template.html b/site/tags/template.html index 585d0e75b..d25ed7876 100644 --- a/site/tags/template.html +++ b/site/tags/template.html @@ -27,7 +27,7 @@ @@ -282,15 +282,14 @@ diff --git a/site/tags/tensor products.html b/site/tags/tensor products.html index 40869f1f7..41de93a7b 100644 --- a/site/tags/tensor products.html +++ b/site/tags/tensor products.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: tensor products

    -
    diff --git a/site/tags/testing process.html b/site/tags/testing process.html index edcecfddc..beb3f2d86 100644 --- a/site/tags/testing process.html +++ b/site/tags/testing process.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: testing process

    -
    diff --git a/site/tags/testing.html b/site/tags/testing.html new file mode 100644 index 000000000..932529201 --- /dev/null +++ b/site/tags/testing.html @@ -0,0 +1,300 @@ + + + + + + + Tag: testing | Elijah's Notes + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
    + + +
    +
    +
    +

    Tag: testing

    +
    + +
    +
    +

    Tag: testing

    + +
    +
    +
    +
    +

    2025, authored by Elijah Melton.

    +
    + + \ No newline at end of file diff --git a/site/tags/text classification.html b/site/tags/text classification.html index 128a13792..29b79382c 100644 --- a/site/tags/text classification.html +++ b/site/tags/text classification.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: text classification

    -
    diff --git a/site/tags/textbook.html b/site/tags/textbook.html index 9ef950d06..8f3c27f82 100644 --- a/site/tags/textbook.html +++ b/site/tags/textbook.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: textbook

    -
    diff --git a/site/tags/tf-idf.html b/site/tags/tf-idf.html index a8fd8c8c2..f064a0837 100644 --- a/site/tags/tf-idf.html +++ b/site/tags/tf-idf.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: tf-idf

    -
    diff --git a/site/tags/thevenin's theorem.html b/site/tags/thevenin's theorem.html index 4261c5839..0be410a78 100644 --- a/site/tags/thevenin's theorem.html +++ b/site/tags/thevenin's theorem.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: thevenin's theorem

    -
    diff --git a/site/tags/thread-safe.html b/site/tags/thread-safe.html index 9bcce7b22..6c2d0bea1 100644 --- a/site/tags/thread-safe.html +++ b/site/tags/thread-safe.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: thread-safe

    -
    diff --git a/site/tags/threads.html b/site/tags/threads.html index c360e0ab7..f349c84e1 100644 --- a/site/tags/threads.html +++ b/site/tags/threads.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: threads

    -
    diff --git a/site/tags/three-way handshake.html b/site/tags/three-way handshake.html index 94a6dea9c..89be20823 100644 --- a/site/tags/three-way handshake.html +++ b/site/tags/three-way handshake.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: three-way handshake

    -
    diff --git a/site/tags/time complexity.html b/site/tags/time complexity.html index 4859b3e37..5124d6ff2 100644 --- a/site/tags/time complexity.html +++ b/site/tags/time complexity.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: time complexity

    -
    diff --git a/site/tags/time division multiplexing.html b/site/tags/time division multiplexing.html index bd2be37dc..e1c5b71b3 100644 --- a/site/tags/time division multiplexing.html +++ b/site/tags/time division multiplexing.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: time division multiplexing

    -
    diff --git a/site/tags/time_wait state.html b/site/tags/time_wait state.html index a142020c0..e7249761c 100644 --- a/site/tags/time_wait state.html +++ b/site/tags/time_wait state.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: time_wait state

    -
    diff --git a/site/tags/timeouts.html b/site/tags/timeouts.html index 3896f5db6..cc5511819 100644 --- a/site/tags/timeouts.html +++ b/site/tags/timeouts.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: timeouts

    -
    diff --git a/site/tags/tokenization.html b/site/tags/tokenization.html index 862d0bd5e..c54db679c 100644 --- a/site/tags/tokenization.html +++ b/site/tags/tokenization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: tokenization

    -
    diff --git a/site/tags/top-level domain.html b/site/tags/top-level domain.html index 51450e15d..4a5ef72b4 100644 --- a/site/tags/top-level domain.html +++ b/site/tags/top-level domain.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: top-level domain

    -
    diff --git a/site/tags/topological sort.html b/site/tags/topological sort.html index 777c83334..2bf210f0c 100644 --- a/site/tags/topological sort.html +++ b/site/tags/topological sort.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: topological sort

    -
    diff --git a/site/tags/topological sorting.html b/site/tags/topological sorting.html index 2d61f2f91..4c975d4ec 100644 --- a/site/tags/topological sorting.html +++ b/site/tags/topological sorting.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: topological sorting

    -
    diff --git a/site/tags/tr.html b/site/tags/tr.html index 3773e22cb..2b78a29d2 100644 --- a/site/tags/tr.html +++ b/site/tags/tr.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: tr

    -
    diff --git a/site/tags/traceroute.html b/site/tags/traceroute.html index 46743e296..2eb4c7fbb 100644 --- a/site/tags/traceroute.html +++ b/site/tags/traceroute.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: traceroute

    -
    diff --git a/site/tags/transformer.html b/site/tags/transformer.html index 4a458933d..23701ccfc 100644 --- a/site/tags/transformer.html +++ b/site/tags/transformer.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: transformer

    -
    diff --git a/site/tags/transistors.html b/site/tags/transistors.html index d574f468b..bd2959098 100644 --- a/site/tags/transistors.html +++ b/site/tags/transistors.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: transistors

    -
    diff --git a/site/tags/transit as.html b/site/tags/transit as.html index 2fef1a6ac..f904cc135 100644 --- a/site/tags/transit as.html +++ b/site/tags/transit as.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: transit as

    -
    diff --git a/site/tags/transit traffic.html b/site/tags/transit traffic.html index 86194a19c..8852097d3 100644 --- a/site/tags/transit traffic.html +++ b/site/tags/transit traffic.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: transit traffic

    -
    diff --git a/site/tags/transition.html b/site/tags/transition.html index 885544646..740ad550a 100644 --- a/site/tags/transition.html +++ b/site/tags/transition.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: transition

    -
    diff --git a/site/tags/transport layer.html b/site/tags/transport layer.html index 1bb3b67f5..975519eca 100644 --- a/site/tags/transport layer.html +++ b/site/tags/transport layer.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: transport layer

    -
    diff --git a/site/tags/trees.html b/site/tags/trees.html index 9084b3d34..52a64282f 100644 --- a/site/tags/trees.html +++ b/site/tags/trees.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: trees

    -
    diff --git a/site/tags/truth tables.html b/site/tags/truth tables.html index 15c63e609..261c6f178 100644 --- a/site/tags/truth tables.html +++ b/site/tags/truth tables.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: truth tables

    -
    diff --git a/site/tags/ttl.html b/site/tags/ttl.html index d5f33bd72..bcb6a399a 100644 --- a/site/tags/ttl.html +++ b/site/tags/ttl.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: ttl

    -
    diff --git a/site/tags/twisted pair.html b/site/tags/twisted pair.html index 51f95f998..febad209e 100644 --- a/site/tags/twisted pair.html +++ b/site/tags/twisted pair.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: twisted pair

    -
    diff --git a/site/tags/two-phase commit.html b/site/tags/two-phase commit.html index ea53855ca..3aa3f34e7 100644 --- a/site/tags/two-phase commit.html +++ b/site/tags/two-phase commit.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: two-phase commit

    -
    diff --git a/site/tags/two-tier architecture.html b/site/tags/two-tier architecture.html index 5fb858694..810a0f048 100644 --- a/site/tags/two-tier architecture.html +++ b/site/tags/two-tier architecture.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: two-tier architecture

    -
    diff --git a/site/tags/udp.html b/site/tags/udp.html index 19dce01ca..d660e7ea8 100644 --- a/site/tags/udp.html +++ b/site/tags/udp.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: udp

    -
    diff --git a/site/tags/uniprocessor scheduling.html b/site/tags/uniprocessor scheduling.html index a19232e8c..c7112a174 100644 --- a/site/tags/uniprocessor scheduling.html +++ b/site/tags/uniprocessor scheduling.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: uniprocessor scheduling

    -
    diff --git a/site/tags/unix.html b/site/tags/unix.html index 7193dec26..5528afcc5 100644 --- a/site/tags/unix.html +++ b/site/tags/unix.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: unix

    -
    diff --git a/site/tags/user mode.html b/site/tags/user mode.html index 752664a27..432fa9832 100644 --- a/site/tags/user mode.html +++ b/site/tags/user mode.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: user mode

    -
    diff --git a/site/tags/vector clocks.html b/site/tags/vector clocks.html index fdc3a489b..f1ea08587 100644 --- a/site/tags/vector clocks.html +++ b/site/tags/vector clocks.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: vector clocks

    -
    diff --git a/site/tags/vector spaces.html b/site/tags/vector spaces.html index cfa3701e7..584bdf232 100644 --- a/site/tags/vector spaces.html +++ b/site/tags/vector spaces.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: vector spaces

    -
    diff --git a/site/tags/verification.html b/site/tags/verification.html new file mode 100644 index 000000000..41b18b9b2 --- /dev/null +++ b/site/tags/verification.html @@ -0,0 +1,300 @@ + + + + + + + Tag: verification | Elijah's Notes + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
    + + +
    +
    +
    +

    Tag: verification

    +
    + +
    +
    +

    Tag: verification

    + +
    +
    +
    +
    +

    2025, authored by Elijah Melton.

    +
    + + \ No newline at end of file diff --git a/site/tags/verilog.html b/site/tags/verilog.html index 71330067f..55bf4aae9 100644 --- a/site/tags/verilog.html +++ b/site/tags/verilog.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: verilog

    -
    diff --git a/site/tags/vertex cover.html b/site/tags/vertex cover.html index ea1c83afa..e6b976137 100644 --- a/site/tags/vertex cover.html +++ b/site/tags/vertex cover.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: vertex cover

    -
    diff --git a/site/tags/view service.html b/site/tags/view service.html index b6d7b78e1..ef20683c4 100644 --- a/site/tags/view service.html +++ b/site/tags/view service.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: view service

    -
    diff --git a/site/tags/virtual circuits.html b/site/tags/virtual circuits.html index f2fa4de26..a05184835 100644 --- a/site/tags/virtual circuits.html +++ b/site/tags/virtual circuits.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: virtual circuits

    -
    diff --git a/site/tags/virtual memory.html b/site/tags/virtual memory.html index 2d6807d31..f5ab3cfdc 100644 --- a/site/tags/virtual memory.html +++ b/site/tags/virtual memory.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: virtual memory

    -
    diff --git a/site/tags/virtualization.html b/site/tags/virtualization.html index 06149eb9d..8c1db425b 100644 --- a/site/tags/virtualization.html +++ b/site/tags/virtualization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: virtualization

    -
    diff --git a/site/tags/voltage source.html b/site/tags/voltage source.html index b438a54e9..84ce5b57f 100644 --- a/site/tags/voltage source.html +++ b/site/tags/voltage source.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: voltage source

    -
    diff --git a/site/tags/voltage.html b/site/tags/voltage.html index 439f12e91..f45bb0b28 100644 --- a/site/tags/voltage.html +++ b/site/tags/voltage.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: voltage

    -
    diff --git a/site/tags/watch.html b/site/tags/watch.html index d014f156f..8517c8026 100644 --- a/site/tags/watch.html +++ b/site/tags/watch.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: watch

    -
    diff --git a/site/tags/waveform diagrams.html b/site/tags/waveform diagrams.html index ada54cb87..1f06cb134 100644 --- a/site/tags/waveform diagrams.html +++ b/site/tags/waveform diagrams.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: waveform diagrams

    -
    diff --git a/site/tags/web caching.html b/site/tags/web caching.html index e9a8c38e2..eed1281f7 100644 --- a/site/tags/web caching.html +++ b/site/tags/web caching.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: web caching

    -
    diff --git a/site/tags/web pages.html b/site/tags/web pages.html index f953e6a63..6cec511fa 100644 --- a/site/tags/web pages.html +++ b/site/tags/web pages.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: web pages

    -
    diff --git a/site/tags/weight.html b/site/tags/weight.html index 209c277b0..b187fffe1 100644 --- a/site/tags/weight.html +++ b/site/tags/weight.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: weight

    -
    diff --git a/site/tags/windows optimization.html b/site/tags/windows optimization.html index 91741c346..288967895 100644 --- a/site/tags/windows optimization.html +++ b/site/tags/windows optimization.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: windows optimization

    -
    diff --git a/site/tags/windows.html b/site/tags/windows.html index 78c419cfe..5f42f2ba0 100644 --- a/site/tags/windows.html +++ b/site/tags/windows.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: windows

    -
    diff --git a/site/tags/wireless media.html b/site/tags/wireless media.html index d58893e22..de4c25b53 100644 --- a/site/tags/wireless media.html +++ b/site/tags/wireless media.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: wireless media

    -
    diff --git a/site/tags/wireless.html b/site/tags/wireless.html index dbd8c2ca4..74b15eff4 100644 --- a/site/tags/wireless.html +++ b/site/tags/wireless.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: wireless

    -
    diff --git a/site/tags/wires.html b/site/tags/wires.html index d38c9d546..e68e17444 100644 --- a/site/tags/wires.html +++ b/site/tags/wires.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: wires

    -
    diff --git a/site/tags/working set.html b/site/tags/working set.html index f9f95b74a..3fad2b53b 100644 --- a/site/tags/working set.html +++ b/site/tags/working set.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: working set

    -
    diff --git a/site/tags/xen.html b/site/tags/xen.html index 0ae5ae48e..42100d8b4 100644 --- a/site/tags/xen.html +++ b/site/tags/xen.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: xen

    -
    diff --git a/site/tags/zeroed.html b/site/tags/zeroed.html index 391f54bc9..74e97ecb8 100644 --- a/site/tags/zeroed.html +++ b/site/tags/zeroed.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: zeroed

    -
    diff --git a/site/tags/zipf distribution.html b/site/tags/zipf distribution.html index eb1ae4e9a..d1ce7cf5b 100644 --- a/site/tags/zipf distribution.html +++ b/site/tags/zipf distribution.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: zipf distribution

    -
    diff --git a/site/tags/zookeeper.html b/site/tags/zookeeper.html index d2701c219..71e7f0e15 100644 --- a/site/tags/zookeeper.html +++ b/site/tags/zookeeper.html @@ -27,7 +27,7 @@ @@ -282,7 +282,7 @@

    Tag: zookeeper

    -
    diff --git a/systems-research/klee.md b/systems-research/klee.md index d40e34ae8..d9257fcc6 100644 --- a/systems-research/klee.md +++ b/systems-research/klee.md @@ -1,43 +1,53 @@ --- -title: Paper Review Template -category: Research -tags: meta, template, research, paper, review -description: A template for reviewing research papers +title: Klee Paper Review +category: Systems +tags: klee, symbolic execution, testing, verification, systems, software engineering, correctness, program analysis +description: Review of the paper "KLEE, Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs" --- -# [source](https://example.com) - -###### Paper Title +#### [source](https://llvm.org/pubs/2008-12-OSDI-KLEE.pdf) +#### [visit](https://klee.github.io/) +###### KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs --- ### What is the Problem? +Testing large and complex programs is difficult. Writing manual tests is extremely time consuming and often still misses many edge cases. Traditional automated testing frameworks see limited success in reaching high coverage, mainly due in part to the unsemantic nature of randomization. While other symbolic execution tools exist, many are limited in their ability to handle enviornmental dependencies, such as file I/O, network I/O, and system calls, which contribute significantly to the state space of system programs. ### Summary +Klee is a symbolic execution tool that automatically explores the state space of a program by maintaining a set of constraints on symbolic inputs, and any downstream operations that are performed on those inputs. Klee transparently optimizes these constraints, while also internally managing the programs "execution" state so as to be able to "fork" at branches in the program without rerunning all previous operations. The authors used Klee to test a variety of programs, both by generating test cases with coverage reports, as a bug finding tool, and as a verification tool. ### Key Insights -- -- +- Semantic understanding of constraints not only leads to much more coverage overall as compared to random testing, but also allows for more efficient exploration of the state space, involving far fewer test cases to reach the same coverage. +- Using symbolic execution, you can determine the functional equivalence of two programs by comparing the constraints generated by each program on the same symbolic input. Furthermore, automatic bug finding can be done by checking for constraints that are unsatisfiable, which indicate a bug in the program. ### Notable Design Details/Strengths -- -- +- Implementing the execution state within the symbolic execution engine allows for efficient forking and backtracking, while also allowing for object-level copy-on-write semantics that vastly reduce overhead. +- You are able to symbolically execute enviornmental dependencies by providing a model of the enviornment to Klee, which allows for testing of programs symbolicly, similar to how you'd use mocks in unit testing. ### Limitations/Weaknesses -- -- - +- State space explosion remains a problem, and even while Klee optimizes this, it still ends up being one of the limiting factors in practice. +- Limited support for some features, e.g. floating point, dynamic memory allocation +- Compiling to LLVM Bitcode is hard (use `wllvm` for larger systems) ### Summary of Key Results -- -- +- GNU Core Utils: 84.5% overall line coverage vs 67.7% for developers' test suite +- On Busybox: 90.5% overall line coverage vs 44.8% for developers' test suite +- Found 56 serious bugs across all tested applications +- 100% line coverage on 16 Core Utils tools and 31 Busybox tools +- Successfully cross-checked equivalent Busybox and Core Utils utilities, found inconsistencies (some of which were bugs) ### Open Questions -- -- +- Is it possible to use symbolic execution on non-deterministic programs/algorithms? Would the theoretical bounds on randomized algorithms be semantically understood by Klee? +- Is symbolic execution possible at a lower level, e.g. on the instruction set level, or would the semantics not be interpretable at that level? If so, is it possible to build a symbolic execution engine that is language agnostic? +- Can similar constraint techniques be used to simplify program logic by detecting redundant constraints? + +### Followup Paper + +"ESD" synthesis: https://dl.acm.org/doi/pdf/10.1145/1755913.1755946 diff --git a/systems-research/papers/1755913.1755946 b/systems-research/papers/1755913.1755946 new file mode 100644 index 000000000..8bcc788a3 Binary files /dev/null and b/systems-research/papers/1755913.1755946 differ