scholarly journals Retraction: Mohammad Maghsoudloo, Hamid R. Zarandi: Parallel execution tracing: An alternative solution to exploit under-utilized resources in multi-core architectures for control-flow checking. Facta universitatis, series: Electronics and Energetics (FU Elec Energ), vol. 29, no 2, june 2016, pp. 243-260. DOI: 10.2298/FUEE1602243M

2018 ◽  
Vol 31 (1) ◽  
pp. 155-155
Author(s):  
E Editorial

The article: PARALLEL EXECUTION TRACING: AN ALTERNATIVE SOLUTION TO EXPLOIT UNDER-UTILIZED RESOURCES IN MULTI-CORE ARCHITECTURES FOR CONTROL-FLOW CHECKING. Mohammad Maghsoudloo, Hamid R. Zarandi. Facta Universitatis, Series: Electronics and Energetics, Vol. 29, No 2, June 2016, pp. 243-260, DOI: 10.2298/FUEE1602243M, repeats 62% data already published in: An efficient adaptive software-implemented technique to detect control-flow errors in multi-core architectures. Mohammad Maghsoudloo, Hamid R. Zarandi, Navid Khoshavi. Microelectronics Reliability, Vol. 52, Issue 11, November 2012, pp. 2812-2828, DOI: doi.org/10.1016/j.microrel.2012.03.033 without any referencing. <br><br><font color="red"><b> Link to the retracted article <u><a href="http://dx.doi.org/10.2298/FUEE1602243M ">10.2298/FUEE1602243M </a></b></u>

2016 ◽  
Vol 29 (2) ◽  
pp. 243-260 ◽  
Author(s):  
Mohammad Maghsoudloo ◽  
Hamid Zarandi

In this paper, a software behavior-based technique is presented to detect control-flow errors in multi-core architectures. The analysis of a key point leads to introduction of the proposed technique: employing under-utilized CPU resources in multi-core processors to check the execution flow of the programs concurrently and in parallel with the main executions. To evaluate the proposed technique, a quad-core processor system was used as the simulation environment, and the behavior of SPEC CPU2006 benchmarks were studied as the target to compare with conventional techniques. The experimental results, with regard to both detection coverage and performance overhead, demonstrate that on average, about 94% of the control-flow errors can be detected by the proposed technique, with less performance overhead compared to previous techniques. <br><br><font color="red"><b> This article has been retracted. Link to the retraction <u><a href="http://dx.doi.org/10.2298/FUEE1801155E">10.2298/FUEE1801155E</a><u></b></font>


2015 ◽  
Vol 67 (4) ◽  
pp. 1437-1437
Author(s):  
E Editorial

This is a notice of retraction of the article: The evaluation of fish farming impact by nutrient content and chlorophyll A in Mala Lamljana bay, published in the Archives of Biological Sciences in 2013, Vol. 65, Issue 3. The Editor-in-Chief has been informed that the data in this article has already been published in the following article: Jelic Mrcelic G, Sliskovic M. The impact of fish cages on water quality in one fish farm in Croatia. Int Sci Index. 2010;4(8):775-8. Inspection of these articles has revealed the following: a significant part of the data in the article published in the Archives of Biological Sciences was published without proper cross-referencing to the data already published in the earlier paper. This issue was discussed with one of the two authors and it was mutually agreed to retract the article. <br><br><font color="red"><b> Link to the retracted article <u><a href="http://dx.doi.org/10.2298/ABS1302567J">10.2298/ABS1302567J</a></b></u>


2020 ◽  
Vol 23 (3) ◽  
pp. 473-493
Author(s):  
Nikita Andreevich Kataev ◽  
Alexander Andreevich Smirnov ◽  
Andrey Dmitrievich Zhukov

The use of pointers and indirect memory accesses in the program, as well as the complex control flow are some of the main weaknesses of the static analysis of programs. The program properties investigated by this analysis are too conservative to accurately describe program behavior and hence they prevent parallel execution of the program. The application of dynamic analysis allows us to expand the capabilities of semi-automatic parallelization. In the SAPFOR system (System FOR Automated Parallelization), a dynamic analysis tool has been implemented, based on on the instrumentation of the LLVM representation of an analyzed program, which allows the system to explore programs in both C and Fortran programming languages. The capabilities of the static analysis implemented in SAPFOR are used to reduce the overhead program execution, while maintaining the completeness of the analysis. The use of static analysis allows to reduce the number of analyzed memory accesses and to ignore scalar variables, which can be explored in a static way. The developed tool was tested on performance tests from the NAS Parallel Benchmarks package for C and Fortran languages. The implementation of dynamic analysis, in addition to traditional types of data dependencies (flow, anit, output), allows us to determine privitizable variables and a possibility of pipeline execution of loops. Together with the capabilities of DVM and OpenMP these greatly facilitates program parallelization and simplify insertion of the appropriate compiler directives.


2015 ◽  
Vol 67 (2) ◽  
pp. 749-749
Author(s):  
E Editorial

This is a notice of retraction of the article: Effect of 7-nitroindazole on superoxide production and MnSOD activity in the rat brain following kainate-induced neurotoxicity, published in the Archives of Biological Sciences in 2008, Vol. 60, Issue 1. The Editor-in-Chief has been informed that this paper plagiarizes an earlier paper: Radenovic L, Selakovic V, Kartelija G, Todorovic N, Nedeljkovic M. Differential effects of NMDA and AMPA/kainate receptor antagonists on superoxide production and MnSOD activity in rat brain following intrahippocampal injection. Brain Res Bull, 2004, 64(1):85-93. The results in the article being retracted were presented as findings obtained from novel research. Inspection of the results has revealed that they were part of research already presented in the original article without appropriate justification or cross-referencing. The Editor-in-Chief considered publishing a notice of redundancy specifying the elements published previously. However, since the original article had already been autoplagiarized by the same corresponding author in the same journal (retraction DOI:10.2298/ABS150318026E), the article is being retracted in accordance with the publishing ethics of the Archives of Biological Sciences in order to preserve the integrity of scientific research. We apologize to the journal's readers that it took so long to notice this error and instigate retraction of the paper. We request our readers to contact the editorial office and editors of the journal directly should similar cases occur in the future, so that the necessary action can be taken more promptly. <br><br><font color="red"><b> Link to the retracted article <u><a href="http://dx.doi.org/10.2298/ABS0801025R">10.2298/ABS0801025R</a></b></u>


2021 ◽  
Vol 78 (11) ◽  
pp. 1238-1238
Author(s):  
E Editorial

Based on the decision of the Editorial Board of the journal "Vojnosanitetski pregled", made at the meeting of the members of the Editorial Board on November 09, 2021, the following article is retracted from the Journal because it was published earlier in almost identical form ("duplicate publication"): Nevenka Pavlovic, Ljiljana Markovic Denic, Katarina Vojvodic. Application of a geographic information system in the study of spatial aspects of cervical cancer incidence in Belgrade Vojnosanit Pregl 2020; 77(4):373-381 (DOI: 10.2298/VSP180412095P) Previously published article: Pavlovic Nevenka, Rakic U, Ristic J, Vojvodic K. Application of geographic information system in perceiving spatial distribution of incidence of cervical cancer in Belgrade. In: Pavlovic N, editor, Proccedings of the 25th Conference "Modern approach in the prevention of infectious and noninfectious diseases". Belgrade: Institute of Public Health of Belgrade; pp. 79-96. (ISBN 978-86- 83069-41-5) (Serbian). <br><br><font color="red"><b> Link to the retracted article <u><a href="http://dx.doi.org/10.2298/VSP180412095P ">10.2298/VSP180412095P</a></b></u>


Author(s):  
Dmitry A. Zaitsev

Motivation for new models of hyper-computations was presented. Sleptsov net was introduced compared to Petri and Salwicki nets. A concept of universal Sleptsov net, as a prototype of a processor in Sleptsov net computing, was discussed. Small universal Sleptsov net that runs in polynomial time was constructed; it consists of 15 places and 29 transitions. Principles of programming in Sleptsov nets, as composition of reverse control flow and data, have been developed. Standard control flow patterns include sequence, branching, loop, and parallel execution. Basic modules, which implement efficiently copying, logic, and arithmetic operations, have been developed. Special dashed arcs were introduced for brief specification of input and output data of modules (subnets). Ways of hierarchical composition of a program via substitution of a transition by a module were discussed. Examples of Sleptsov net programs for data encryption, fuzzy logic, and partial differential equations have been presented. Enterprise implementation of Sleptsov net programming promises ultra-performance.


Sign in / Sign up

Export Citation Format

Share Document