A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A structured approach for developing concurrent programs in Java
1999
Information Processing Letters
Preserved Fulltext
Andrews, for their valuable and constructive comments. ...
Formal Approach for Developing Concurrent Programs This section reviews a formal method to develop concurrent programs presented in [1, 2] . ...
A more preferable approach is to develop a direct translation from coarse-grained solutions to efficient fine-grained programs in Java synchronization primitives. ...
doi:10.1016/s0020-0190(99)00020-4
fatcat:vrplagamanakpi5l53lgd6tbsa
Research in concurrent software testing
2011
Proceedings of the Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The current increased demand for distributed applications in domains such as web services and cloud computing has significantly increased interest in concurrent programming. ...
This paper presents a systematic review of the published research related to concurrent testing approaches, bug classification and testing tools. ...
A number of research studies have been conducted in concurrent program testing, investigating new test mechanisms and adapting different approaches from the classical approaches used for sequential program ...
doi:10.1145/2002962.2002964
dblp:conf/issta/SouzaBSSZ11
fatcat:rlpgzyfiqvdzvptyb2hxk4tjvi
Model Checking of Concurrent Algorithms: From Java to C
[chapter]
2010
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Among existing software model checkers for multi-threaded programs, Java PathFinder for Java bytecode is probably the most flexible one. ...
Because of this, we found it beneficial to prototype a concurrent algorithm in Java, and use the richer feature set of a Java model checker, before moving our implementation to C. ...
Acknowledgements We would like to thank the research team developing inspect for their feedback and advice on using their tool. This work was supported by a kakenhi grant (2030006) from JSPS. ...
doi:10.1007/978-3-642-15234-4_10
fatcat:bzafbsqflfehxeh4n6nsbvjppe
Java implementation platform for the integrated state- and event-based specification in PROB
2009
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Magee and Kramer [8] introduce a process algebra language, finite state processes, and provide a formal concurrency model for developing concurrent Java programs. ...
With all the Java facility components in the JCSP package, developers can easily construct a concurrent Java program from its CSP/occam specification. ...
INTRODUCTION Formal approaches to modelling and developing concurrent computer systems, such as CSP [1] and CCS [2] , have been in existence for more than thirty years. ...
doi:10.1002/cpe.1425
fatcat:75flremigfb75iodbevaaz7bf4
Concurrent software testing in practice: a catalog of tools
2015
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper proposes a new classification for a set of testing tools for concurrent programs, regarding attributes, such as testing technique supported, programming language, and paradigm of development ...
The purpose is to provide a useful categorization guide that helps testing practitioners and researchers in the selection of testing tools for concurrent programs. ...
ConMan [8] implements a set of mutation operators for concurrent programs in Java (J2SE 5.0). ...
doi:10.1145/2804322.2804328
dblp:conf/sigsoft/MeloSSS15
fatcat:2hr2k6h7yrhxrkktfdmf6pvxom
Java resources for computer science instruction
1998
ACM SIGCSE Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
These courses could, for example, integrate Internet-based distributed programming, concurrency, database programming, graphics and visualization, human interface design and object-oriented development ...
development using Java. ...
This way, a Java program can be well-structured and well-behaved. The library is written in 100% Java. ...
doi:10.1145/306286.306324
fatcat:jnaiyyep7neefiq4ty6n4u6vb4
Java resources for computer science instruction
1998
ACM SIGCSE Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
These courses could, for example, integrate Internet-based distributed programming, concurrency, database programming, graphics and visualization, human interface design and object-oriented development ...
development using Java. ...
This way, a Java program can be well-structured and well-behaved. The library is written in 100% Java. ...
doi:10.1145/316572.358291
fatcat:324gff7wfbdgxkb3frb3nei35a
Automatic Translation from Combined B and CSP Specification to Java Programs
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
At the implementation end of the development, concurrent programming in Java remains a demanding and error-prone activity, because of the need to verify critical properties of safety and liveness as well ...
This work contributes to the automated development of concurrent Java programs from such integrated specifications. ...
Acknowledgements: We would like to thank Denis A. Nicole for his very helpful comments. ...
doi:10.1007/11955757_8
fatcat:pd3eu3snunbnzb4lkjayq7o4p4
The VerCors project
2012
Proceedings of the sixth workshop on Programming languages meets program verification - PLPV '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Its goal is to develop a specification language and program logic for concurrent programs, and in particular for concurrent data structures, as these are the essential building blocks of many different ...
The program logic is based on our earlier work on permission-based separation logic for Java. This is an extension of Hoare logic that is particularly convenient to reason about concurrent programs. ...
Acknowledgments This work was supported by ERC grant 258405 for the Ver-Cors project (Amighi, Huisman, and Zaharieva-Stojanovski), and Artemis grant 2008-100039 for the CHARTER project (Blom). ...
doi:10.1145/2103776.2103785
dblp:conf/plpv/AmighiBHZ12
fatcat:lbjvldqewbccldfyfgo3muftvq
Concurrent Approach To Data Parallel Model Using Java
2010
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
These models are not specific to a particular type of machine or memory architecture. This paper expresses the model program for concurrent approach to data parallel model through java programming. ...
There are several parallel programming models in commonly use; they are shared memory model, thread model, message passing model, data parallel model, hybrid model, Flynn-s models, embarrassingly parallel ...
Parallel programming and distributed programming [1] are two basic approaches for achieving concurrency with a piece of software. ...
doi:10.5281/zenodo.1061628
fatcat:z32lmngv55ayvh5fmrfaranmoy
Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages
2011
2011 International Symposium on Empirical Software Engineering and Measurement
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We apply our design to a comparison of two object-oriented languages for concurrency, multithreaded Java and SCOOP (Simple Concurrent Object-Oriented Programming), in an academic setting. ...
As a result, an increasing number of developers have to learn to write concurrent programs, a task that is known to be hard even for the expert. ...
Torshizi has been supported by a PGS grant from NSERC. ...
doi:10.1109/esem.2011.41
dblp:conf/esem/NanzTPM11
fatcat:rcohotmknje6hafnald6v5c4zu
Concurrency Control Modularization with Aspect-Oriented Programming
2007
Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Concurrent programs are essential in the development of web based information systems. ...
The framework comprises a set of reusable aspects useful for modularizing concurrency control. ...
An as-pect can affect both static and dynamic structure of Java programs. ...
doi:10.1109/compsac.2007.93
dblp:conf/compsac/SoaresBL07
fatcat:qae6uj345nfifjosusgwqsys64
jpf-concurrent: An extension of Java PathFinder for java.util.concurrent
[article]
2012
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
To show the capabilities of our approach, we have created a JPF extension called jpf-concurrent which abstracts classes from the Java Concurrency Utilities. ...
In our paper, we propose a method to minimize the state space explosion problem for applications verified under the Java PathFinder (JPF) model checker. ...
In 2008 and 2011 development of this project has been funded by Google as a part of Google Summer of Code program. ...
arXiv:1205.0042v1
fatcat:i2uuflkchvahpoq33nugjs5fga
Performance Optimization of Sorting Algorithm using Processor Affinity in Java
2022
OIRT Journal of Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
JDK 12.0 is the version of Java used for development. An array data structure containing One Million Elements (1,000,000) was used as the preferred data structure. ...
The processor affinity library in Java can switch ON all the processing cores available in a multi-processing environment. ...
After almost a decade, in 2004, a new version 5 of Java was released, including some concurrency utilities. ...
doi:10.53944/ojit-2207
fatcat:6lh54xdnarfyhm46fl4cgemvhm
Empirical assessment of languages for teaching concurrency: Methodology and application
2011
2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Concurrency has been rapidly gaining importance in computing, and correspondingly in computing curricula. Concurrent programming is, however, notoriously hard even for expert programmers. ...
The results show an advantage for SCOOP even though the study participants had previous training in writing multithreaded Java programs. ...
Torshizi has been supported by a PGS grant from NSERC. ...
doi:10.1109/cseet.2011.5876128
dblp:conf/csee/NanzTPM11
fatcat:vk243kw3erhnxe25t2tivqm354
« Previous
Showing results 1 — 15 out of 32,716 results