[HTML][HTML] Dependency safety for Java–Implementing and testing failboxes
Exception mechanisms help to ensure that a program satisfies the important robustness
criterion of dependency safety: if an operation fails in an execution sequence, any code …
criterion of dependency safety: if an operation fails in an execution sequence, any code …
[图书][B] Efficient testing of actor programs with non-deterministic behaviors
S Tasharofi - 2013 - search.proquest.com
The actor model is a model of concurrent programming that consists of concurrent entities
called actors. Actors communicate using asynchronous messages, and depending on the …
called actors. Actors communicate using asynchronous messages, and depending on the …
[PDF][PDF] From concurrent state machines to reliable multi-threaded Java code
D Zhang - 2018 - research.tue.nl
1.1 Background The rise in popularity of modern parallel computing hardware, such as multi-
core processors [10, 72, 83] and graphics processing units (GPUs)[25, 26, 52, 78, 80], has …
core processors [10, 72, 83] and graphics processing units (GPUs)[25, 26, 52, 78, 80], has …