Small deterministic Turing machines

By Kudlek M.  

Theoretical Computer Science, Vol. 168, Iss. 2, 1996-11 ,pp. : 241-255

Elsevier

Access to resources Recommend Favorite

Real-time virtual machines for avionics software migration

By Sha Lui   Lee Chang-Gun  

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 156-165

Inderscience Publishers

Access to resources Recommend Favorite

Real-Time Motion Analysis with Linear Programming

By Ben-Ezra M.   Peleg S.   Werman M.  

Computer Vision and Image Understanding, Vol. 78, Iss. 1, 2000-04 ,pp. : 32-52

Academic Press

Access to resources Recommend Favorite

Efficiently identifying deterministic real-time automata from labeled data

By Verwer Sicco   Weerdt Mathijs   Witteveen Cees  

Machine Learning, Vol. 86, Iss. 3, 2012-03 ,pp. : 295-333

Springer Publishing Company

Access to resources Recommend Favorite

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

By Furfaro Angelo   Nigro Libero   Pupo Francesco  

Real-Time Systems, Vol. 32, Iss. 1-2, 2006-02 ,pp. : 105-123

Springer Publishing Company

Access to resources Recommend Favorite