Suchergebnisse - concurrent (java OR jan) progress

Distributed reachability testing of concurrent programs von 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 …”
Volltext

A Scalable Linearizable Multi-Index Table von 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 …”
Volltext

Concurrency Bug-Oriented Mutation Operators Design for Java von 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 …”
Volltext

Concurrency Analysis of Go and Java von 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 …”
Volltext

A One Year Retrospective on a MOOC in Parallel, Concurrent, and Distributed Programming in Java von 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 …”
Volltext

Enrich a data structures course with parallelism von 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 …”
Volltext

Concurrent Antisolvent Electrospraying: A Novel Continuous Crystallization Technique von Perge, Laurent, Gröls, Jan, Segura, Daniel F, Al-Ani, Aneesa, Wilkinson, Matthew, Castro-Dominguez, Bernardo

“… This paper describes the implementation of a concurrent coaxial antisolvent electrospray (Co-E), as a new manufacturing technique, for the synthesis of CCs in a rapid, continuous and controlled manner …”
Weitere Angaben

Probabilistic progress prediction and sequencing of concurrent movement primitives von Manschitz, Simon, Kober, Jens, Gienger, Michael, Peters, Jan

“… We firstly introduce a concept to learn and estimate the progress of individual MPs from a low number of demonstrations …”
Volltext

Derivation of Java monitors von 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 …”
Volltext

Thrombus-Targeted Theranostic Microbubbles: A New Technology towards Concurrent Rapid Ultrasound Diagnosis and Bleeding-free Fibrinolytic Treatment of Thrombosis von Wang, Xiaowei, Gkanatsas, Yannik, Palasubramaniam, Jathushan, Hohmann, Jan David, Chen, Yung Chih, Lim, Bock, Hagemeyer, Christoph E, Peter, Karlheinz

“… Myocardial infarction and stroke are leading causes of morbidity/mortality. The typical underlying pathology is the formation of thrombi/emboli and subsequent …”
Volltext

The specification and testing of quantified progress properties in distributed systems von 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 …”
Volltext

Learn ECMAScript: Discover the Latest ECMAScript Features in Order to Write Cleaner Code and Learn the Fundamentals of JavaScript von 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 …”
Volltext

Noisy Concurrent Training for Efficient Learning under Label Noise von Sarfraz, Fahad, Arani, Elahe, Zonooz, Bahram

“… Thus, we propose Noisy Concurrent Training (NCT) which leverages collaborative learning to use the consensus between two models as an additional source of supervision …”
Volltext

From idea to flight - A review of the Mobile Asteroid Surface Scout (MASCOT) development and a comparison to historical fast-paced space programs von Grimm, Christian D., Grundmann, Jan-Thimo, Hendrikse, Jeffrey, Lange, Caroline, Ziach, Christian, Ho, Tra-Mi

“… Now spanning a time frame of already 10 years, the plan to land a European Lander on an asteroid has finally been accomplished. The first idea was established …”
Volltext

Object-Oriented Parallelisation: Improved and Extended Parallel Iterator von 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 …”
Volltext

Transactional Forwarding: Supporting Highly-Concurrent STM in Asynchronous Distributed Systems von 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 …”
Volltext

Analysis of Garbage Collection Algorithms and Memory Management in Java von 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 …”
Volltext

Learn ECMAScript - Second Edition von 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 …”
Volltext

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

“… Understanding the behavior and performance of concurrent multithreaded programs remains a difficult problem for software engineers …”
Volltext

Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems von 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 …”
Volltext