dc.contributor.author | Kwak, Hee-Hwan | en |
dc.contributor.author | Lee, Insup | en |
dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Choi, Jin-Young | en |
dc.contributor.author | Sokolsky, Oleg | en |
dc.contributor.editor | Anon | en |
dc.creator | Kwak, Hee-Hwan | en |
dc.creator | Lee, Insup | en |
dc.creator | Philippou, Anna | en |
dc.creator | Choi, Jin-Young | en |
dc.creator | Sokolsky, Oleg | en |
dc.date.accessioned | 2019-11-13T10:40:49Z | |
dc.date.available | 2019-11-13T10:40:49Z | |
dc.date.issued | 1998 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54311 | |
dc.description.abstract | We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities. We use ACSR-VP to describe an instance of a scheduling problem as a process that has parameters of the problem as free variables. The specification is analyzed by means of a symbolic algorithm. The outcome of the analysis is a set of equations, a solution to which yields the values of the parameters that make the system schedulable. Equations are solved using integer programming or constraint logic programming. The paper presents specifications of two scheduling problems as examples. | en |
dc.publisher | IEEE | en |
dc.source | Proceedings - Real-Time Systems Symposium | en |
dc.source | Proceedings of the 1998 19th IEEE Real-Time Systems Symposium | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0032291695&partnerID=40&md5=25f8a67af3b3148a777f3755cc0557ac | |
dc.subject | Algebra | en |
dc.subject | Real time systems | en |
dc.subject | Algorithms | en |
dc.subject | Integer programming | en |
dc.subject | Constraint theory | en |
dc.subject | Logic programming | en |
dc.subject | Symbolic schedulability analysis | en |
dc.title | Symbolic schedulability analysis of real-time systems | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.startingpage | 409 | |
dc.description.endingpage | 418 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Sponsors: IEEE | en |
dc.description.notes | Conference code: 49497 | en |
dc.description.notes | Cited By :14</p> | en |