TransForm: Theoretical Foundations of Transactional Memory

Project Information

TRANSFORM

Grant agreement ID: 238639

Project closed

Start date 1 November 2009

End date 31 October 2013

Funded under

• Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Total cost € 2 030 302,00

EU contribution € 2 030 302,00

Coordinated by

IDRYMA TECHNOLOGIAS KAI EREVNAS
Greece

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Publications via OpenAIRE (17)

A Contention-Friendly Methodology for Search Structures

Author(s): Crain, Tyler; Gramoli, Vincent; Raynal, Michel
Published in: HAL CCSD[Research Report] 2012 2012

The PCL Theorem

Author(s): Victor Bushkov; Dmytro Dziuma; Panagiota Fatourou; Rachid Guerraoui
Published in: Association for Computing Machinery (ACM)Crossref 2014
Permanent ID: Digital Object Identifier:10.1145/3266141; Digital Object Identifier:10.1145/2612669.2612690; Microsoft Academic Graph Identifier:2055121349; Microsoft Academic Graph Identifier:2904703097

Transactional scheduling for read-dominated workloads

Author(s): Attiya, Hagit; Milani, Alessia
Published in: Elsevier BVLecture Notes in Computer Science ISBN: 9783642108761 2009
Permanent ID: Digital Object Identifier:10.1016/j.jpdc.2012.05.012; Digital Object Identifier:10.1007/978-3-642-10877-8_3; Microsoft Academic Graph Identifier:2006156072; Microsoft Academic Graph Identifier:2101622459

A Contention-Friendly, Non-Blocking Skip List

Author(s): Crain, Tyler; Gramoli, Vincent; Raynal, Michel
Published in: HAL CCSDhttps://inria.hal.science/hal-00699794 2012

STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code

Author(s): Crain, Tyler; Kanellou, Eleni; Raynal, Michel
Published in: Springer Berlin Heidelberg[Research Report] RR-7970, INRIA. 2012 2012
Permanent ID: Digital Object Identifier:10.1007/978-3-642-33078-0_23; Microsoft Academic Graph Identifier:204696703

On the Cost of Concurrency in Transactional Memory

Author(s): Petr Kuznetsov; Srivatsan Ravi
Published in: Springer Berlin HeidelbergLecture Notes in Computer Science ISBN: 9783642258725 2011
Permanent ID: Digital Object Identifier:10.1007/978-3-642-25873-2_9; Digital Object Identifier:10.48550/arxiv.1103.1302; arXiv:http://arxiv.org/abs/1103.1302; Microsoft Academic Graph Identifier:2963879329

On improving the ease of use of the software transactional memory abstraction

Author(s): Crain, Tyler

Towards a Universal Construction for Transaction-Based Multiprocess Programs

Author(s): Crain, Tyler; Imbs, Damien; Raynal, Michel
Published in: Springer Berlin HeidelbergCrossref 2012
Permanent ID: Digital Object Identifier:10.1007/978-3-642-25959-3_5; Digital Object Identifier:10.1016/j.tcs.2012.09.011; Microsoft Academic Graph Identifier:192776339; Microsoft Academic Graph Identifier:2013953807

Composing Relaxed Transactions

Author(s): Rachid Guerraoui; Mihai Letia; Vincent Gramoli
Published in: IEEECrossref 2013
Permanent ID: Digital Object Identifier:10.1109/ipdps.2013.42; Microsoft Academic Graph Identifier:2241823029

A Single-Version STM that Is Multi-Versioned Permissive

Author(s): Eshcar Hillel; Eshcar Hillel; Hagit Attiya
Published in: Springer Science and Business Media LLCCrossref 2012
Permanent ID: Digital Object Identifier:10.1007/s00224-012-9406-3; Microsoft Academic Graph Identifier:2012688519

Showing 1-10 out of 17