Results 1 to 10 of about 24,092 (308)
Refactoring for Java-Structured Concurrency [PDF]
Applied SciencesStructured concurrency treats multiple tasks running in different threads as a single unit, thereby improving reliability and enhancing observability. The existing IDE (Integrated Development Environment) does not provide sufficient support to leverage ...
Yang Zhang +4 more
doaj +3 more sources
Modularizing and Specifying Protocols among Threads [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We identify three problems with current techniques for implementing protocols among threads, which complicate and impair the scalability of multicore software development: implementing synchronization, implementing coordination, and modularizing ...
Farhad Arbab, Sung-Shik T.Q. Jongmans
doaj +4 more sources
Structured Concurrency in Java
Journal of Mathematical & Computer Applications, 2023 Concurrency is vital for high performance software applications. The Java language has support for concurrency but it requires developers to handle execution of concurrent tasks. This adds a learning curve and makes concurrent code harder to read, write and debug.
Nilesh Jagnik, Nilesh Jagnik
openalex +2 more sources
Refactoring sequential Java code for concurrency via concurrent libraries [PDF]
2009 IEEE 31st International Conference on Software Engineering, 2009 Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of the complexity of writing thread-safe and scalable programs is hidden in the library. To use this package, programmers still need to reengineer existing code. This is tedious
Danny Dig +2 more
openalex +3 more sources
Error Detection in Concurrent Java Programs
Electronic Notes in Theoretical Computer Science, 2006 AbstractConcurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of Quality Assurance (QA). We present a case study in which a specialized model checker was used to discover concurrency errors in a large preexisting code base.
Graham Hughes +3 more
openalex +2 more sources
Lecture Notes : Concurrency Topics in Java [PDF]
Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik, 2022 Concurrency is a topic which is hard to grasp since the effects of multi-threaded code can not be easily deduced by a single threaded human brain. These lecture notes are an introduction into concurrency programming in Java and summarize the main topics of our module DSG-PKS-B at the University of Bamberg with the exception of message passing concepts ...
Johannes Manner, Sebastian Böhm
openalex +2 more sources
, 2010 An essential element of secure coding in the Java programming language is well-documented and enforceable coding standards. Coding standards encourage programmers to follow a uniform set of guidelines determined by the requirements of the project and organization, rather than by the programmer's familiarity or preference.
Fred Long +3 more
openalex +3 more sources
Safe and Verifiable Design of Concurrent Java Programs [PDF]
International Journal of Computers and Applications, 2001 The design of concurrent programs has a reputation for being difficult, and thus potentially dangerous in safetycritical real-time and embedded systems. The recent appearance of Java, whilst cleaning up many insecure aspects of OO programming endemic in ...
Bakkers, A.W.P. +3 more
core +5 more sources
Concurrent Typestate-Oriented Programming in Java [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We describe a generative approach that enables concurrent typestate-oriented programming in Java and other mainstream languages. The approach allows programmers to implement objects exposing a state-sensitive interface using a high-level synchronization abstraction that synchronizes methods with the states of the receiver object in which those methods ...
Rosita Gerbo, Luca Padovani
openalex +7 more sources
Configuring Java Pathfinder for concurrent Java programs
, 2017 Software verification is a field of computer science dedicated to guar- antee that a program runs according to a formalized specification. Of various kinds of verification techniques model checking tries all possi- ble states of a program and makes sure each state satisfies a set of for- malized properties.
Andrew Bwogi, Tuncay Dagdelen
openalex +2 more sources