Výsledky vyhľadávania - Concurrent Java progress

Distributed reachability testing of concurrent programs Autor Carver, Richard H., Lei, Yu

“…Reachability testing is an approach to verifying concurrent programs. During reachability testing, every partially ordered synchronization sequence of a program with a given input is exercised exactly once…”
Získať plný text

A Scalable Linearizable Multi-Index Table Autor Sheffi, Gali, Golan-Gueta, Guy, Petrank, Erez

“…Concurrent data structures typically index data using a single primary key and provide fast atomic access to data associated with a given key value…”
Získať plný text

Concurrency Bug-Oriented Mutation Operators Design for Java Autor Wu, Xiaoxue, Zheng, Wei, Shi, Zhao, Wang, Zehai, Cao, Lixin, Mu, Dejun

“… Concurrency bug is one of the most notorious. With the purpose of improving concurrent system quality with mutation testing, this paper presents a set of concurrency mutation operators for the latest java version as mutation operator…”
Získať plný text

Concurrency Analysis of Go and Java Autor Abhinav, P Y, Bhat, Avakash, Joseph, Christina Terese, Chandrasekaran, K

“…There has been tremendous progress in the past few decades towards developing applications that receive data and send data concurrently…”
Získať plný text

A One Year Retrospective on a MOOC in Parallel, Concurrent, and Distributed Programming in Java Autor Sarkar, Vivek, Grossman, Max, Budimlic, Zoran, Imam, Shams

“…Much progress has been made on integrating parallel programming into the core Computer Science curriculum of top-tier universities in the United States…”
Získať plný text

Enrich a data structures course with parallelism Autor Cheng, Qiong

“…This Research to Practice Work in Progress paper develops an adaptive learning module aimed at enriching data structures and algorithms courses (CS2/DS…”
Získať plný text

Derivation of Java monitors Autor Dongol, B.

“…This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-threaded Java programs…”
Získať plný text

The specification and testing of quantified progress properties in distributed systems Autor Knshnamurthy, P., Sivilotti, P.A.G.

“…: safety and progress. In earlier work, we developed a tool to monitor progress properties of CORBA components specified using the temporal operator transient…”
Získať plný text

Learn ECMAScript: Discover the Latest ECMAScript Features in Order to Write Cleaner Code and Learn the Fundamentals of JavaScript Autor MOHAN, Mehul, Prusty, Narayan

“…Learn ECMAScript explores implementation of the latest ECMAScript features to add to your developer toolbox, helping you to progress to an advanced level…”
Získať plný text

Object-Oriented Parallelisation: Improved and Extended Parallel Iterator Autor Giacaman, N., Sinnen, O., Akeila, L.

“… This paper presents the progress of the parallel iterator concept. New features, such as support for reductions and global break semantics, allow the parallel iterator to undertake more situations…”
Získať plný text

Transactional Forwarding: Supporting Highly-Concurrent STM in Asynchronous Distributed Systems Autor Saad, M. M., Ravindran, B.

“…Distributed software transactional memory (or DTM) is an emerging promising model for distributed concurrency control, as it avoids the problems with locks…”
Získať plný text

Analysis of Garbage Collection Algorithms and Memory Management in Java Autor Pufek, P., Grgic, H., Mihaljevic, B.

“…Significant elements of the Java Virtual Machine (JVM), as a part of the Java Platform, Standard Edition (Java SE…”
Získať plný text

Learn ECMAScript - Second Edition Autor MEHUL MOHAN, Narayan Prusty

“…Discover the power of modern JavaScript with 'Learn ECMAScript'. This book takes you through a detailed journey of the latest ECMAScript features, empowering you to write efficient, clean, and robust code…”
Získať plný text

Understanding and Tuning the Performance of Synchronized Methods in Java with Program Analysis and Software Visualization Tools Autor Shah, Michael D

“…Understanding the behavior and performance of concurrent multithreaded programs remains a difficult problem for software engineers…”
Získať plný text

Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems Autor Mokhov, S.A.

“… We address some of the goals to a degree, some with the Java data security framework (JDSF) as a work-in- progress…”
Získať plný text

A survey of concurrent object-oriented languages Autor Philippsen, Michael

“… During the same period, progress in hardware and networking has changed the computing environment from sequential to parallel. Multi…”
Získať plný text

Towards Taming Java Wildcards and Extending Java with Interval Types Autor AbdelGawad, Moez A

“… As demonstrated when adding closures (a.k.a., lambdas) and when extending type inference in Java, wildcard types and variance annotations make the development and progress…”
Získať plný text

A flexible specification approach for verifying total correctness of fine-grained concurrent modules Autor Fasse, Justus, Jacobs, Bart

“…A well-established approach to proving progress properties such as deadlock-freedom and termination is to associate obligations with threads…”
Získať plný text

Towards Trace Visualization and Exploration for Reactive Systems Autor Maoz, S., Kleinbort, A., Harel, D.

“… from recorded execution traces. In contrast, we take an inter-object scenario-based behavioral model given by the designer as input, and visualize the activation and progress of the scenarios therein as they "come to life" during execution…”
Získať plný text

Flexible and Efficient In-Vivo Enhancement for Grid Applications Autor Dong Kwan Kim, Yang Jiao, Tilevich, E.

“…In a grid application, some requirements may change while the execution is in progress…”
Získať plný text