Filters








25,465 Hits in 2.9 sec

A Basis for Verifying Multi-threaded Programs [chapter]

K. Rustan M. Leino, Peter Müller
2009 Lecture Notes in Computer Science  
Advanced multi-threaded programs apply concurrency concepts in sophisticated ways.  ...  This paper presents a sound and modular verification methodology that can handle advanced concurrency patterns in multi-threaded, object-based programs.  ...  We thank the referees for their useful comments.  ... 
doi:10.1007/978-3-642-00590-9_27 fatcat:2hy7p6rfnjgqdbdmb4yb3eiisy

A Real-Time Futures Information Processing Strategy Based on Multi-level Cache and Multi-threading Cooperation

LI-KAI SU
2020 DEStech Transactions on Environment Energy and Earth Science  
In order to solve the above problems encountered in the development of futures program trading software, a non-blocking real-time market data processing strategy based on multi-level cache and multi-threaded  ...  of program trading software for small and medium-sized investment companies.  ...  , data to be processed, average processing speed of data, real-time speed, etc., providing decision-making basis for monitoring threads in order to coordinate all kinds of threads to work orderly.  ... 
doi:10.12783/dteees/peems2019/33955 fatcat:o6zzl7vzgjdzdgwmrttuw7rrvi

Parallel Implementation of Frequency Domain Beamformer on a Multi-Core Processor

Umar Hamid, Haroon Shahzad, Muhammad Irfan
2012 International Journal of Computer and Electrical Engineering  
This paper presents a parallel programming paradigm to utilize multi-core processors to their full potential in terms of CPU time.  ...  This involves executing sequential beamformer followed by parallel beamformer on an Intel based multi-core processor. Final results show decrease in execution time for a parallel application.  ...  PARALLEL PROGRAMMING ON MULTI-CORE PROCESSOR A. Parallel Programming Parallel programming means execution of multiple program units i.e. threads on multiple CPUs.  ... 
doi:10.7763/ijcee.2012.v4.641 fatcat:blelzilqvvhehkldcji7dtydeu

A Multi-thread Data Flow Solution Applying to Java Extension

Li Chen
2012 Physics Procedia  
Proposed a multi-thread basing on data flow and Java extensions to achieve solutions, presents a new multi-thread programming method.  ...  Java built-in concurrency of multi-thread programming build on the basis of thread and monitor, this model is easy to learn and understand, however, in practice there are many problems: errorprone, difficult  ...  For memory shared multi-core multi-threaded architecture, the introduction of shared parameters object and will not bring a significant performance overhead.  ... 
doi:10.1016/j.phpro.2012.03.372 fatcat:3ssg57gbbbh4ldx22vpjdi6yr4

Verifying correct usage of atomic blocks using access permissions

Nels E. Beckman
2008 Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08  
This in turn allowed us to to verify object protocol implementation and usage in multi-threaded code.  ...  This program is a short excerpt from a multi-threaded, networked application where many threads hold reference to a single Connection object, an abstraction of a host-to-host connection.  ... 
doi:10.1145/1449814.1449901 dblp:conf/oopsla/Beckman08 fatcat:7rwyltfwzrfz3paxbtaci3arsa

Based on Multi-Thread Dynamic Self-Healing Technology Application Research in Big Data Image Processing

Guangyu Xu, Xiaohua Qiao
2016 International Journal of Database Theory and Application  
Finally, after the experimental results verify that the method is effective.  ...  The reason is that, when the data scale is very large, the program has a memory leak, resulting in the final failure.  ...  processing, multi thread program and what?  ... 
doi:10.14257/ijdta.2016.9.6.11 fatcat:i4lsmzbd4jhctohnrlqc2lxoru

Effective Parallelism for Equation and Jacobian Evaluation in Power Flow Calculation [article]

Hantao Cui, Fangxing Li, Xin Fang
2020 arXiv   pre-print
Parallelism techniques such as multi-threading and single instruction multiple data (SIMD) vectorization are discussed, implemented, and benchmarked as six calculation workflows.  ...  This letter investigates parallelism approaches for equations and Jacobian evaluation in power flow calculations.  ...  As explained in II-B, the total CPU time of a multi-threaded parallel program is determined by the bottleneck, which is the Line model in power flow.  ... 
arXiv:2011.11880v1 fatcat:txiad5m3lnca5lwpivphgpk7p4

Adaptive Scheduling Framework for Multi - Core Systems Based on the Task - Parallel Programming Model

H. M. LU, School of Computer Science and Engineering, Changchun University of Technology, Changchun 1 30012 , China, Y. J. CAO, J. J. SONG, T. Y. DI, H. Y. SUN, X. M. HAN, School of Software , Zhengzhou University, Zhengzhou 450 000, China, School of Computer Science and Engineering, Changchun University of Technology, Changchun 1 30012 , China, School of Computer Science and Engineering, Changchun University of Technology, Changchun 1 30012 , China, School of Computer Engineering, Nanyang Technological Univers ity, Singapore 639798 , Singapore, School of Computer Science and Engineering, Changchun University of Technology, Changchun 1 30012 , China
2016 Journal of Engineering Science and Technology Review  
Third, on the basis of closed-loop feedback control theory, an adaptive co-scheduling method that could obtain a dynamic perception of the degree of task parallelism was proposed, and multi-core adaptive  ...  First, on the basis of the online competition analysis method, a quantitative analysis of task schedulability was conducted.  ...  , A-SYS establishes a corresponding worker thread for each processor core.  ... 
doi:10.25103/jestr.096.12 fatcat:h5vgipeojfdnnbxgkw6a6fdjba

Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs

Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
2015 Journal of Robotics, Networking and Artificial Life (JRNAL)  
In order to improve the efficiency of testing Java multi-threaded programs, this research proposes a testing method to detect order violation in them using similarity of interleaving.  ...  The efficiency of the method is shown by experiments for confirmation.  ...  Therefore, our proposed method can test more efficiently for the distinctive bugs in concurrent programs. ConTest [5] is a testing tool for Java multi-threaded programs.  ... 
doi:10.2991/jrnal.2015.1.4.10 fatcat:xsyongxdnjfzxfjzz5loga2pra

Executable JVM model for analytical reasoning: A study

Hanbing Liu, J. Strother Moore
2005 Science of Computer Programming  
To study the properties of the Java Virtual Machine (JVM) and Java programs, our research group has produced a series of JVM models written in a functional subset of Common Lisp.  ...  Properties of M6 and its bytecoded programs can be expressed as formulas and proved as theorems. Proofs are constructed interactively with a mechanical theorem prover.  ...  ., for their support of our research.  ... 
doi:10.1016/j.scico.2004.07.004 fatcat:7xmdmomjrzbhpa52qe4thggjta

A Dynamic Logic for deductive verification of multi-threaded programs

Bernhard Beckert, Vladimir Klebanov
2012 Formal Aspects of Computing  
We have instantiated our logic for (restricted) multi-threaded Java programs and implemented the verification calculus within the KeY system.  ...  We present MODL, a Dynamic Logic and a deductive verification calculus for a core Java-like language that includes multi-threading. The calculus is based on symbolic execution.  ...  Yahav [36] describes a system for verifying safety properties of multi-threaded Java-like programs.  ... 
doi:10.1007/s00165-012-0261-4 fatcat:ltbt2hzjbfa6jcbjn67jmxwenq

Predicate abstraction and refinement for verifying multi-threaded programs

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
2011 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11  
In this paper we propose a method for safety verification of multi-threaded programs that applies (transition) predicate abstraction-based discovery of environment transitions, exposing a minimal amount  ...  Then, the queries are resolved by a corresponding constraint solving algorithm. We present preliminary experimental results for mutual exclusion protocols and multi-threaded device drivers.  ...  We thank Byron Cook, Ruslán Ledesma Garza, and Peter O'Hearn for comments and suggestions.  ... 
doi:10.1145/1926385.1926424 dblp:conf/popl/GuptaPR11 fatcat:6ksmvui5e5egdf6njjjsorkssm

Predicate abstraction and refinement for verifying multi-threaded programs

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
2011 SIGPLAN notices  
In this paper we propose a method for safety verification of multi-threaded programs that applies (transition) predicate abstraction-based discovery of environment transitions, exposing a minimal amount  ...  Then, the queries are resolved by a corresponding constraint solving algorithm. We present preliminary experimental results for mutual exclusion protocols and multi-threaded device drivers.  ...  We thank Byron Cook, Ruslán Ledesma Garza, and Peter O'Hearn for comments and suggestions.  ... 
doi:10.1145/1925844.1926424 fatcat:46sa3cbndferjargtsmgsdbzti

A Parallelization Research for FY Satellite Rainfall Estimate Day Knock off Product Algorithm

Weixia Lin, Xiangang Zhao, Cunqun Fan, Manyun Lin, Lizi Xie
2018 Atmospheric and Climate Sciences  
And, MPI parallelization mode has a higher operating efficiency. The performance of parallel processing is closely related to the architecture of the computer.  ...  Acknowledgements The work presented in this study is supported by National High-tech R&D Program (2011AA12A104).  ...  for about 15 minutes and the multi-thread parallelization method.  ... 
doi:10.4236/acs.2018.82016 fatcat:njj7obvlc5gbdordu4zpzgnfpm

Towards a verified compiler prototype for the synchronous language SIGNAL

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma
2015 Frontiers of Computer Science  
With the rising importance of multi-core processors in safety-critical embedded systems or cyber-physical systems (CPS), there is a growing need for model-driven generation of multi-threaded code and thus  ...  This paper reports a compiler prototype for SIGNAL.  ...  ., synchronous programming, verified compiler, and time-predictable multi-core architecture model.  ... 
doi:10.1007/s11704-015-4364-y fatcat:7x6wchqztrfmpassc3ip7eres4
« Previous Showing results 1 — 15 out of 25,465 results