CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  External Talks & Seminars Login  
   
banner bottom
[ External Talks & Seminars ]
Talks Icon  List of External Talks and Seminars done by CITI Members.

page 8 of 23 - listing talks 71 to 80 of a total of 228
order:  

prev   |   4  5  6  7  8  9  10  11  12   |   next


bulletUsing Separation Logic to Detect Snapshot Isolation Anomalies in Software Transactional Memory
   Ricardo Dias
   [ 26 Jan 2011 ] - Departmental Seminar

bulletCommutative Replicated Data Types: Principles, Examples and Lessons
   Nuno Preguiça
   [ 24 Nov 2010 ] - Departmental Seminar

bulletInternet - De curiosidade Científica a Infra-estrutura Crítica - Os Desafios da Escala
   José Legatheaux Martins
   [ 12 Nov 2010 ] - Keynote

bulletSecurity Services for Wireless Sensor Networks
   Henrique João Domingos
   [ 13 Oct 2010 ] - Research Talk

bulletDebugging of Parallel and Distributed Programs (HVC 2010)
   João Lourenço
   [ 6 Oct 2010 ] - Invited Lecture

bulletUnderstanding Transactional Memory (HVC 2010)
   João Lourenço
   [ 4 Oct 2010 ] - Invited Lecture

bulletDomain Analysis. Evaluation Procedures
   Miguel Goulão
   [ 9 Sep 2010 ] - Summer School Course

bulletDomain Engineering: The Case for DSLs
   Mauricio Alférez
   [ 6 Sep 2010 ] - Summer School Course

bulletA simple proof system for lock-free concurrency
   António Ravara
   [ 10 Jul 2010 ] - Research Talk

bulletHigh-performance computing for Ocean Color {Monte Carlo} simulations
   Tamito Kajiyama
   [ 9 Jun 2010 ] - Research Talk


prev   |   4  5  6  7  8  9  10  11  12   |   next