Loading...
 

LISHA Weekly Colloquium

Upcoming Events

-

Template:

August 29th, 2018 (12:30) - Florianopolis Campus

August 15th, 2018 (12:30) - Florianopolis Campus

August 8th, 2018 (12:30) - Florianopolis Campus

October 25th, 2016 (12:30) - Joinville Campus


September 27th, 2016 (12:30) - Joinville Campus

August 22nd, 2016 (13:00) - Florianopolis Campus

August 15th, 2016 (13:00) - Florianopolis Campus

August 8th, 2016 (13:00) - Florianopolis Campus

August 1st, 2016 (13:00) - Florianopolis Campus

July 25th, 2016 (13:00) - Florianopolis Campus

July 18th, 2016 (13:00) - Florianopolis Campus

July 11st, 2016 (13:00) - Florianopolis Campus

Upcoming

  • July 6th, 2016 - 12h30 - 13h20 - Joinville Campus

June 22nd, 2016 (12:30) - Joinville Campus

June 13th, 2016 (12:50) - Florianopolis Campus

  • Preview of Masters' Qualify presentation, by Davi Resner.

June 6th, 2016 (13:00) - Florianopolis Campus

  • EPOSMoteIII's implementation of USB 2.0 overview, by Davi Resner.

May 16th, 2016 (13:00) - Florianopolis Campus

  • Review of Colin Dixon, IBM Research; Ratul Mahajan, Sharad Agarwal, A.J. Brush, Bongshin Lee, Stefan Saroiu, and Paramvir Bahl, Microsoft Research , "An Operating System for the Home", Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12) by Davi Resner.

May 9th, 2016 (13:00) - Florianopolis Campus

May 4th, 2016 (12:30) - Joinville Campus

April 25th, 2015 (13:00) - Florianopolis Campus

April 6th, 2016 (12:30) - Joinville Campus

March 28th, 2016 (13:00) - Florianopolis Campus

March 21th, 2016 (13:00) - Florianopolis Campus

December 14th, 2015 (12:30) - Joinville Campus

November 16th, 2015 (13:00) - Florianópolis Campus

October 23th, 2015 (12:30) - Joinville Campus

October 05th, 2015 (12:30) - Joinville Campus

September 10th, 2015 (12:30) - Joinville Campus

August 17th, 2015 (13:00) - Florianópolis Campus

  • Review of Authors omitted for blind review, Performance Evaluation of CMSIS-RTOS - Benchmarks and Comparison (to appear), (2015), by Mateus Krepsky Ludwich.

June 22th, 2015 (12:30) - Joinville Campus

June 08th, 2015 (12:30) - Joinville Campus

  • Review of Maria-Eugenia Iacob, Maarten W. A. Steen, Lex Heerink, Reusable Model Transformation Patterns, 1 - 10 pages, by Igor

June 08th, 2015 (12:00) - Florianópolis Campus

May 25th, 2015 (12:30) - Joinville Campus

May 11th, 2015 (12:30) - Joinville Campus

May 04th, 2015 (12:30) - Joinville Campus

April 13th, 2015 (12:30) - Joinville Campus

April 06th, 2015 (13:00) - Florianópolis Campus

  • Review of Santanu Sarma, Nikil Dutt, FPGA emulation and prototyping of a cyberphysical-system-on-chip (CPSoC), In: Rapid System Prototyping (RSP), 2014 25th IEEE International Symposium on, pages 121-127; by João Reis.

April 06th, 2015 (12:30) - Joinville Campus

  • Review of Amaral, A.S.M.S.; Bates, C.; Drusinsky, D. & Harel, D.; Harel, D. & Naamad, A.; Pnueli; Maruyama, H.; Philippe, B., Saad, Y., Stewart, W.J.; Ray, E. T.; R. R. Veloso; Vijaykumar, N.L.; by Igor Eineck.

March 30th, 2015 (12:30) - Joinville Campus

February 23th, 2015 (13:00)

December 08th, 2014 (13:00)

December 01st, 2014 (13:00)

November 24th, 2014 (13:00)


November 17th, 2014 (13:00)

  • Review of Juan Antonio Clemente, Daniel Mozos {Universidad Complutense de Madrid} and Javier Resano {Universidad de Zaragoza}, An approach to manage reconfigurations and reduce area cost in hard real-time reconfigurable systems, In: TECS 2014, by João Reis

November 03rd, 2014 (13:00)

October 27th, 2014 (13:00)

October 13th, 2014 (13:00)

  • Review of Norbert Abel {Kirchhoff-Institute for Physics}, Design and Implementation of an Object-Oriented Framework for Dynamic Partial Reconfiguration, In: 2010 International Conference on Field Programmable Logic and Applications (FPL), pages 240-243, 2010. by João Reis

October 6th, 2014 (13:00)

September 15th, 2014 (13:00)

August 25th, 2014 (13:00)

August 18th, 2014 (13:00)

July 15th, 2014 (13:00)

July 08th, 2014 (13:00)

  • Review of Alexey Gotsman 1, Josh Berdine 2, Byron Cook 2, Noam Rinetzky 3, and Mooly Sagiv 2,3 {1- University of Cambridge, 2- Microsoft Research, 3- Tel-Aviv University}, Local Reasoning for Storable Locks and Threads, In: Proceedings of the 5th Asian conference on Programming languages and systems (APLAS 2007), pages 19-37 by Mateus Ludwich.

June 24, 2014 (13:00)

June 17, 2014 (10:30)

  • Mateus K. Ludwich, Defesa Seminário de Andamento de Doutorado: Design for Verification of Concurrent Real-time Embedded Systems.

June 10, 2014 (13:00)

May 27, 2014 (13:00)

April 29, 2014 (13:00)

March 25, 2014 (13:00)

  • Review of Matthew Fernandez, Ihor Kuz, Gerwin Klein, and June Andronick {NICTA and the University of New South Wales, Sydney, Australia}, Towards a Verified Component Platform, In: Proceedings of the Seventh Workshop on Programming Languages and Operating Systems (PLOS'13), 2003, pages 2:1-2:7 by Mateus Ludwich.

March 18, 2014 (13:00)

February 25, 2014 (13:00)

February 18, 2014 (13:00)

December 16, 2013 (15:00)

December 09, 2013



November 18, 2013 (15:00)

November 11, 2013 (15:00)

October 28, 2013 (15:00)

  • ENSIMAG WSN Mobile & Wireless Networks for the future Internet of Things by Prof. Franck Rousseau (Grenoble Institute of Technology), October 24, 2013.

October 21, 2013 (15:00)

  • Preview of SBESC presentations:
    • Dynamic Adjustment of Transmission Power of Mobile Ad-Hoc Wireless Sensor Networks, by Arliones.
    • An Implementation of the AES Cipher using HLS, by Rodrigo.
    • Implementação e Avaliação do Escalonador Agrupado para um Sistema Operacional de Tempo Real, by Murilo.

October 14, 2013 (15:00)

October 07, 2013 (15:00)

September 30, 2013 (15:00)

September 23, 2013 (15:00)

August 12, 2013 (15:00)

July 29, 2013 (15:00)

July 15, 2013 (15:00)

June 24, 2013 (15:00)

June 17, 2013 (15:00)

June 10, 2013 (15:00)

May 27, 2013 (15:00)

May 20, 2013 (15:00)

May 06, 2013 (15:00)

April 29, 2013 (15:00)

March 25, 2013 (16:00)

February 15, 2013 (9:00)

February 8, 2013 (9:00)

February 1st, 2013 (9:00)

January 31, 2013 (10:00)


January 25, 2013 (9:00)

December 14, 2012 (9:00)

December 7, 2012 (9:00)

December 3, 2012 (9:00)

November 23, 2012 (9:00)

November 09, 2012 (9:00)

October 26, 2012 (9:00)

October 19, 2012 (9:00)

October 05, 2012

September 28, 2012

September 14, 2012

August 31, 2012

August 24, 2012

August 17, 2012

August 10, 2012

August 03, 2012

July 06, 2012

June 29, 2012

June 15, 2012

May 25, 2012

May 18, 2012

April 27, 2012

April 20, 2012

April 13, 2012

March 16, 2012

March 09, 2012

March 02, 2012

February 27, 2012

  • Alexandre. Prévia da dissertação: Algoritmo de Roteamento Baseado em Colônia de Formigas com Heurísticas Configuráveis para Redes Sensores Sem Fio de Topologia Dinâmica.

February 23, 2012

December 09, 2011 (grupo de hardware)

December 02, 2011 (grupo de sistemas operacionais)

November 25, 2011 (grupo de redes)

November 18, 2011 (grupo de sistemas operacionais)

November 04, 2011 (grupo de redes)

October 21, 2011 (grupo de hardware)

October 14, 2011 (grupo de redes)

October 07, 2011 (grupo de sistemas operacionais)

September 30, 2011 (grupo de redes):

September 23, 2011 (grupo de hardware):

September 16, 2011 (grupo de redes):

September 09, 2011 (grupo de sistemas operacionais):

September 02, 2011 (grupo de redes):