Browsing by Author "Panja, Promit"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Implementation and Testing of GBDI Memory Compression Algorithm
    Panja, Promit; Chiu, TingHung (2023-05-15)
    This project aims to implement and test a lossless memory compression technique called GBDI (Global Base-Delta-Immediate) using C. GBDI compresses data by only storing the difference (deltas) between the global base value and the actual values in the memory block and is an extension of the BDI memory compression algorithm. GBDI enables high compression ratios and low decompression latencies, which can improve memory bandwidth and performance. The project involves implementing the GBDI compressor and decompressor, evaluating their performance on C++ and Java benchmarks and comparing them to the results the authors have shown.
  • Thumbnail Image
    Modeling and Formal Verification of Vehicle Platooning System
    Panja, Promit; Bhavandlapelli, Rakesh Kumar (2023-05-15)
    Vehicle platooning, which involves operating a group of vehicles at close distances, reduces aerodynamic drag and hence decreases fuel consumption and greenhouse gas emissions. However, implementing such a system in the real world requires careful attention to safety. In this project, we aim to analyze, simulate, and formally verify a vehicle platooning system for the follower vehicle that can maintain a safe distance from the lead vehicle while taking into account control decisions and communication delays between the two vehicles.