Cloud-TM The Cloud-TM project developed a highly innovative data-centric middleware platform aimed at facilitating the development and at abating operational and administration costs of cloud applications. This is made p

Source URL: www.gsd.inesc-id.pt

WTTM 2012, The Fourth Workshop on the Theory of Transactional Memory Vincent Gramoli University of Sydney Australia

Source URL: www.gsd.inesc-id.pt

• Data management
• Data
• Databases
• Programming language implementation
• Software transactional memory
• Transactional memory
• Nir Shavit
• Linearizability
• Serializability
• Transaction processing
• Concurrency control
• Computing

OctoberHitachi Presentation

Source URL: www.gsd.inesc-id.pt

• UML Partners
• C99
• C++11
• IBM
• C11
• C
• Telelogic
• Rational Software
• Computing
• C programming language
• Software engineering

Lecture 10: TM Pathologies • Topics: scalable lazy implementation, paper on TM performance pathologies 1

Source URL: www.gsd.inesc-id.pt

• Information
• Database transaction
• Pathology
• Concurrency control
• Transaction processing
• Data management
• Data

Self-Tuning Intel Transactional Synchronization Extensions Nuno Diegues and Paolo Romano, INESC-ID and Instituto Superior Técnico, University of Lisbon https://www.usenix.org/conference/icac14/technical-sessions/present

Source URL: www.usenix.org

• Computing
• System software
• Lock
• Software transactional memory
• Linearizability
• Transactional memory
• Scalability
• Transactional Synchronization Extensions
• Parallel computing
• Transaction processing
• Concurrency control
• Data management

HQ Replication: Properties and Optimizations James Cowling1 , Daniel Myers1 , Barbara Liskov1 , Rodrigo Rodrigues2 , and Liuba Shrira3 1 MIT CSAIL, 2 INESC-ID and Instituto Superior T´ecnico, 3 Brandeis University {cowl

Source URL: www.pmg.lcs.mit.edu

• State machine replication
• Byzantine fault tolerance
• Replication
• Transmission Control Protocol
• Representational state transfer
• Proxy server
• Computing
• Data synchronization
• Fault-tolerant computer systems

Int. J. Critical Computer-Based Systems, Vol. x, No. x, xxxx Byzantine Consensus in Asynchronous Message-Passing Systems: a Survey Miguel Correia*, Giuliana Santos Veronese, Nuno Ferreira Neves and Paulo

Source URL: www.gsd.inesc-id.pt

• Applied mathematics
• Mathematics
• Distributed algorithm
• Atomic broadcast
• Algorithm
• Distributed computing
• Byzantine fault tolerance
• State machine replication
• Chandra–Toueg consensus algorithm
• Fault-tolerant computer systems
• Computing
• Consensus

Improving Music Recommendation in Session-Based Collaborative Filtering by using Temporal Context Ricardo Dias, Manuel J. Fonseca Department of Computer Science and Engineering INESC-ID/IST-Technical University of Lisbon

Source URL: www.di.fc.ul.pt

• Human–computer interaction
• Science
• Collaboration
• Recommender system
• Machine learning
• Collaborative filtering
• GroupLens Research
• Cluster analysis
• Algorithm
• Information science
• Statistics
• Information retrieval

Ricardo Vieira Ricardo Vieira is a researcher at the Instituto Superior Técnico and of the Information Systems Group at INESC-ID –

Source URL: dlmforum.eu

• Ist
• University of Lisbon
• Royal Institute of Technology
• Technology
• Portuguese people
• Sweden
• Artificial intelligence
• Europe
• José Tribolet
• Technical University of Lisbon
• Instituto Superior Técnico
• INESC Porto

Concurrent Programming Made Simple: The (r)evolution of Transactional Memory Nuno Diegues∗1 and Torvald Riegel†2 1 INESC-ID, Lisbon, Portugal

Source URL: archive.fosdem.org

• System software
• Cross-platform software
• Concurrency control
• Computer memory
• Transactional memory
• TM
• Concurrent computing
• Parallel computing
• Java
• Computing
• Software
• Transaction processing