Amanote Research
Register
Sign 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 Physics
Nuclear
Unlocking Concurrency
Queue
Computer Science
Designing Best Effort Networks-On-Chip to Meet Hard Latency Constraints
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
CONCUR 2007 – Concurrency Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
PyCSP - Controlled Concurrency
International Journal of Information Processing and Management
Modeling Concurrency With Geometry
Adding Concurrency to Smart Contracts
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
Walking to the Beat of Their Own Drum: How Children and Adults Meet Timing Constraints
PLoS ONE
Multidisciplinary
Concurrency Debugging With MaxSMT
Proceedings of the AAAI Conference on Artificial Intelligence