Vencel Bajnok's Projects
Fork of the sosylab/benchexec repo and was extended by the option of running the benchmarks on different hardwares in a distributed way.
This is a web portal for the ftsrg research group, that is capable for benchmarking various tools with the benchexec tool on virtual machines in the cloud in a distributed way.
Jellyfin custom styling assets
The simulator receives the names and instructions of tasks from the standard input input (see below), and then simulates the allocation of resources by running them. The output of the program is the data of the avoided dead spots (in chronological order).
A complex turn based multiplayer game implemented in Java with Swing GUI using the waterfall modell.
An intelligent system with four intelligent agents managing a junction's 4-4 traffic lights
An OpenGL based simulation for docking random molecules.
As input to the program, it receives the identifiers of pages referenced during memory operations in the order of their reference. As output, it returns the identifiers of the physical memory frames allocated as a result of the performed page swaps and the number of page faults.
This tool is responsible for the execution of the different runs, with which the user would like to benchmark a software using the modified Benchexec on the target hardware.
A Spring Boot API for managing various actuators and sensors in a smart home with a Qt client with a handy GUI.
The program simulates the operation of a complex scheduler. The globally preemptive, static priority scheduler runs the following scheduling algorithms: High priority level (priority = 1) RR scheduler, time slot: 2 Low priority level (priority = 0) SRTF scheduler
A simple cli based telecommunication centre simulation, where the users can send messages to each other.
This is a 2 or 1 player guessing game implemented in Java with Swing UI.
A calculator, which implements theoretically unrestricted representation range (ofc. within the boundary of the available reservable memory)