Výsledky vyhľadávania - ((java OR jana) OR jan) multi-threaded programming

Compact visualization of Java program execution Autor 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…”
Získať plný text

Optimising GPR modelling: A practical, multi-threaded approach to 3D FDTD numerical modelling Autor 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…”
Získať plný text

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

“… Jmvx supports programs written in Java by intercepting…”
Získať plný text

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

“… We have instantiated our logic for (restricted) multi-threaded Java programs and implemented the verification calculus within the KeY system…”
Získať plný text

Multi-Threaded Actors Autor 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…”
Získať plný text

Multi-threaded approach in generating frequent itemset of Apriori algorithm based on trie data structure Autor 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…”
Získať plný text

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

“… Applying it to software systems written in standard programming languages requires powerful abstractions (of data) and reductions (of atomicity…”
Získať plný text

Advances in noise-based testing of concurrent software Autor 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++…”
Získať plný text

A case study on the lightweight verification of a multi-threaded task server Autor 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…”
Získať plný text

Implementation of strong mobility for multi-threaded agents in Java Autor 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…”
Získať plný text

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

“… For the latter, we consider a unifying programming model and portable OpenCL implementation for all architectures…”
Získať plný text

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

Získať plný text

Location pairs: a test coverage metric for shared-memory concurrent programs Autor 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…”
Získať plný text

Multi-Threaded Actors Autor 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…”
Získať plný text

Contribution-based call stack abstraction for call string based pointer analysis Autor 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…”
Získať plný text

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

Získať plný text

Contract-based Synchronization of Multi-threaded Java Programs Autor 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…”
Získať plný text

MuTT: A Multi-Threaded Tracer for Java Programs Autor 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…”
Získať plný text

Multi-threaded Approach to Software High-speed Algorithms for Spectral Analysis of Multi-component Signals Autor 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…”
Získať plný text

A scalable architecture for multi-threaded Java applications Autor 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…”
Získať plný text