InfoBlender | InfoBlender

InfoBlender

CumuloNimbo: A Cloud Scalable SQL Database 10/21/2015

By Prof. Rui Oliveira, HASLab/INESC TEC & University of Minho.

Read more

Code Graphs as Data-Flow Graphs, Control-Flow Graphs, and Inter- action Nets 10/8/2015:

application/pdf icon

Download Slides (PDF)

By Prof. Wolfram Kahl, McMaster University, Ontario, Canada

Read more

A Cryptographic Treatment of Software Guard Extensions, 1 Jul 2015 7/1/2015:

application/pdf icon

Download Slides (PDF)

By Bernardo Portela, HASLab/INESC TEC & University of Minho.

Read more

Reviewing Human Robot Interaction, 17 Jun 2015 6/17/2015:

application/vnd.openxmlformats-officedocument.presentationml.presentation icon

Download Slides (PowerPoint PPTX)

By Prof. Michael Harrison, Newcastle University, QMUL, and HASLab.

Read more

A New Foundation for Computing Science, 27 May 2015 5/27/2015:

application/pdf icon

Download Slides (PDF)

By Prof. Dines Bjorner, Technical, University of Denmark

Read more

Dependable Decentralized Storage Management for Cloud Computing, 6 May 2015 5/6/2015

By João Paulo, HASLab /INESC TEC and University of Minho

Read more

Epidemic Store For Massive Scale Systems, 27 Apr 2015 4/27/2015:

application/pdf icon

Download Slides (PDF, converted from KEYNOTE)

By Francisco Maia, HASLab /INESC TEC and University of Minho

Read more

Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets, 22 Apr 2015 4/22/2015:

application/pdf icon

Download Slides (PDF)

By Jorge Mendes, HASLab /INESC TEC and University of Minho

Read more

Refinement Algebra for an Object-oriented Language with Pointers, 13 Apr 2015 4/13/2015:

application/pdf icon

Download Slides (PDF)

By Prof. Augusto Sampaio, Universidade Federal de Pernambuco (UFPE), Brazil

Read more

Exploring Scenario Exploration, 8 Apr 2015 4/8/2015:

application/pdf icon

Download Slides (PDF)

By Nuno Macedo, HASLab/INESC TEC & Universidade do Minho

Read more