| Home \ Research Areas \ Research Stream | Login |
[ 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).
page 1 of 3 - listing seminars 1 to 20 of a total of 43
The Challenges of the Coverage Testing applied to Concurrent Software[ 3 Jun 2013 ] - Paulo Souza (Universidade de São Paulo), Simone Souza (Universidade de São Paulo)
Consistency management in collaborative editing[ 20 Mar 2013 ] - Pascal Urso (Université de Lorraine)
Extracting Relevant and Trustworthy Information from Microblogs[ 14 Dec 2012 ] - Krishna Gummadi (Max Planck Institute for Software Systems)
Stheno, a Real-Time Fault-Tolerant P2P Middleware Platform for Light-Train Systems[ 5 Dec 2012 ] - Rolando Martins (Carnegie Mellon University)
Single Operation Multiple Data - Data Parallelism at Subroutine Level[ 31 Oct 2012 ] - Hervé Paulino
Digital and biological storage systems - a quantitative comparison[ 26 Sep 2012 ] - Tomasz Bilski (Poznań University of Technology)
Sharing a Sequential Program: Correctness and Concurrency Analysis[ 20 Jul 2012 ] - Petr Kuznetsov (Technische Universität Berlin)
Practical Abstractions for Dynamic and Parallel Software[ 12 Jul 2012 ] - Umut A. Acar (Max Planck Institute for Software Systems)
Is transaction memory enough or do we need atomic conditional wait as well?[ 12 Nov 2010 ] - Eitan Farchi (IBM Research Labs at Haifa)
Asynchronous Lease-based Replication of Software Transactional Memory[ 16 Jun 2010 ] - Nuno Carvalho (INESC Id)
Unifying Memory and Database Transactions[ 2 Dec 2009 ] - Ricardo Dias
Towards a service-oriented parallel programming model[ 18 Nov 2009 ] - Hervé Paulino
Advanced Code Coverage Analysis Using Substring Holes[ 28 Oct 2009 ] - Eitan Farchi (IBM Research Labs at Haifa)
Patterns and Operators for Application Development and Execution Control[ 7 Oct 2009 ] - Maria Cecília Gomes
Multi-threaded Prolog - Recent Developments[ 15 Apr 2009 ] - Rui Marques
Towards Distributed Software Transactional Memories[ 1 Apr 2009 ] - Paolo Romano (INESC Id)
On the Use of Software Mobility and Services[ 14 Jan 2009 ] - Hervé Paulino
Performance analysis and tuning of parallel/distributed applications[ 15 Sep 2008 ] - Eduardo César (Universidad Autònoma de Barcelona), Anna Morajko (Universidad Autònoma de Barcelona)
ChinaGrid: China Education and Research Grid[ 4 Jun 2008 ] - Weimin ZHENG (Tsinghua University)
The IntegraEPI project[ 30 Apr 2008 ] - Denise Stringhini (Universidade Presbiteriana Mackenzie)