yaelwb/FlashCards2014
An iOS 7 version of my Flash Card iPad app, with a new and improved design
Solutions to problems and puzzles
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An iOS 7 version of my Flash Card iPad app, with a new and improved design
Hackathon project
A project for parallel and distributed programming course (Spring of 2004). An objects storage server, following the principles of "JavaSpace" - http://javaspaces.homestead.com, supplying read, write, take and notify actions.
My final project for the VLSI Lab during my B.Sc. degree (Spring of 2006). Bounded Model Checking (BMC) approach to solve a cnf Formula Satisfiability problem (SAT). A SAT Solver is a software tool solving a hardware problem - the logic formula represents a circuit design.