Amanote Research

Amanote Research

    RegisterSign In

Constraints Meet Concurrency

Atlantis Studies in Computing
doi 10.2991/978-94-6239-067-6
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2014

Authors
Jacopo Mauro
Publisher

Atlantis Press


Related search

A UV Complete Compositeness Scenario: LHC Constraints Meet the Lattice

Journal of High Energy Physics
High Energy PhysicsNuclear
2017English

Unlocking Concurrency

Queue
Computer Science
2006English

Designing Best Effort Networks-On-Chip to Meet Hard Latency Constraints

Transactions on Embedded Computing Systems
HardwareArchitectureSoftware
2013English

CONCUR 2007 – Concurrency Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

PyCSP - Controlled Concurrency

International Journal of Information Processing and Management
2010English

Modeling Concurrency With Geometry

1991English

Adding Concurrency to Smart Contracts

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2019English

Walking to the Beat of Their Own Drum: How Children and Adults Meet Timing Constraints

PLoS ONE
Multidisciplinary
2015English

Concurrency Debugging With MaxSMT

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy