Výsledky vyhledávání - (java OR jana) 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text

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

Získat 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ískat 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ískat 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ískat plný text

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

Získat 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ískat 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ískat 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ískat 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ískat plný text

Hybrid analysis of multi-threaded Java programs Autor Weiser, David A

“…Multithreaded programming, where two or more processes operate simultaneously on the same data, introduces three specific classes of software bugs…”
Získat plný text