CS 162 Project 2

CS 162 Project 2 Introduction Welcome to Project Threads! In this project, you will add features to the threading system of Pintos. In Project User Programs, each thread that you dealt with (except the init and idle threads) was also associated with a user process, with its own address space, data backed by an executable […]

CS 162 Project 2 Read More »

CE869 Assignment 2 CPU design

CE869 Assignment 2: CPU design Set by: Distributed to students: Submission deadline: Feedback: Submission mode: Assignment objectives Dr Xiaojun Zhai week 20 three weeks from submission deadline electronic only via FASer This document specifies the second coursework assignment to be submitted by students taking CE869. This assignment is more challenging than the first one and

CE869 Assignment 2 CPU design Read More »

CE339 Assignment 2

Assignment 2: “Basketball” video game Set by: Distributed to students: Submission deadline: Feedback: Submission mode: Assignment objectives Dr Xiaojun Zhai week 21 three weeks from submission deadline electronic only via FASer This document specifies the second coursework assignment to be submitted by students taking CE339. This assignment is more challenging than the first one and

CE339 Assignment 2 Read More »

Programming Assignment 2 Bismuth interpreter

# Programming Assignment 2: Bismuth interpreter **See Canvas for the due date** In this assignment, you are going to write an interpreter for an _external_ domain specific language for image manipulation: Bismuth. The goals of this assignment are: – Seeing the difference between embedded vs external DSLs, – Recursively traversing ASTs, – Following a formal

Programming Assignment 2 Bismuth interpreter Read More »

Bismuth interpreter Eval

{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE DerivingVia, OverloadedRecordDot, FlexibleContexts #-} {-# LANGUAGE NamedFieldPuns #-} — | The interpreter for bismuth programs. module Eval where import Control.Applicative (liftA2, liftA3) import Control.Monad import Data.List (intersperse) import Data.Maybe (fromMaybe, fromJust) import Data.Map.Strict (Map, (!?)) import qualified Data.Map.Strict as M import qualified Codec.Picture as P import Point import Image

Bismuth interpreter Eval Read More »

COMP6451 Cryptocurrency and Distributed Ledger Technologies assignment 1

COMP6451 Cryptocurrency and Distributed Ledger Technologies assignment 1 Question 1 (5 marks): (Cryptographic Hash Functions)1 Consider the following proposal for a hash function h. Let p be a large prime and let g be a generator mod p. Represent messages as sequences x= x1, x2, . . . xn where the xi are numbers mod

COMP6451 Cryptocurrency and Distributed Ledger Technologies assignment 1 Read More »

CIS 547 Random Input Generation

CIS 547 – Random Input Generation CIS 547 – Software Analysis Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution Introduction to Software Analysis The LLVM Framework Software Specifications Random Testing Delta Debugging Statistical Debugging Dataflow Analysis – Part I Dataflow

CIS 547 Random Input Generation Read More »