Model Checking Transactional Memory With Spin

doi 10.1109/icdcs.2009.72
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Parallel Programming With Transactional Memory

Queue
Computer Science
2008English

Adaptive Model-Based Scheduling in Software Transactional Memory

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2020English

A Model of Dynamic Separation for Transactional Memory

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Hardware Transactional Memory With Software-Defined Conflicts

Transactions on Architecture and Code Optimization
HardwareInformation SystemsArchitectureSoftware
2012English

Extensible Transactional Memory Testbed

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2010English

Exploring Garbage Collection With Haswell Hardware Transactional Memory

ACM SIGPLAN Notices
2014English

Towards Transactional Memory for OpenMP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Approximate Consistency in Transactional Memory

International Journal of Networking and Computing
2018English

Memory With a Spin

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy