Indian Science Technology and Engineering facilities Map
Supplier Map
Service Map

Publications

Publication Details

Applicant:
Indian Institute of Technology (IIT) Patna 
Author:
Mayank, J., Mondal, A.  
Corresponding Authors:
Jaishree Mayank, Arijit Mondal 
DOI #:
doi.org/10.1016/j.sysarc.2020.101818 
Title:
Efficient SAT encoding scheme for schedulability analysis of non-preemptive tasks on multiple computational resources 
Journal:
Journal of Systems Architecture  
Year:
2020 
Volume:
110 
Page:
NA 
Keywords:
Non-preemptive, Scheduling, Boolean satisfiability 
Abstract:
This work considers exact schedulability analysis of a set of aperiodic non-preemptive tasks on a given set of computational resources, and the problem is known to be NP-Complete. We propose four different SAT-based encoding schemes to address the exact schedulability problem. Each approach requires a different number of variables and generates a distinct number of clauses. We present extensive comparative studies on those approaches for both theoretical and practical results. Interestingly, the encoding scheme that requires the least number of variables is one of the worst encoding schemes among the four. We observe that it is not only the number of variables but also the other factors such as the number of clauses, the number of literals per clause, etc. dictate the performance. Moreover, the solver can play significant role on the performance. Hence, an efficient encoding scheme is absolutely necessary to find a solution quickly for resource-constrained systems. 
Entered by:
Venkata Dantham on 2020-08-04 
 
I-Mitra(आई-मित्र) Welcomes You..
THE VISION
THE MISSION
ABOUT I-STEM
It has always been the basic tenet of the Government of India, in generously funding R&D efforts at academic institutions over the years, that facilities established through such support be made available to those needing them and qualified to make use of them for their own research work
read more >>

However, this was never easy or straightforward for, among other reasons, there was no ready source of information of what facility was available and where. Thanks to the Web, it is much easier today to have a national and regional “inventory of resources”, so as to match users with the resources they need, and to do all this in an efficient and transparent manner.

This can lead to a leap in R&D productivity and greatly enhance the effectiveness of public investment. This is the motivation behind I-STEM.
read less <<
Visitor Hit Counter
Hosted at Indian Institute of Science
Copyright © 2020 I-STEM. All rights reserved.
Audited by: STQC Bengaluru.