2015 CS Technical Reports
- CS-2015-01
Amir Vaxman, Mirela Ben-Chen:
Dupin Meshing: A Parameterization Approach to Planar Hex-Dominant Meshing
- CS-2015-02
Avram Sidi:
Minimal Polynomial and Reduced Rank Extrapolation Methods Are Related
- CS-2015-03
Gil Einziger and Roy Friedman:
TinySet - An Access Ecient Self Adjusting Bloom Filter Construction
- CS-2015-04
Gil Einziger and Roy Friedman:
Counting with TinyTable: Every Bit Counts!
- CS-2015-05
Yael Meller, Orna Grumberg, and Karen Yorav:
Learning-Based Compositional Model Checking of Behavioral UML Systems
- CS-2015-06
David H. Lorenz and Boaz Rosenan:
Separation of Powers in the Cloud: Where Applications and Users Become Peers
PDF files of the technical reports and theses from this year are currently accessible only within the Technion network.
To the main CS technical reports page