Author of the publication

Dynamic Distributed Scheduling Algorithm for State Space Search.

, , , and . Euro-Par, volume 7484 of Lecture Notes in Computer Science, page 141-154. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Distributed Clustering Framework in Mobile Ad Hoc Networks., and . International Conference on Wireless Networks, page 32-38. CSREA Press, (2004)Deadlock-free scheduling of X10 computations with bounded resources., , , , , and . SPAA, page 229-240. ACM, (2007)Scaling Computation on GPUs Using Powerlists., and . HiPC Workshops, page 34-43. IEEE Computer Society, (2015)Analyzing Protocol Security Through Information-Flow Control., and . ICDCIT, volume 10109 of Lecture Notes in Computer Science, page 159-171. Springer, (2017)Exception Handling in RT-CDL., and . Comput. Lang., 15 (3): 177-192 (1990)An Implementation of P and V., and . Inf. Process. Lett., 12 (4): 196-198 (1981)A Note on Linear Precedence Functions.. Inf. Process. Lett., 5 (3): 81 (1976)Specifying Dynamic Reat-Time Systems in CRP.. IFIP Congress (1), volume A-51 of IFIP Transactions, page 75-80. North-Holland, (1994)Opacity proof for CaPR+ algorithm., , and . ICDCN, page 16:1-16:4. ACM, (2016)Specification and Realization of Access Control in SPKI/SDSI., and . ICISS, volume 4332 of Lecture Notes in Computer Science, page 177-193. Springer, (2006)