Hardware Synthesis of Weakly Consistent C Concurrency

doi 10.1145/3020078.3021733
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Weakly-Bayesian and Consistent Assessments

SSRN Electronic Journal
2011English

Effective Stateless Model Checking for C/C++ Concurrency

Proceedings of the ACM on Programming Languages
2018English

Synthesis of Hardware Models in C With Pointers and Complex Data Structures

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
HardwareElectronic EngineeringElectricalArchitectureSoftware
2001English

Consistent Brain Ageing Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Self-Consistent Synthesis of the Squalene Synthase Inhibitor Zaragozic Acid C via Controlled Oligomerization

Journal of the American Chemical Society
BiochemistryColloidCatalysisChemistrySurface Chemistry
2008English

μC++: Concurrency in the Object-Oriented Language C++

Software - Practice and Experience
Software
1992English

An Efficient Self-Consistent Field Method for Large Systems of Weakly Interacting Components

Journal of Chemical Physics
MedicineTheoretical ChemistryAstronomyPhysicsPhysical
2006English

Principles of Distributed Test Synthesis Based on True-Concurrency Models

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2002English

Hardware Synthesis From Term Rewriting Systems

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy