Dynamic Synthesis for Relaxed Memory Models

doi 10.1145/2254064.2254115
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Partial-Coherence Abstractions for Relaxed Memory Models

ACM SIGPLAN Notices
2011English

Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2000English

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Dynamic Specification Tests for Dynamic Factor Models

Journal of Applied Econometrics
EconomicsEconometricsSocial Sciences
2019English

Remote Synthesis and Control Information Technology of System-Dynamic Models

Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2015English

Memory Modeling for System Synthesis

English

Fixprice Models for Dynamic Studies

Working paper (Federal Reserve Bank of Cleveland)
1985English

Dynamic Load Balancing for Distributed Memory Multiprocessors

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

Dynamic Hierarchical Models for Monetary Transmission

Statistical Analysis and Data Mining
Computer Science ApplicationsInformation SystemsAnalysis
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy