Show simple item record

dc.contributor.authorKwak, Hee-Hwanen
dc.contributor.authorLee, Insupen
dc.contributor.authorPhilippou, Annaen
dc.contributor.authorChoi, Jin-Youngen
dc.contributor.authorSokolsky, Olegen
dc.contributor.editorAnonen
dc.creatorKwak, Hee-Hwanen
dc.creatorLee, Insupen
dc.creatorPhilippou, Annaen
dc.creatorChoi, Jin-Youngen
dc.creatorSokolsky, Olegen
dc.date.accessioned2019-11-13T10:40:49Z
dc.date.available2019-11-13T10:40:49Z
dc.date.issued1998
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54311
dc.description.abstractWe 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.publisherIEEEen
dc.sourceProceedings - Real-Time Systems Symposiumen
dc.sourceProceedings of the 1998 19th IEEE Real-Time Systems Symposiumen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-0032291695&partnerID=40&md5=25f8a67af3b3148a777f3755cc0557ac
dc.subjectAlgebraen
dc.subjectReal time systemsen
dc.subjectAlgorithmsen
dc.subjectInteger programmingen
dc.subjectConstraint theoryen
dc.subjectLogic programmingen
dc.subjectSymbolic schedulability analysisen
dc.titleSymbolic schedulability analysis of real-time systemsen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.description.startingpage409
dc.description.endingpage418
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeConference Objecten
dc.description.notes<p>Sponsors: IEEEen
dc.description.notesConference code: 49497en
dc.description.notesCited By :14</p>en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record