Author of the publication

Performance Evaluation of A Testing Framework Using QuickCheck and Hadoop.

, and . J. Inf. Process., 20 (2): 340-346 (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

Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud., , and . ICSOFT (1), page 264-268. INSTICC Press, (2009)Parallelism Control and Storage Management in Datarol PE., , , and . IFIP Congress (1), volume A-12 of IFIP Transactions, page 535-541. North-Holland, (1992)Enforcing the optimal set of controls for state feedback with non-redundant controllers., , and . SMC, page 1394-1399. IEEE, (2007)Parallelism Control Scheme in a Dataflow Architecture., , , and . CONPAR, volume 634 of Lecture Notes in Computer Science, page 743-748. Springer, (1992)Effect of context aware scheduler on TLB., and . IPDPS, page 1-8. IEEE, (2008)Datarol-II: A Fine-Grain Massively Parallel Architecture., , , and . PARLE, volume 817 of Lecture Notes in Computer Science, page 781-784. Springer, (1994)Towards Verifying VDM Using SPIN., , , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 241-256. Springer, (2015)Visualizing centrality of process area networks in CMMI-DEV., , , and . ICSSP, page 173-174. ACM, (2015)Generating supportive hypotheses in introducing formal methods using a software processes improvement model., , , and . FormaliSE, page 24-30. ACM, (2014)On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets., , and . IMECS, page 1516-1521. Newswood Limited, (2007)