Search Results - "concurrent Java"
-
1
Slicing concurrent Java programs using Indus and Kaveri
ISSN: 1433-2779, 1433-2787Published: Heidelberg Springer Nature B.V 01.10.2007Published in International journal on software tools for technology transfer (01.10.2007)“…Program slicing is a program analysis and transformation technique that has been successfully used in a wide range of applications including program…”
Get full text
Journal Article -
2
Maximising the information gained from a study of static analysis technologies for concurrent software
ISSN: 1382-3256, 1573-7616Published: Dordrecht Springer Nature B.V 01.12.2007Published in Empirical software engineering : an international journal (01.12.2007)“…The results of empirical studies in Software Engineering are limited to particular contexts, difficult to generalise and the studies themselves are expensive…”
Get full text
Journal Article -
3
On the effectiveness of runtime techniques to reduce memory sharing overheads in distributed Java implementations
ISSN: 1532-0626, 1532-0634Published: Chichester, UK John Wiley & Sons, Ltd 10.09.2008Published in Concurrency and computation (10.09.2008)“…Distributed Java virtual machine (dJVM) systems enable concurrent Java applications to transparently run on clusters of commodity computers. This is achieved…”
Get full text
Journal Article -
4
Concurrent Java Test Generation as a Search Problem
ISSN: 1571-0661, 1571-0661Published: Elsevier B.V 26.05.2006Published in Electronic notes in theoretical computer science (26.05.2006)“…A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional…”
Get full text
Journal Article -
5
Experimental framework for searching large RDF on GPUs based on key-value storage
ISBN: 1479908053, 9781479908059Published: IEEE 01.05.2013Published in 2013 10th International Joint Conference on Computer Science and Software Engineering (JCSSE) (01.05.2013)“…Resource Description Framework (RDF) is commonly used for the semantic web query. During this decade, due to big data processing, the large numbers of RDF…”
Get full text
Conference Proceeding

