Suchergebnisse - (java OR jan) multi-threaded programming

Compact visualization of Java program execution von Jayaraman, S., Jayaraman, B., Lessa, D.

“… Summary The context of this work is a practical, open‐source visualization system, called JIVE, that supports two forms of runtime visualizations of Java programs …”
Volltext

Optimising GPR modelling: A practical, multi-threaded approach to 3D FDTD numerical modelling von Millington, T.M., Cassidy, N.J.

“… The demand for advanced interpretational tools has lead to the development of highly sophisticated, computationally demanding, 3D GPR processing and modelling …”
Volltext

Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages von Schwartz, David, Kowshik, Ankith, Pina, Luís

“… Jmvx supports programs written in Java by intercepting …”
Volltext

A Dynamic Logic for deductive verification of multi-threaded programs von Beckert, Bernhard, Klebanov, Vladimir

“… We have instantiated our logic for (restricted) multi-threaded Java programs and implemented the verification calculus within the KeY system …”
Volltext

Multi-Threaded Actors von Azadbakht, Keyvan, de Boer, Frank S., Serbanescu, Vlad

“… In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages …”
Volltext

Multi-threaded approach in generating frequent itemset of Apriori algorithm based on trie data structure von Hodijah, Ade, Setijohatmo, Urip Teguh, Munawar, Ghifari, Ramadhanty, Gita Suciana

“… [...]the multi-threaded concept is tried to be applied whether it can be utilized to minimize the time required in processing the support count …”
Volltext

Model-checking multi-threaded distributed Java programs von STOLLER, Scott D

“… Applying it to software systems written in standard programming languages requires powerful abstractions (of data) and reductions (of atomicity …”
Volltext

Advances in noise-based testing of concurrent software von Fiedor, J., Hrubá, V., Křena, B., Letko, Z., Ur, S., Vojnar, T.

“… SummaryTesting of concurrent software written in programming languages like Java and C/C++ …”
Volltext

A case study on the lightweight verification of a multi-threaded task server von Cataño, Néstor, Ahmed, Ijaz, Siminiceanu, Radu I., Aldrich, Jonathan

“… We present a case study on the verification of the design of a commercial multi-threaded task server (MTTS …”
Volltext

Implementation of strong mobility for multi-threaded agents in Java von Chakravarti, A.J., Wang, X., Hallstrom, J.O., Baumgartner, G.

“… a computational payload find available computing resources. Existing approaches to strong mobility either modify the Java virtual machine or do not correctly preserve the Java semantics when migrating multithreaded agents …”
Volltext

Finite element numerical integration for first order approximations on multi- and many-core architectures von Banasa, Krzysztof, Kruzelb, Filip, Bielanskia, Jan

“… For the latter, we consider a unifying programming model and portable OpenCL implementation for all architectures …”
Volltext

A shared-variable concurrency analysis of multi-threaded object-oriented programs: Distributed Computing Techniques von DE BOER, F. S

Volltext

Location pairs: a test coverage metric for shared-memory concurrent programs von Tasiran, Serdar, Keremoğlu, M. Erkan, Muşlu, Kivanç

“… literature. We built a monitoring tool to measure LP coverage of test programs. We used the LP metric for interactive debugging, and compared LP coverage with other concurrency coverage metrics on Java benchmark …”
Volltext

Multi-Threaded Actors von Azadbakht, Keyvan, de Boer, Frank S, Serbanescu, Vlad

“… In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages …”
Volltext

Contribution-based call stack abstraction for call string based pointer analysis von Qian, Ju, Chen, Lin, Xu, Baowen, Zhang, Xiaofang

“… Different method calls may have different contributions to the precision of the final application when abstracted into the call strings. The existing call …”
Volltext

Safe locking for multi-threaded Java with exceptions von Johnsen, Einar Broch, Mai Thuong Tran, Thi, Owe, Olaf, Steffen, Martin

Volltext

Contract-based Synchronization of Multi-threaded Java Programs von Huang, Yi

“… Today, most new software products use concurrency in some capacity. However, the expressive power afforded by the use of concurrency comes at the expense of …”
Volltext

MuTT: A Multi-Threaded Tracer for Java Programs von Dapeng Liu, Shaochun Xu

“… Existing trace tools have some limitations, such as requiring instrumentation. This paper presents a tracer, MuTT, which can be used to collect the run-time information of multi-threaded Java programs without source code or JVM instrumentation …”
Volltext

Multi-threaded Approach to Software High-speed Algorithms for Spectral Analysis of Multi-component Signals von Yakimov, Vladimir, Zaberzhinskij, Borislav, Mashkov, Andrey, Bukanova, Yuliya

“… The article discusses the development of specialized software measuring-computing system, designed to operational spectral analysis of multicomponent signals …”
Volltext

A scalable architecture for multi-threaded Java applications von Mrva, M., Buchenrieder, K., Kress, R.

“… The paper presents a scalable architecture for multi-threaded Java applications. Threads enable modeling of concurrent behavior in a more or less natural way …”
Volltext