Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection

doi 10.1145/2254064.2254128
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Towards Proving Optimistic Multicore Schedulers

2017English

Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

Scientific Programming
Computer Science ApplicationsSoftware
2019English

Task-Aware Priority Scheduling for Multicore Processors

2016English

Synchronous Modeling and Validation of Priority Inheritance Schedulers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Multicore Acceleration of CG Algorithms Using Blocked-Pipeline-Matching Techniques

IEEE Transactions on Magnetics
Electronic EngineeringOpticalElectricalMagnetic MaterialsElectronic
2010English

Session-Based Compilation Framework for Multicore Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Permission-Based Separation Logic for Message-Passing Concurrency

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Intelligent Adaptive Schedulers for Railways

International Journal of Transport Development and Integration
Automotive EngineeringCivilTransportationStructural Engineering
2017English

A UML/MARTE Model Analysis Approach for Detection of Concurrency Faults

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy