1. Homepage
  2. Subject
EE658 Diagnosis and Design of Reliable Digital Systems - Fault Simulation Group Project Phase #2 - DFS and FPS
EE658Diagnosis and Design of Reliable Digital SystemsFault Simulationdeductive fault simulationparallel fault simulation
The second phase of the group project focuses on the implementation of two different fault simulation methods: deductive fault simulation (DFS) and parallel fault simulation (PFS), applying techniques to reduce the fault list in a netlist, and also a few modifications to your previously developed logic simulator.
CMPSC461 Fall-2024 Programming Language Concepts - Assignment-4 (Function and Parameter Passing)
CMPSC461Programming Language ConceptsFunction and Parameter PassingPythonJava
For each of the cases below, write down the values of x, y, and z after the following calls to foo(). If necessary, assume that output arguments are copied back to parameters in the left-to-right order.
CSCI-1200 Data Structures - Fall 2024 Homework 6 - Recursive Kurotto Solver
CSCI1200Data StructuresC++
In this homework we will develop a solver for a paper-and-pencil puzzle game named Kurotto. The input to Kurotto is a 2D rectangular grid where all the cells are initially water. Some of the cells in the grid are labeled with a non-negative integer.
COMS10016: Imperative and Functional Programming - Coursework 01: LIST CHALLENGE
COMS10016Imperative and Functional ProgrammingLIST CHALLENGEDoubly-linked ListsC
Before you start on this task make sure you watched and understood all lectures up to Lecture 15. You should have compiled, run, and understood all the code provided for pointers, dynamic data, stacks, and lists.
CPT205 Computer Graphics - Assessment 1 - 2D Modelling Project - Birthday Card
CPT205Computer Graphics2D ModellingC++OpenGL
You are required to create a two-dimensional (2D) Birthday Card. Your card may contain balloons, flowers, trees, smiling faces, lights, stars, clouds, sky, ground, buildings and other objects that may appear in a physical card of this kind
Assignment: Denoising Diffusion on Two-Pixel Images
Variational AutoencodersGenerative Adversarial NetworksDenoising DiffusionBeta SchedulingVariance EstimationDDPM
The field of image synthesis has evolved significantly in recent years. From auto-regressive models and Variational Autoencoders (VAEs) to Generative Adversarial Networks (GANs), we have now entered a new era of diffusion models. A key advantage of diffusion models over other generative approaches is their ability to avoid mode collapse, allowing them to produce a diverse range of images.
CISC422/CMPE 422: Formal Methods in Software Engineering (Fall 2024) - Assignment 2: Class Modelling with Alloy
CISC422CMPE422Formal Methods in Software EngineeringClass Modelling with AlloyJavaPython
This assignment uses Alloy, an analysis tool for class models developed by the Software Design Group at MIT. Alloy is publicly available for Windows, Linux and Mac OS and there is extensive documentation for it, including a book, a collection of sample models, and the Stack
COMP4161 T3/2024 Advanced Topics in Software Verification - Assignment 2: Block Representation of Binary Numbers
COMP4161Advanced Topics in Software VerificationIsabelle
In this assignment, we consider one representation of binary numbers where the bits in a number is segmented into alternating sequences (or blocks) of 1s or 0s. For instance, ”1110011” consists of ”three 1s, two 0s, and two 1s”.
FIT9132 Introduction Databases - Assignment 2 - Creating, Populating and Manipulating Databases - Paris Arrow Transit (PAT)
FIT9132Introduction DatabasesParis Arrow TransitSQLMongoDBNOSQL
Your task for this assignment is to design a model for Paris Arrow Transit (PAT). Paris Arrow Transit is a private company subcontracted by the Olympic Federation to transport officials during the Olympic competition. The company realises that it needs a completely new computerised system to more efficiently manage and record its services during the Games. You have been asked to develop a database system that can meet PAT's needs, which are detailed below.