Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

fernand0 Reveliotis [7 articles]

Recent papers posted to fernand0 library by the author Reveliotis. You can also see Reveliotis everyone.
  • Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
    Automatic Control, IEEE Transactions on, Vol. 52, No. 12. (2007), pp. 2345-2350.
    posted to avoidance deadlock ras resources by fernand0 on 2008-01-28 10:10:46 as **
  • Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states
    Robotics and Automation, IEEE Transactions on, Vol. 18, No. 2. (2002), pp. 234-240.
    by J Park, SA Reveliotis
    posted to citas deadlock supervisory by fernand0 on 2006-09-06 12:05:21 as **
  • Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
    Automatic Control, IEEE Transactions on, Vol. 46, No. 10. (2001), pp. 1572-1583.
    by Jonghun Park, SA Reveliotis
    posted to citas deadlock supervisory by fernand0 on 2006-09-06 12:02:45 as **
  • On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems
    Vol. 2679/2003 (2003), pp. 241-255.
    by Spyros A Reveliotis
    posted to citas deadlock supervisory by fernand0 on 2006-09-06 12:01:28 as **
  • A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings
    Decision and Control, 2000. Proceedings of the 39th IEEE Conference on, Vol. 3 (2000), pp. 2663-2669 vol.3.
    by Jonghun Park, SA Reveliotis
    posted to citas deadlock supervisory by fernand0 on 2006-09-06 11:55:16 as **
  • Liveness enforcing supervision for resource allocation systems with process synchronizations
    Decision and Control, 2003. Proceedings. 42nd IEEE Conference on, Vol. 4 (2003), pp. 3735-3741 vol.4.
    by SF Chew, MA Lawley, SA Reveliotis
    posted to citas deadlock supervisory by fernand0 on 2006-09-06 11:46:40 as **
  • SIPHON-BASED CHARACTERIZATION OF LIVENESS AND LIVENESS-ENFORCING SUPERVISION FOR SEQUENTIAL RESOURCE ALLOCATION SYSTEMS
    (2005), pp. 283-308.
    edited by Mengchu Zhou, Maria P Fanti
    posted to citas deadlock supervisoty by fernand0 on 2006-09-06 11:26:46 as **
  • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/fernand0/author/Reveliotis

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.