Results 1 to 10 of about 13,975 (278)
Concurrent Typestate-Oriented Programming in Java [PDF]
EPTCS 291, 2019, pp. 24-34, 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 ...
GERBO, ROSITA, Luca Padovani
arxiv +12 more sources
jpf-concurrent: An extension of Java PathFinder for java.util.concurrent [PDF]
arXiv, 2012 One of the main challenges when verifying multi-threaded Java applications is the state space explosion problem. Due to thread interleavings, the number of states that the model checker has to verify can grow rapidly and impede the feasibility of verification. In the Java language, the source of thread interleavings can be the system under test as well
Ujma, M, Shafiei, N
arxiv +6 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 +2 more sources
Flow Java: Declarative Concurrency for Java [PDF]
, 2003 Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. They support a declarative model of concurrency that avoids explicitly suspending and resuming computations.
Drejhammar, Frej +3 more
openaire +6 more sources
Ibdxnet: Leveraging InfiniBand in Highly Concurrent Java Applications [PDF]
arXiv, 2018 In this report, we describe the design and implementation of Ibdxnet, a low-latency and high-throughput transport providing the benefits of InfiniBand networks to Java applications. Ibdxnet is part of the Java-based DXNet library, a highly concurrent and simple to use messaging stack with transparent serialization of messaging objects and focus on very
Stefan Nothaas +2 more
arxiv +3 more sources
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Safety-Critical Java (SCJ) is a version of Java whose goal is to support the development of real-time, embedded, safety-critical software. In particular, SCJ supports certification of such software by introducing abstractions that enforce a simpler ...
Alvaro Miyazawa, Ana Cavalcanti
doaj +2 more sources
Treo: Textual Syntax for Reo Connectors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (re ...
Kasper Dokter, Farhad Arbab
doaj +2 more sources
Concurrency control with Java and relational databases [PDF]
Proceedings 26th Annual International Computer Software and Applications, 2003 As Web-based information systems usually run in concurrent environment, the complexity for implementing and testing those systems is significantly high. Therefore it is useful to have guidelines to introduce concurrency control, avoiding ad hoc control strategies, which may have a negative impact in efficiency and may not guarantee system safety.
Paulo Borba, Sergio Soares
openaire +3 more sources
Concurrent Approach to Flynn's SPMD Classification through Java [PDF]
arXiv, 2010 Parallel programming models exist as an abstraction of hardware and memory architectures. 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 computations model, pipelined computations model.
Bala Dhandayuthapani Veerasamy
arxiv +3 more sources
Refactoring for Java-Structured Concurrency
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 +2 more sources