Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nayden Nedev
Dynamic Synthesis for Relaxed Memory Models
Related publications
Partial-Coherence Abstractions for Relaxed Memory Models
ACM SIGPLAN Notices
Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic Specification Tests for Dynamic Factor Models
Journal of Applied Econometrics
Economics
Econometrics
Social Sciences
Remote Synthesis and Control Information Technology of System-Dynamic Models
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
Memory Modeling for System Synthesis
Fixprice Models for Dynamic Studies
Working paper (Federal Reserve Bank of Cleveland)
Dynamic Load Balancing for Distributed Memory Multiprocessors
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Dynamic Hierarchical Models for Monetary Transmission
Statistical Analysis and Data Mining
Computer Science Applications
Information Systems
Analysis
