Cloud-TM Specific Targeted Research Project (STReP) Contract noD5.9: 3rd Collaboration Report.

Source URL: cloudtm.ist.utl.pt

• Fault-tolerant computer systems
• Computer memory
• Transactional memory
• INESC Porto
• Cloud computing
• TM
• Replication
• Service-level agreement
• Parallel computing
• Computing
• Concurrency control
• Transaction processing

concurrency_diagram copy.key

Source URL: www.filemaker.com

Fast Checkpoint Recovery Algorithms for Frequently Consistent Applications Tuan Cao, Marcos Vaz Salles, Benjamin Sowell, Yao Yue, Alan Demers, Johannes Gehrke, Walker White Cornell University Ithaca, NY 14853, USA

Source URL: www.diku.dk

• Fault-tolerant computer systems
• Computer hardware
• Computer memory
• Database management systems
• Application checkpointing
• Transaction processing
• Parallel computing
• Transaction processing system
• CPU cache
• Computing
• Concurrency control
• Data management

Life beyond Distributed Transactions: an Apostate’s Opinion Position Paper Pat Helland Amazon.Com 705 Fifth Ave South

Source URL: www.ics.uci.edu

• Data management
• Databases
• Concurrency control
• Global serializability
• Serializability
• Replication
• Service-oriented architecture
• Communications protocol
• Scalability
• Data
• Information
• Transaction processing

2011 IEEE Symposium on Security and Privacy Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach Vineeth Kashyap

Source URL: www.ieee-security.org

• Scheduling algorithms
• Operations research
• Planning
• Scheduling
• Thread
• Parallel computing
• Information flow
• Lock
• Actor model
• Computing
• Concurrent computing
• Concurrency

A Study on Distributed k-Mutual Exclusion Algorithms Hirotsugu Kakugawa February 1995

Source URL: www-masu.ist.osaka-u.ac.jp

• Mutual exclusion
• Self-stabilization
• Distributed algorithm
• Distributed computing
• Algorithm
• Parallel computing
• Mathematics
• Applied mathematics
• Fault-tolerant computer systems
• Concurrency control
• Computing

An Evaluation of Checkpoint Recovery for Massively Multiplayer Online Games Marcos Vaz Salles, Tuan Cao, Benjamin Sowell, Alan Demers, Johannes Gehrke, Christoph Koch, Walker White Cornell University Ithaca, NY 14853, US

Source URL: www.diku.dk

• Database management systems
• Concurrency control
• Data
• Transaction processing
• Algorithms for Recovery and Isolation Exploiting Semantics
• Computer storage
• Extensible Storage Engine
• Application checkpointing
• Parallel computing
• Computing
• Data management
• Fault-tolerant computer systems

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

Weighted Automata and Concurrency Akash Lal Microsoft Research, India Tayssir Touili, Nicholas Kidd and Tom Reps ACTS II, Chennai Mathematical Institute

Source URL: www.cmi.ac.in

• London
• W postcode area
• Geography of England

A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France

Source URL: www.cmi.ac.in

• Petri net
• Formal language
• Computer science
• Mathematics
• Applied mathematics
• Models of computation
• Concurrency
• Diagrams