PhotoShare is a database system for a web based photo social sharing application. It functions similarly to Flickr.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Become familiar w/ model checker & analyzer Choose a specific domain of networking: Routing in mobile ad-hoc networks Formalize safety and correctness properties in later slides Make use of formalizing tool, model checker SPIN Confirm counter-example assertion with violation of each property is inserted
This program implement a basic shell called "myshell" which act just like the basic bash shell.
Plotting ASCII text approximations of the Mandelbrot with Haskell
This repository contains some popular algorithm's implementation in Java.