• Stars
    star
    6
  • Rank 2,526,144 (Top 51 %)
  • Language
    C++
  • License
    MIT License
  • Created over 7 years ago
  • Updated about 5 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Program to accept number of physical frames, list of page accesses, and the page replacement algorithm and output the number of faults and whether each access was a fault or not. Supports FIFO, LRU, and OPTIMAL algorithms.

More Repositories

1

SAT-Solver-DPLL

A simple SAT solver that implements the DPLL algorithm with unit resolution
C++
43
star
2

Fast-Dawid-Skene

Code for the algorithms in the paper: Vaibhav B Sinha, Sukrut Rao, Vineeth N Balasubramanian. Fast Dawid-Skene: A Fast Vote Aggregation Scheme for Sentiment Classification. KDD WISDOM 2018
Python
42
star
3

Adversarial-Patch-Training

Code for the paper: Adversarial Training Against Location-Optimized Adversarial Patches. ECCV-W 2020.
Python
40
star
4

Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
C++
38
star
5

Model-Guidance

Code for the paper: Studying How to Efficiently and Effectively Guide Models with Explanations. ICCV 2023.
Python
16
star
6

SAT-Solver-CDCL

A simple SAT solver based on the CDCL algorithm
C++
15
star
7

Attribution-Evaluation

Code for the paper: Towards Better Understanding Attribution Methods. CVPR 2022.
Python
14
star
8

MIPS-Simulator

A simple MIPS Simulator that can simulate execution in MIPS for a small subset of instructions under several restrictions
C++
9
star
9

Load-Balancer

A Plug-and-Play Load Balancer in Golang
Go
5
star
10

IntervalAI

An abstract interpreter for an integer interval domain supporting basic operations for simple C programs
C++
4
star
11

crowdsourced-data-simulator

A program that simulates answers given by a crowd to multiple choice questions with either a single or multiple answers correct, and writes it to a CSV
Python
4
star
12

Tic-Tac-Toe-Prolog

A one player Tic-Tac-Toe Game in Prolog
Prolog
3
star
13

Artillery-Game

A turn based three player tank game in Haskell
Haskell
2
star
14

MaxSAT-Solver

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
C++
2
star
15

Lexical-Analyser-Cool

Java
1
star
16

deepagg

Implementation of the model described in "Training deep neural nets to aggregate crowdsourced responses." by Gaunt et al.
Python
1
star
17

Tic-Tac-Toe-Game

A one player and two player Tic Tac Toe game for Android
Java
1
star
18

Quiz-Game

A basic web based multiple choice quiz game
JavaScript
1
star
19

ROS-Automated-License-Plate-Recognition

CS6490 Assignment: ROS Package to perform automated license plate recognition on images using OpenALPR
C++
1
star