[NSDI '25] Network Decision Diagram (NDD) is a new decision diagram. Different from the classical Binary Decision Diagram (BDD), where each node branches based on a single bit, an NDD node branches based on a field of multiple bits.
☆20Sep 20, 2026Updated 2 weeks ago
Alternatives and similar repositories for NDD
Users that are interested in NDD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [NSDI'22] Differential Network Analysis☆14Jun 2, 2022Updated 4 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- Configuration Example Generalizing Synthesizer☆17Jun 12, 2025Updated last year
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 5 years ago
- ☆15Jun 17, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Astraea: Towards Fair and Efficient Learning-based Congestion Control (EuroSys'24)☆20May 28, 2025Updated last year
- ☆20May 26, 2021Updated 5 years ago
- PrintQueue: Performance Diagnosis via Queue Measurement in the Data Plane☆19Jun 23, 2023Updated 3 years ago
- A proof of concept implementation of PowerTCP within Linux Kernel☆21Jan 22, 2024Updated 2 years ago
- My emacs configuration☆10Jun 30, 2026Updated 3 months ago
- Mining Network Specifications from Network Configurations☆37Nov 20, 2020Updated 5 years ago
- Course project for Operating Systems at XJTU: A basic x86-64 dynamic linker.☆13May 10, 2023Updated 3 years ago
- Docker image of recoll document indexer with webui☆16Dec 7, 2024Updated last year
- ☆11Oct 7, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- FANC is a tool for the proof transfer of incomplete verification☆13Aug 20, 2026Updated last month
- 📜 [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang …☆16Oct 13, 2022Updated 3 years ago
- Another Wheel to parse json☆11Mar 13, 2020Updated 6 years ago
- simple tools to convert existing CLI to YANG formats (XML, JSON)☆13Jul 5, 2023Updated 3 years ago
- Code for the paper "Minimum-Delay Adaptation in Non-Stationary Reinforcement Learning via Online High-Confidence Change-Point Detection"☆11Aug 7, 2023Updated 3 years ago
- Flow level simulation☆17Nov 22, 2015Updated 10 years ago
- Collection of my various configuration dotfiles☆23Oct 2, 2026Updated last week
- ☆16Apr 24, 2026Updated 5 months ago
- Sage of Congestion Control (or How Computers Can Learn from Existing Schemes and Master Internet CC)☆51Nov 17, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 自动生成可供订阅的弹射世界活动日历(.ics)☆12Jan 22, 2026Updated 8 months ago
- Analyzing Configuration Dependencies of File Systems [FAST'23, HotStorage'22]☆11May 17, 2025Updated last year
- sgx-based encrypted deduplication prototype☆13May 14, 2021Updated 5 years ago
- The web front end for Overleaf, a web-based collaborative LaTeX editor. Regular pull updates from upstream. DO NOT Fork, just cherry-pick…☆18Mar 9, 2026Updated 7 months ago
- Probabilistic Computer Network Analysis☆20Dec 8, 2018Updated 7 years ago
- A generative deep learning model based on GAN architecture was implemented to generate synthetic network data (benign and malicious) alik…☆11Oct 23, 2021Updated 4 years ago
- Flash Driver for FTLs☆15Feb 3, 2025Updated last year
- ☆19May 2, 2023Updated 3 years ago
- Benchmark for evaluating LLMs in network configuration problems.☆43Mar 30, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Language-independent Synthesis of Firewall Policies☆27Jan 6, 2023Updated 3 years ago
- 这是一个westwood算法的进化☆15Sep 3, 2022Updated 4 years ago
- ☆13Aug 8, 2024Updated 2 years ago
- ☆19Jan 23, 2026Updated 8 months ago
- ☆45Jan 14, 2025Updated last year
- Cellular Traces Gathered in NYC☆18Jun 23, 2020Updated 6 years ago
- The code provides an example C language based implementation of the idea proposed in the paper "SS-CDC: a two-stage parallel content-defi…☆13Sep 10, 2019Updated 7 years ago