An Artificial Bee Colony Algorithm for Detecting Distributed Predicates

By  

International Journal of Distributed Systems and Technologies (IJDST), Vol. 9, Iss. 3, 2018-07 ,pp. : 53-64

IGI Global_journal

Access to resources Recommend Favorite

Verification of distributed systems with local-global predicates

By Chandy K.  

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 649-679

Springer Publishing Company

Access to resources Recommend Favorite

Efficient Detection of Channel Predicates in Distributed Systems

By Garg V.K.   Chase C.M.   Kilgore R.   Mitchell J.R.  

Journal of Parallel and Distributed Computing, Vol. 45, Iss. 2, 1997-09 ,pp. : 134-147

Academic Press

Access to resources Recommend Favorite

An Adaptive Partitioning Algorithm for Distributed Discrete Event Simulation Systems

By Boukerche A.  

Journal of Parallel and Distributed Computing, Vol. 62, Iss. 9, 2002-09 ,pp. : 1454-1475

Academic Press

Access to resources Recommend Favorite

A distributed, event-driven control architecture for flexibly automated manufacturing systems

By Park Jonghun   Reveliotis Spyros A.   Bodner Douglas A.   McGinnis Leon F.  

International Journal of Computer Integrated Manufacturing, Vol. 15, Iss. 2, 2002-03 ,pp. : 109-126

Taylor & Francis Ltd

Access to resources Recommend Favorite