214,470 Hits in 4.1 sec

On the correctness of modular systems

Marisa Navarro, Fernando Orejas, Ana Sánchez
1995 Theoretical Computer Science  
In modular software design it is expected that the correctness of the implementation of a complete system will be a consequence of the correctness of each module.  ...  From now on, if JZfJ_9Jz is implicit we will just write K~. According to the literature, different candidates for the choice of the module system would consist in defining KM(A) as:  ...  Acknowledgments The actual writing of this paper took place, partially, during a stay of F. Orejas in Paris, at the Ecole Normal Superieur, invited by Michel Bidoit. In this context, the  ... 
doi:10.1016/0304-3975(94)00207-y fatcat:zaz6w6nyizhqrhextymmlxcxau

On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks

Alevtina B. Glonina, Vasily V. Balashov
2018 Modelirovanie i Analiz Informacionnyh Sistem  
Т. 25, № 2 (2018) Modeling and Analysis of Information Systems. Vol. 25, No 2 (2018) Моделирование и анализ информационных систем. Т. 25, № 2 (2018) .  ...  The proposed general stopwatch automata network structure Полное описание перечисленных базовых типов и сети приведено в [2] .  ...  A set of correctness requirements to models of system components and to the whole system model were derived from RT MCS specifications.  ... 
doi:10.18255/1818-1015-2018-2-174-192 fatcat:x5u4tlgz6bdt7oea2kq7hlx2ji

A semantic approach to program modularity

R.J.R. Back, H. Mannila
1984 Information and Control  
In a local modular system the correctness of each module can be established by only looking at the module specifications, i.e., without using any information about how the modules are implemented.  ...  Locality is thus a basic property of modular systems and justifies the use of Parnas' information hiding principle in the construction of modular systems.  ...  ACKNOWLEDGMENT We would like to thank Pekka Orponen and Henry Tirri for fruitful discussions on the themes treated in this paper. RECEIVED: December 7, 1982; ACCEPTED: May 1, 1984  ... 
doi:10.1016/s0019-9958(84)80026-1 fatcat:4wrk5olnpjglxgcilecs2nvhuu

Multiple Error Correction in Redundant Residue Number Systems: A Modified Modular Projection Method with Maximum Likelihood Decoding

Mikhail Babenko, Anton Nazarov, Maxim Deryabin, Nikolay Kucherov, Andrei Tchernykh, Nguyen Viet Hung, Arutyun Avetisyan, Victor Toporkov
2022 Applied Sciences  
This paper proposes a modified correcting method based on calculating the approximate weighted characteristics of modular projections.  ...  Error detection and correction codes based on redundant residue number systems are powerful tools to control and correct arithmetic processing and data transmission errors.  ...  (One of the projections will be the correct number represented in the WNS.)  ... 
doi:10.3390/app12010463 fatcat:nylj5at43necnfdvzg2jnskgxm

Curative effect observation on deformed auricle treated with EarWell Infant Ear Correction System with modular parents' nursing education

Wei Wei, Ren-Zhong Luo, Zhen-Yun Huang, Rui Mi
2020 Frontiers of Nursing  
AbstractObjectiveTo investigate the efficacy and patient satisfaction of the EarWell Infant Ear Correction System combined with modular parents' nursing education's curative effect on deformed auricle.MethodsA  ...  EarWell Infant Ear Correction System and modular parents' nursing education.  ...  Results Analysis of effectiveness of EarWell Infant Ear Correction System with guardians' modularized nursing care education In the auricle deformities VAS rating system, where point 0-2 denoted severe  ... 
doi:10.2478/fon-2020-0021 fatcat:afhh2xeivnafpmwnrgk3bwasau

A Comparison of Two Implant Systems in Restoration of Hip Geometry in Arthroplasty

Michael J. Archibeck, Tamara Cummins, Joshua Carothers, Daniel W. Junick, Richard E. White
2010 Clinical Orthopaedics and Related Research  
The advantage of clinical flexibility should be tempered by the potential concerns of prosthetic mechanical failure (which has been reported in another implant system with two modular junctions), increased  ...  The recent introduction of femoral components with a modular junction at the base of the neck (two modular junction components) has expanded the options to restore femoral offset and leg length.  ...  The TMJ system completely corrected both offset and leg lengths in 85% of cases, while the SMJ system corrected completely only 60%.  ... 
doi:10.1007/s11999-010-1678-9 pmid:21082363 pmcid:PMC3018197 fatcat:xuaa43cw2vgm3d5cre6bsxeygm

Fault Tolerant Triple Modular System Using FPGA

Shubham Anjankar
2020 Bioscience Biotechnology Research Communications  
This paper focuses on the implementation of triple modular redundancy on FPGA's and connecting the systems with the help of SPI communication.  ...  The proposed system is based on the concept of considering the majority of the real-time system and then giving the output of the system based on the ratio.  ...  But due to triple Modular Redundancy the voter masks and the incorrect output and gives the correct output. Out of 3 system 2 are giving correct output and the third one is giving wrong output.  ... 
doi:10.21786/bbrc/13.14/108 fatcat:iprod5uqvnbbpjnzxlmx3x6wqe

Improving the Security of UML Sequence Diagram Using Genetic Algorithm

Mohammad Alshayeb, Haris Mumtaz, Sajjad Mahmood, Mahmood Niazi
2020 IEEE Access  
A sequence diagram is a modeling approach for visualizing the behavioral execution of a system.  ...  The results show significant detection recall and correction efficacy of the proposed detection and correction approaches, respectively.  ...  THE EXPERIMENT The purpose of this section is to provide details on the application of the detection and correction approaches on the considered sequence diagrams to achieve the goals of this research.  ... 
doi:10.1109/access.2020.2981742 fatcat:qlgojf747bfzhikqrbuwlim5xa

Direct three-phase single-stage flyback-type power factor corrector

J.W. Kolar, F.C. Zach
1998 Electronics Letters  
Hui and Chung described the advantages of a modular construction of converter systems for three-phase power factor correction [I].  ...  However, the modular system has a lower rated power and simpler transformer construction (only one primary winding).  ...  Hui and Chung described the advantages of a modular construction of converter systems for three-phase power factor correction [I] .  ... 
doi:10.1049/el:19980891 fatcat:wftb4q3sxnbdzonlqcakczbpzm

Improving the Security Quality of Use Case Models through the Application of Software Refactoring Using Genetic Algorithm

Haris Mumtaz, Mohammad Alshayeb, Sajjad Mahmood, Mahmood Niazi
2020 International Journal of Security and Its Applications  
Therefore, the detection and refactoring of security bad smells in use case models is important for ensuring the overall quality of software systems.  ...  The results show that the proposed security bad smell detection and correction technique can significantly improve the quality of use case models.  ...  ACKNOWLEDGMENT The authors would like to acknowledge the support provided by the Deanship of Scientific Research at King Fahd University of Petroleum and Minerals, Saudi Arabia.  ... 
doi:10.33832/ijsia.2020.14.1.03 fatcat:2nauh6evtjerlgfz5nnujqwe3e

Development of Large-Scale Brain Network Dynamics in Children [article]

Tianyuan Lei, Xuhong Liao, Xiaodan Chen, Tengda Zhao, Yuehua Xu, Mingrui Xia, Jiaying Zhang, Xiaochen Sun, Yongbin Wei, Weiwei Men, Yanpei Wang, Mingming Hu (+9 others)
2021 bioRxiv   pre-print
These developmental changes mediate age effects on network communication efficiency and are connected with the expression profile of genes associated with the enrichment of ion transport and nucleobase-containing  ...  Using a multilayer network model, we show the temporally varying modular architecture of child brain networks, with higher network switching primarily in the association cortex and lower switching in the  ...  Acknowledgments The study was supported by the National Natural Science Foundation of China (Nos. 82021004,  ... 
doi:10.1101/2021.03.03.433828 fatcat:6puq4cqv7reslgr3xdnaqbrkri

Thread-Modular Model Checking [chapter]

Cormac Flanagan, Shaz Qadeer
2003 Lecture Notes in Computer Science  
We present thread-modular model checking, a novel technique for verifying correctness properties of loosely-coupled multithreaded software systems.  ...  Thread-modular model checking verifies each thread separately using an automatically inferred environment assumption that abstracts the possible steps of other threads.  ...  A state of the concurrent pushdown system consists of a global store, a collection of local stores, one for each thread, and a collection of stacks, one for each thread.  ... 
doi:10.1007/3-540-44829-2_14 fatcat:ry77kbqxobfbvkrh2jtetrrm4i

Dynamic reconfiguration of functional brain networks during working memory training [article]

Karolina Finc, Kamil Bonna, Xiaosong He, David M. Lydon, Simone K&uumlhn, Wlodzislaw Duch, Danielle S. Bassett
2019 bioRxiv   pre-print
In four fMRI scans equally spanning the training period, we assessed the level of brain network modularity, a common substrate for adaptation in biological systems.  ...  In an explicitly dynamic analysis, we found that the recruitment of both the default mode and fronto-parietal systems during the dual n-back task was modulated by training.  ...  The content is solely the responsibility of the authors and does not necessarily represent the official views of any of the funding agencies.  ... 
doi:10.1101/685487 fatcat:yiv7f5v2d5emtb2fzw625iqctm

Development of structures of the aircraft fire alarm system by means of nested modules

Ali Al-Ammouri, Andrew Dmytrychenko, Hasan Al-Ammori, Vitalii Kharuta
2019 Eastern-European Journal of Enterprise Technologies  
carried out only on the basis of modular circuits.  ...  Fig. 10, a, b, respectively, show graphical dependencies p 2,3cd (a), p 6,9cd (a), p 18,27cd (a), p 2,4cd (a), p 12,24cd (a) , p 48,96cd (a) of system modular probabilities of correct detection on the  ...  M a c h e k h i n * *Department of Computer-Aided Management and Data Processing Systems** **National Technical University of Ukraine «Igor Sikorsky Kyiv Polytechnic Institute» Peremohy ave., 37, Kyiv,  ... 
doi:10.15587/1729-4061.2019.163022 fatcat:4wqpeajbzjbhfdl7rt2lcysurq

Designing MRF based Error Correcting Circuits for Memory Elements

K. Nepal, R.I. Bahar, J. Mundy, W.R. Patterson, A. Zaslavsky
2006 Proceedings of the Design Automation & Test in Europe Conference  
Traditional implementations of error correcting codes (ECC) can add to the reliability of systems but can be ineffective in highly noisy operating conditions.  ...  This paper proposes an implementation of ECC based on the theory of Markov random fields (MRF).  ...  Again the feedback from the MRF circuit corrects any one-bit deviation from the correct codeword and restores the state of the memory element to the correct codeword.  ... 
doi:10.1109/date.2006.244144 dblp:conf/date/NepalBMPZ06 fatcat:tdeplkjqbbhznffdygucvsiaqm
« Previous Showing results 1 — 15 out of 214,470 results