Filters








2,127,080 Hits in 6.3 sec

Modelling and analysis of distributed software systems

B. Kumar, Timothy A. Gonsalves
1979 Proceedings of the seventh symposium on Operating systems principles - SOSP '79  
The problem of modelling and analysing the performance of software structures for distributed computer systems is addressed.  ...  To illustrate the modelling technique proposed, it is applied to an investigation of the trade-offs associated with the configuration of critical sections in a distributed software system.  ...  A technique for the modelling of distributed software systems is introduced and techniques for the analysis of such models are described.  ... 
doi:10.1145/800215.806563 dblp:conf/sosp/KumarG79 fatcat:hz7of4mjlvebplmc5zewvjn5cm

Enhanced Markov-based model for the availability analysis of distributed software and hardware systems

Lawan Abdulwahab, Jabir Tukur Abdullahi, Ibrahim Yusuf
2018 Journal of Physics, Conference Series  
Markov model for a simple two-host system used in determining the system availability of homogeneously distributed software and hardware systems is based on the concept of containing only hardware and  ...  Present research aim at stochastically analysing the availability of heterogeneously distributed software and hardware systems with software redundancy in standby, using an enhanced model to address the  ...  Acknowledgments The authors wish to acknowledge the financial support from Bayero University, Kano for sponsoring this research from the beginning up to the stage of presenting some aspect of our work  ... 
doi:10.1088/1742-6596/1132/1/012066 fatcat:ukhrhpgppnfstfmf7gdgimu6wu

SAMC: a fast model checker for finding heisenbugs in distributed systems (demo)

Tanakorn Leesatapornwongsa, Haryadi S. Gunawi
2015 Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015  
We present SAMC, an open-source model checker that can be integrated to many modern distributed cloud systems. SAMC can find concurrency bugs caused by non-deterministic distributed events.  ...  We have successfully integrated SAMC to Hadoop, ZooKeeper and Cassandra.  ...  CCF-1321958, CCF-1336580, and CNS-1350499) and generous supports from NetApp.  ... 
doi:10.1145/2771783.2784771 dblp:conf/issta/Leesatapornwongsa15 fatcat:gvzzj5ttgbcqvnvqrk73jjyofu

FlexStore: A Software Defined, Energy Adaptive Distributed Storage Framework

Muthukumar Murugan, Krishna Kant, Ajaykrishna Raghavan, David H.C. Du
2014 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems  
The policy engine enforces those policies in the storage system by adjusting the allocation of storage resources.  ...  The key component in the proposed storage framework is the policy engine which is a software layer that provides interfaces to define performance requirements of the applications (and also energy related  ...  Our design of flexStore can be considered as an instance of software defined storage and includes a Policy Engine module that acts as the "software defining" part of the storage system.  ... 
doi:10.1109/mascots.2014.18 dblp:conf/mascots/MuruganKRD14 fatcat:y2q5bx6fl5gcvkqnzne63voqhy

Analyzing communication models for distributed thread-collaborative processors in terms of energy and time

Benjamin Klenk, Lena Oden, Holger Froning
2015 2015 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)  
methods. • An analysis of the impact of different communication models on energy consumption, indicating future optimizations.  ...  In this work, we analyze data movement optimizations for distributed heterogeneous systems based on CPUs and GPUs.  ...  ACKNOWLEDGMENT We gratefully acknowledge the generous support of this research effort by Nvidia, Xilinx Inc, and the EXTOLL Corporation.  ... 
doi:10.1109/ispass.2015.7095817 dblp:conf/ispass/KlenkOF15 fatcat:nztvqp3njfb3bidilhlnnbxxay

Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems

Venkita Subramonian, Christopher Gill, César Sánchez, Henny B. Sipma
2006 Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06  
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior.  ...  This paper makes three contributions to research on formal verification and validation of middleware-based DRE systems.  ...  Marius Bozga and Dr. Iulian Ober for valuable discussions regarding the IF tool set.  ... 
doi:10.1145/1176887.1176924 dblp:conf/emsoft/SubramonianGSS06 fatcat:pz2v2qvnpjcu5ipbatkjtmpm5u

Enforcing security and safety models with an information flow analysis tool

Roderick Chapman, Adrian Hilton
2004 Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04  
We describe an extension to the SPARK variable annotations which allows the specification of a security or safety level for each state variable, and an extension to the SPARK analysis which automatically  ...  In this paper we show how the information flow model enforced by the SPARK Examiner provides support for enforcing these security and safety models.  ...  The authors are grateful to Peter Amey, Neil White and Will Ward from Praxis Critical Systems for their feedback on this paper and the prototype integrity checking facilities of the Examiner.  ... 
doi:10.1145/1032297.1032305 dblp:conf/sigada/ChapmanH04 fatcat:2jndzzk5ebhrnefzxtyjngico4

Towards an automated approach to use expert systems in the performance testing of distributed systems

A. Omar Portillo-Dominguez, Miao Wang, John Murphy, Damien Magoni, Nick Mitchell, Peter F. Sweeney, Erik Altman
2014 Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing - JAMAICA 2014  
The results proved the benefits of the framework by achieving a significant decrease in the time invested in performance analysis and testing.  ...  However limitations exist in these tools, such as managing huge volumes of distributed data, that prevent their efficient usage for performance testing of highly distributed environments.  ...  of the tool's reports, and the analysis of the reports.  ... 
doi:10.1145/2631890.2631895 dblp:conf/issta/Portillo-Dominguez14 fatcat:ckvxsy4my5fb5mtsjefi3pshbu

Performance modelling of distributed e-business applications using Queuing Petri Nets

S. Kounev, A. Buchmann
2003 IEEE International Symposium on Performance Analysis of Systems and Software. ISPASS 2003.  
Kounev and A. Buchmann Slide 2  ...  Facilitate the modelling of both hardware and software aspects of system behavior in the same model. CONS: Extremely difficult to analyze!  ...  Analysis suffers the state space explosion problem and this imposes a limit on the size of the models that are analyzable.  ... 
doi:10.1109/ispass.2003.1190241 dblp:conf/ispass/KounevB03 fatcat:djcdhzx6njdbbgyk7o473vax74

A model-based distributed continuous quality assurance process to enhance the quality of service of evolving performance-intensive software systems

C. Yilmaz
2004 "Second International Workshop on Remote Analysis and Measurement of Software Systems (RAMSS 04)" - W15S Workshop - 26th International Conference on Software Engineering   unpublished
in a distributed, continuous manner to significantly and rapidly improve software quality.  ...  To improve the assessment of performance across large configuration spaces, we present a model-based approach to developing and deploying a new distributed continuous quality assurance (DCQA) process.  ...  Introduction Performance-intensive software, such as that found in high-performance computing systems and distributed realtime and embedded systems, increasingly executes on a multitude of platforms and  ... 
doi:10.1049/ic:20040344 fatcat:4kbadxlqhbfkjid25sfutytd3i

Simulation of the service system of HEDNO S.A., Hellenic Electricity Distribution Network Operator: Description, Modeling, Simulation and function analysis of a utility service with the use of the SIMUL8 software

Αικατερίνη Κωνσταντίνου Καστρίτση
2017
There is an analytical description and function analysis of the company as well as modeling, simulation, and experimentation with different scenarios.  ...  This master's thesis deals with the simulation of a real system, that of HEDNO S.A., the Hellenic Electricity Distribution Network Operator, a utility service company, a subsidiary company of PPC S.A.,  ...  Acknowledgements In this part of the thesis I would like to thank my supervisor Mr. Angeli Eleftherio who guided and supported me with the thesis' implementation and Mr.  ... 
doi:10.26262/heal.auth.ir.288297 fatcat:s6dipoifqfh3hoejahhczt4i5m

Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts

G. Huszerl, I. Majzik
Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey  
The paper presents techniques that enable the modeling and analysis of redundancy schemes in distributed objectoriented systems.  ...  By the analysis of the Petri-net model the designer can obtain reliability and availability measures that can be used in the early phases of the design to compare alternatives and find dependability bottlenecks  ...  Petri nets (PN) are a widely accepted formalism for modeling and analysis of distributed systems.  ... 
doi:10.1109/eurmic.2001.952455 dblp:conf/euromicro/HuszerlM01 fatcat:pgl2nhalebaiznhfkwokmnrrna

Adu, K.K. and Adjei, E. (2018). The phenomenon of data loss and cyber security issues in Ghana. Foresight, 20(2), 150–61. Ahmed, M.T.U., Bhuiya, N.I. and Rahman, M.M. (2017). A secure enterprise architecture focused on security and technology-transformation (SEAST), The 12th International Conference for Internet Technology and Secured Transactions, (ICITST-2017), Cambridge, UK, 11–4/12/2017. Alanazi, S.T., Anbar, M., Ebad, S.A., Karuppayah, S. and Al-Ani, H.A. (2020). Theory-based model and prediction analy ...

Emad Al Khoufi
2021 Basic and Applied Sciences - Scientific Journal of King Faisal University  
Hypertension was found in 80% of males and 72% of females. A significantly higher rate of diabetes was noted in females (62%) compared to males (48%) (p<0.012).  ...  Co-existing diabetes and hypertension was found in 70% of females as compared to 38% of males. The occurrence of IHD in males was significantly higher than that in females (p<0.001).  ...  The risk prediction models (RPMs) currently available for CVDs, diabetes mellitus and hypertension were compared in a systematic analysis regarding their efficacy in properly identifying patients at risk  ... 
doi:10.37575/b/med/0038 fatcat:5h5phkn4jjfvfceg4xasfjxsmy

Modeling Simulation Technology Research for Distribution Network Planning

Huanghuang Liu, Dan Liu, Qianjin Liu
2013 Energy and Power Engineering  
The modeling simulation results show that the software module has lots of advantages including high accuracy, ideal reliability, powerful practicality in simulation and analysis of distribution network  ...  This paper proposes to use the power system simulation software CYME to plan, model and simulate for an actual distribution network for improving the reliability and efficiency, enhancing the efficiency  ...  It is the basis for planning, design and operation analysis of any power system, including power distribution systems, transmission systems and industrial power systems.  ... 
doi:10.4236/epe.2013.54b188 fatcat:adtpyuhluzgkjkvr5fcnoo4zwa

The calibration and validation of a hybrid simulation/regression model of a batch computer system

H. Gomaa
1978 Software, Practice & Experience  
Gomaa, "Use Cases for Distributed Real-Time Software Architectures", Journal of Parallel and Distributed Computing Practices, Vol. 1, No. 2, 1998, 1-14.  ...  Gomaa, "Configuration of Distributed Heterogeneous Information Systems", Proc. Second International Workshop on Configurable Distributed Systems", Pittsburgh, PA, March 1994. 44. H. Gomaa and E.  ... 
doi:10.1002/spe.4380080103 fatcat:cnjwf3dq2nbd5d7eoyq6zefge4
« Previous Showing results 1 — 15 out of 2,127,080 results