LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "concurrent programs" as a keyword



Photo by thinkmagically from unsplash

LTL model checking for communicating concurrent programs

Sign Up to like & get
recommendations! Published in 2020 at "Innovations in Systems and Software Engineering"

DOI: 10.1007/s11334-020-00363-6

Abstract: We present in this paper a new approach to the static analysis of concurrent programs with procedures. To this end, we model multi-threaded programs featuring recursive procedure calls and synchronization by rendezvous between parallel threads… read more here.

Keywords: ltl model; concurrent programs; checking communicating; model ... See more keywords
Photo from wikipedia

Parallel Specification-Based Testing for Concurrent Programs

Sign Up to like & get
recommendations! Published in 2022 at "IEEE Access"

DOI: 10.1109/access.2022.3155629

Abstract: The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing. For a formal specification S and a concurrent program P, state sequences are generated from P and checked to… read more here.

Keywords: state; state sequences; specification based; italic italic ... See more keywords
Photo from wikipedia

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Sign Up to like & get
recommendations! Published in 2022 at "IEEE Access"

DOI: 10.1109/access.2022.3223359

Abstract: Finding software vulnerabilities in concurrent programs is a challenging task due to the size of the state-space exploration, as the number of interleavings grows exponentially with the number of program threads and statements. We propose… read more here.

Keywords: software; software vulnerabilities; bmc; finding software ... See more keywords
Photo by kellysikkema from unsplash

When Memory Corruption Met Concurrency: Vulnerabilities in Concurrent Programs

Sign Up to like & get
recommendations! Published in 2023 at "IEEE Access"

DOI: 10.1109/access.2023.3272833

Abstract: Concurrent programs are widespread in modern systems. They make better use of processor resources but inevitably introduce a new set of problems in terms of reliability and security. Concurrency bugs usually lead to program crashes… read more here.

Keywords: memory corruption; concurrency; concurrency vulnerabilities; concurrent programs ... See more keywords

ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs

Sign Up to like & get
recommendations! Published in 2022 at "IEEE Transactions on Reliability"

DOI: 10.1109/tr.2022.3162694

Abstract: Concurrent programs with multiple threads executing in parallel are widely used to unleash the power of multicore computing systems. Owing to their complexity, a lot of research focuses on testing and debugging concurrent programs. Besides… read more here.

Keywords: concspectre aware; forthcoming malware; malware; aware forthcoming ... See more keywords
Photo by jordanmcdonald from unsplash

Performance evaluation of proposed load balancing algorithm with unstable concurrent programs

Sign Up to like & get
recommendations! Published in 2019 at "Indonesian Journal of Electrical Engineering and Computer Science"

DOI: 10.11591/ijeecs.v14.i3.pp1452-1459

Abstract: IoT is the succeeding cohort of the digital computing environment. A swift progression in the IoT deployment and its applications are on the rise. Improving load balancing mechanisms induces healthier performance of the internet based… read more here.

Keywords: concurrent programs; load balancing; performance; load ... See more keywords