Search Results for "concurrent"

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

...If you are saving downloads outside of your application's sandbox, you will need to add the following storage permissions to your application's manifest. For Android SDK version 23(M) and above, you will also need to explicitly request these permissions from the user. Continuous downloading in the background. Concurrent downloading support. Ability to pause and resume downloads. Set the priority of a download. Network-specific downloading support. Ability to retry failed downloads. Ability to group downloads. Easy progress and status tracking. Download remaining time reporting (ETA). Download speed reporting. Save and Retrieve download information anytime. ...

...It also allows you to compose sequences together declaratively through added operators, all while abstracting away concerns like low-level threading, thread-safety, concurrent data structures and synchronization. RxJava is commonly used for running simple background computations. It supports Java 6 or higher and languages that are based on JVM such as JRuby, Groovy and Clojure.

Vavr core is a functional library for Java. It helps to reduce the amount of code and to increase the robustness. A first step towards functional programming is to start thinking in immutable values. Vavr provides immutable collections and the necessary functions and control structures to operate on these values. The results are beautiful and just work. The Vavr binaries can be found on Maven Central. Beside with Gradle and Maven they work also standalone. The documentation gives an overview...

...This is not a specialist solution, it’s not designed to work only for a financial application. The Disruptor is a general-purpose mechanism for solving a difficult problem in concurrent programming. It works in a different way to more conventional approaches, so you use it a little differently than you might be used to.

UCanAccess is a pure Java JDBC Driver implementation which allows Java developers and JDBC client programs to read/write Microsoft Access database (.mdb and .accdb) files. No ODBC needed.

threadandjuc is a Java learning repository focused on multithreading, concurrency, and JUC concepts. It is designed to help developers understand how Java concurrent programming works through examples, explanations, and practical project-style demonstrations. The project covers topics such as threads, locks, synchronization, thread pools, concurrent collections, and high-performance data handling. It is especially useful for Java developers preparing for interviews or improving their understanding of production-level concurrency patterns. ...

LICENSE4J is a robust licensing library and license server that simplifies software licensing for developers. It allows for easy integration of licensing functionality into Java applications with minimal code. The user-friendly web-based License Manager works seamlessly on both desktop and mobile devices, enhancing accessibility for all users. The Licensing Library is a versatile tool that developers can easily integrate into any Java application. It empowers developers to implement...

Freely redistributable open source 100% pure Java for mutual exclusion. Read-write and read-only reentrant lock, condition variable, atomic wraps for Boolean, Integer, Long, and Reference. Cell pool with optional locking, object exchanger, Intersect.

Jafaran (Java Fast Random) provides fast, and for some more random, implementations of java.util.Random, with additional nextXXX() methods, and methods to retrieve and restore state. The names of implementations contain "Conc" (for concurrent) if they are thread-safe and non-blocking, or "Seq" (for sequential) if they are not thread-safe. Also provides an implementation of Ziggurat algorithm (based on J. A. Doornik paper, 2005), used by nextGaussian() methods of the provided implementations. Requires Java 5 or later. Also available on github since 2015/12/13: https://github.com/jeffhain/jafaran Principal classes: - Implementations using Mersenne-Twister algorithm (good pseudo-randomness): MTSyncRNG MTSeqRNG - Implementations using Marsaglia Xor-Shift (fast): MXSIntSeqRNG (32 bits) MXSLongSeqRNG (64 bits) (nextLong() faster, larger period) - Ziggurat: Random-based implementation of Ziggurat algorithm.

This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of common concurrency hazards. ...

Concurrent agents for Java. Create multithreaded active objects using standard Java interfaces and classes without explicit use of threads, synchronization, or other concurrency primitives.

High performance message passing library for multi-threaded and highly concurrent Java applications, where some nodes within the cloud are untrusted. Intended for use in a distributed virtual worlds project, but probably has other interesting uses.