Distributed disk-based algorithms for model checking very large Markov chains

By Bell Alexander   Haverkort Boudewijn  

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 177-196

Springer Publishing Company

Access to resources Recommend Favorite

A dependability layer for large-scale distributed systems

By Cristea Valentin   Dobre C.   Pop F.   Stratan C.   Costan A.   Leordeanu C.   Tirsa E.  

International Journal of Grid and Utility Computing, Vol. 2, Iss. 2, 2011-06 ,pp. : 109-118

Inderscience Publishers

Access to resources Recommend Favorite

Guest Editorial on Challenges of Large Applications in Distributed Environments (CLADE)

By Bair Ray   Banicescu Ioana   Parashar Manish  

Cluster Computing, Vol. 8, Iss. 4, 2005-10 ,pp. : 241-242

Springer Publishing Company

Access to resources Recommend Favorite

R&D challenges and solutions for highly complex distributed systems: a middleware perspective

By White Jules  

Journal of Internet Services and Applications, Vol. 3, Iss. 1, 2012-05 ,pp. : 5-13

Springer Publishing Company

Access to resources Recommend Favorite

Data management for large-scale scientific computations in high performance distributed systems

By Choudhary A.   Kandemir M.   No J.   Memik G.   Shen X.   Liao W.   Nagesh H.   More S.   Taylor V.   Thakur R.   Stevens R.  

Cluster Computing, Vol. 3, Iss. 1, 2000-07 ,pp. : 45-60

Springer Publishing Company

Access to resources Recommend Favorite