BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × Italy
1 × Korea
1 × Sweden
2 × USA
Collaborated with:
A.Nazeem Z.Fei E.Roszkowska M.M.Kokar K.Åkesson Y.Wang H.Liao T.Kelly S.A.Mahlke S.Lafortune
Talks about:
system (7) resourc (6) alloc (5) deadlock (3) avoid (3) transport (2) guidepath (2) sequenti (2) traffic (2) permiss (2)

Person: Spyros A. Reveliotis

DBLP DBLP: Reveliotis:Spyros_A=

Contributed to:

CASE 20152015
CASE 20122012
CASE 20112011
CASE 20092009
CASE 20082008
ML 19911991
CASE 20162016
CASE 20182018
CASE 20192019

Wrote 9 papers:

CASE-2015-FeiAR #bound #clustering #resource management #symbolic computation #using
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, , SAR), pp. 799–806.
CASE-2012-NazeemR #algorithm #performance #resource management
An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems (AN, SAR), pp. 686–693.
CASE-2011-NazeemR #classification #concurrent #design #policy #resource management
Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory (AN, SAR), pp. 405–412.
CASE-2009-WangLNRKML #concurrent #parallel #source code #thread
Maximally permissive deadlock avoidance for multithreaded computer programs (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.
CASE-2008-ReveliotisR #multi #paradigm #resource management
Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.
ML-1991-KokarR #learning
Learning to Select a Model in a Changing World (MMK, SAR), pp. 313–317.
CASE-2016-ReveliotisF #concurrent #resource management #robust
Robust deadlock avoidance for sequential resource allocation systems with resource outages (SAR, ZF), pp. 864–871.
CASE-2018-Reveliotis #liveness
Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems (SAR), pp. 520–527.
CASE-2019-Reveliotis #coordination
An MPC scheme for traffic coordination in open and irreversible, zone-controlled, guidepath-based transport systems (SAR), pp. 1782–1788.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.