Filters








32,716 Hits in 5.0 sec

A structured approach for developing concurrent programs in Java

Masaaki Mizuno
1999 Information Processing Letters  
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

Simone R. S. Souza, Maria A. S. Brito, Rodolfo A. Silva, Paulo S. L. Souza, Ed Zaluska
2011 Proceedings of the Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '11  
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]

Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
2010 IFIP Advances in Information and Communication Technology  
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

L. Yang, M. R. Poppleton
2009 Concurrency and Computation  
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

Silvana M. Melo, Simone R. S. Souza, Rodolfo A. Silva, Paulo S. L. Souza
2015 Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015  
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

Cheng Ng, George J. Pothering, Tommi Teräsvirta, Constance G. Bland, Stephen J. Hartley, Mark A. Holliday, Pamela B. Lawhead, John Lewis, Myles F. McNally, Christopher H. Nevison
1998 ACM SIGCSE Bulletin  
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

Joseph Bergin, Cheng Ng, George J. Pothering, Tommi Teräsvirta, Thomas L. Naps, Constance G. Bland, Stephen J. Hartley, Mark A. Holliday, Pamela B. Lawhead, John Lewis, Myles F. McNally, Christopher H. Nevison
1998 ACM SIGCSE Bulletin  
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]

Letu Yang, Michael R. Poppleton
2006 Lecture Notes in Computer Science  
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

Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
2012 Proceedings of the sixth workshop on Programming languages meets program verification - PLPV '12  
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

Bala Dhandayuthapani Veerasamy
2010 Zenodo  
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

Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2011 2011 International Symposium on Empirical Software Engineering and Measurement  
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

Sergio Soares, Paulo Borba, Ricardo Lima
2007 Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International  
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]

Mateusz Ujma, Nastaran Shafiei
2012 arXiv   pre-print
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

Abbas Muhammad Rabiu, Etemi Josua Garba, Benson Yusuf Baha, Yusuf Musa Malgwi, Mu'azu Dauda
2022 OIRT Journal of Information Technology  
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

Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer
2011 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T)  
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