Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Santosh Nagarakatte
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
Ironclad C++
Related publications
Towards Proving Optimistic Multicore Schedulers
Concurrency Bug Avoiding Based on Optimized Software Transactional Memory
Scientific Programming
Computer Science Applications
Software
Task-Aware Priority Scheduling for Multicore Processors
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multicore Acceleration of CG Algorithms Using Blocked-Pipeline-Matching Techniques
IEEE Transactions on Magnetics
Electronic Engineering
Optical
Electrical
Magnetic Materials
Electronic
Session-Based Compilation Framework for Multicore Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Permission-Based Separation Logic for Message-Passing Concurrency
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Intelligent Adaptive Schedulers for Railways
International Journal of Transport Development and Integration
Automotive Engineering
Civil
Transportation
Structural Engineering
A UML/MARTE Model Analysis Approach for Detection of Concurrency Faults
