On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems

By Gramlich B.  

Theoretical Computer Science, Vol. 165, Iss. 1, 1996-09 ,pp. : 97-131

Elsevier

Access to resources Recommend Favorite

Determination of efficient simulation model fidelity for flexible manufacturing systems

By Madan Monish   Son Young-Jun   Cho Hyunbo   Kulvatunyou Boonserm  

International Journal of Computer Integrated Manufacturing, Vol. 18, Iss. 2-3, 2005-03 ,pp. : 236-250

Taylor & Francis Ltd

Access to resources Recommend Favorite

An Efficient Hardware Implementation of Feed-Forward Neural Networks: Special Issue: Engineering Intelligent Systems (Guest Editor: László Monostori)

By Szabó Tamás   Horváth Gábor  

Applied Intelligence, Vol. 21, Iss. 2, 2004-09 ,pp. : 143-158

Springer Publishing Company

Access to resources Recommend Favorite

Branching time controllers for discrete event systems

By Madhusudan P.   Thiagarajan  

Theoretical Computer Science, Vol. 274, Iss. 1, 2002-03 ,pp. : 117-149

Elsevier

Access to resources Recommend Favorite

Efficient run-time co-simulation model switching for holistic analysis of embedded systems

By Karner Michael   Armengaud Eric   Steger Christian   Weiss Reinhold  

International Journal of Embedded Systems, Vol. 5, Iss. 4, 2013-11 ,pp. : 208-224

Inderscience Publishers

Access to resources Recommend Favorite