Modeling concurrent real-time processes using discrete events

ISSN： 1022-7091

Source： Annals of Software Engineering, Vol.7, Iss.1-4, 1999-01, pp. : 25-45

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

User-defined schedulers for real-time concurrent objects

By Bjørk Joakim

Innovations in Systems and Software Engineering, Vol. 9, Iss. 1, 2013-03 ,pp. : 29-43

Springer Publishing Company

Access to resources Recommend Favorite

DISCRETE OPTIMIZATION ALGORITHMS IN REAL-TIME VISUAL TRACKING

By Patricio Miguel

Applied Artificial Intelligence, Vol. 23, Iss. 9, 2009-10 ,pp. : 805-827

Taylor & Francis Ltd

Access to resources Recommend Favorite

Real-time system = discrete system + clock variables

By Alur Rajeev A. Thomas

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 86-109

Springer Publishing Company

Access to resources Recommend Favorite

Characterizing Non-Zenoness on Real-Time Processes

By Stribrna J. Lee I.

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite

Concurrent System to Resolve Real-time Conflicts in Multi-robot Systems

By Cohen G.

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 2, 1995-04 ,pp. : 169-175

Elsevier

Access to resources Recommend Favorite