Search Results - ((java OR jana) OR jan) multi-threaded programming

Compact visualization of Java program execution by 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…”
Get full text

Optimising GPR modelling: A practical, multi-threaded approach to 3D FDTD numerical modelling by 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…”
Get full text

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

“… Jmvx supports programs written in Java by intercepting…”
Get full text

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

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

Multi-Threaded Actors by 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…”
Get full text

Multi-threaded approach in generating frequent itemset of Apriori algorithm based on trie data structure by 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…”
Get full text

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

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

Advances in noise-based testing of concurrent software by 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++…”
Get full text

A case study on the lightweight verification of a multi-threaded task server by 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…”
Get full text

Implementation of strong mobility for multi-threaded agents in Java by 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…”
Get full text

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

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

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

Get full text

Location pairs: a test coverage metric for shared-memory concurrent programs by 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…”
Get full text

Multi-Threaded Actors by 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…”
Get full text

Contribution-based call stack abstraction for call string based pointer analysis by 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…”
Get full text

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

Get full text

Contract-based Synchronization of Multi-threaded Java Programs by 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…”
Get full text

MuTT: A Multi-Threaded Tracer for Java Programs by 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…”
Get full text

Multi-threaded Approach to Software High-speed Algorithms for Spectral Analysis of Multi-component Signals by 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…”
Get full text

A scalable architecture for multi-threaded Java applications by 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…”
Get full text