CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Research Areas  \  Research Stream Login  
banner bottom
[ Computer Systems ]

Computer Systems addresses topics related to the construction of software systems for currently emerging computing infrastructures, with a focus on techniques for improving performance, reliability and availability in clusters and clouds. Sample applications that may benefit from our research include high performance applications (e.g. software for scientific experiments) and systems requiring high reliability or availability (e.g. business apps, web shops, social networks).

bulletNuno Preguiça, Assistant Professor, Area/Group coordinator
bulletJosé Legatheaux Martins, Full Professor
bulletPedro Medeiros, Associate Professor
bulletRodrigo Rodrigues, Associate Professor
bulletCarmen Morgado, Assistant Professor
bulletHenrique João Domingos, Assistant Professor
bulletHervé Paulino, Assistant Professor
bulletJoão Lourenço, Assistant Professor
bulletMaria Cecília Gomes, Assistant Professor
bulletPaulo Afonso Lopes, Assistant Professor
bulletRui Marques, Assistant Professor
bulletSérgio Duarte, Assistant Professor
bulletVítor Duarte, Assistant Professor
bulletHenrique Moniz, Associate Researcher
bulletJoão Leitão, Associate Researcher
bulletKonstantinos (Kostas) Kloudas, Associate Researcher
bulletRicardo Dias, Associate Researcher
bulletTamito Kajiyama, Associate Researcher
bulletBernardo Ferreira, PhD Student
bulletCarlos Gonçalves, PhD Student
bulletDanielPorto, PhD Student
bulletDavid Navalho, PhD Student
bulletJoão André Silva, PhD Student
bulletJoão Soares, PhD Student
bulletLuis Assunção, PhD Student
bulletMiguel Ramos, PhD Student
bulletNuno Oliveira, PhD Student
bulletTiago Vale, PhD Student
bulletValter Balegas, PhD Student
Research Stream Activities:

*  Research Projects (42)
*  Publications (411)
*  Seminars @ CITI (56)
*  External Talks (42)
*  Graduation Activities (270)
*  Organization of Events (272)
*  Editorial Committees (8)
*  Prototypes (75)
*  Visits (43)

page 6 of 21 - listing publications 101 to 120 of a total of 411       * Research Stream publications in BibTeX format

prev   |   2  3  4  5  6  7  8  9  10   |   next

bulletBrief announcement: efficient causality tracking in distributed storage systems with dotted version vectors
   [ Jul, 2012 ] - in proceedings
   Nuno Preguiça, Carlos Baquero, Paulo Sérgio Almeida, Victor Fonte, Ricardo Gonçalves

bulletUsing program closures to make an application programming interface (API) implementation thread safe
   [ Jul, 2012 ] - in proceedings
   Eitan Farchi, Itai Segall, Diogo Sousa, João Lourenço

bulletSingle Operation Multiple Data - Data Parallelism at Subroutine Level
   [ Jun, 2012 ] - in proceedings
   Eduardo Marques, Hervé Paulino

bulletDependability Services and Intrusion Tolerance in WSNs: Intrusion-Tolerant Routing Servoces with Multiple Disjoint Paths and Multiple Base Stations
   [ Jun, 2012 ] - technical reports
   Henrique João Domingos, João Carlos Andrade Almeida

bulletHigh-spatial resolution numerical simulations of in-water radiative transfer processes
   [ Apr, 2012 ] - other publications
   Davide D\'Alimonte, Tamito Kajiyama, Giuseppe Zibordi

bulletSupporting In-Place Metadata in DeuceSTM
   [ Apr, 2012 ] - other publications
   Ricardo Dias, João Lourenço

bulletSession-based Dynamic Interaction Models for Stateful Web Services
   [ Feb, 2012 ] - in proceedings
   Adérito Baptista, Maria Cecília Gomes, Hervé Paulino

bulletWrite-Write Conflict Detection for Distributed TM Systems
   [ Feb, 2012 ] - other publications
   Ricardo Dias, João Lourenço

bulletIncluding Context in A Routing Algorithm for the Internet of Things
   [ Jan, 2012 ] - books
   Vítor Horta Carvalho, Pedro Medeiros

bulletSecurity Services for Routing Protocols in Wireless Sensor Networks
   [ Jan, 2012 ] - technical reports
   Henrique João Domingos

bulletA-OSGi: a framework to support the construction of autonomic OSGi-based applications
   [ Jan, 2012 ] - articles
   João Ferreira, João Leitão, Luís Rodrigues

bulletHybrid Simulation Environment for the Experimental Assessment of Intrusion Tolerant Routing Protocols for Wireless Sensor Networks
   [ Jan, 2012 ] - technical reports
   Henrique João Domingos, João Carlos Andrade de Almeida

bulletScalable testing of file system checkers
   [ 2012 ] - in proceedings
   João Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar

bulletAutomatic Reconfiguration for Large-Scale Reliable Storage Systems
   [ 2012 ] - articles
   Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, David A. Schultz

bulletByzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks
   [ 2012 ] - articles
   Henrique Moniz, Nuno Ferreira Neves, Miguel Pupo Correia

bulletHVC 2011 — Hardware and Software: Verification and Testing
   [ 2012 ] - editorial activities
   João Lourenço, Kerstin Eder, Onn Shehory

bulletOn the (Limited) Power of Non-Equivocation
   [ 2012 ] - in proceedings
   Allen Clement, Flavio Junqueira, Aniket Kate, Rodrigo Rodrigues

bulletEnhancing the OS against Security Threats in System Administration
   [ 2012 ] - in proceedings
   Nuno Santos, Rodrigo Rodrigues, Bryan Ford

bulletAdaptive Search Radius - Using hop count to reduce P2P traffic
   [ 2012 ] - articles
   Ricardo Lopes Pereira, Teresa Vazão, Rodrigo Rodrigues

bulletBuilding Trustworthy Cloud Services with Excalibur
   [ 2012 ] - in proceedings
   Nuno Santos, Rodrigo Rodrigues, Krishna P. Gummadi, Stefan Saroiou

prev   |   2  3  4  5  6  7  8  9  10   |   next