Výsledky vyhledávání - "dependable computing"

Transaction Conflict Control in Hyperledger Fabric: A Taxonomy, Gaps, and Design for Conflict Prevention

Autoři: Máté Debreczeni Attila Klenik Imre Kocsis

Zdroj: IEEE Access, Vol 12, Pp 18987-19008 (2024)

Témata: goodput, taxonomy, Blockchain, multi-version concurrency control, hyperledger fabric, 0202 electrical engineering, electronic engineering, information engineering, dependable computing, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, TK1-9971

Přístupová URL adresa: https://doaj.org/article/7aaef7da136c464e9e574c35b4792c5b

An Integrated Perspective on the Evaluation of Complex Railway Systems

Autoři: Davide Basile Maurice H. ter Beek Laura Carnevali a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783031753893

Témata: NOT APPLICABLE, Contract automata, Sustainability, Formal methods, Railway systems, Interoperability, Quantitative analysis, Dependable computing

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/chapter/10.1007/978-3-031-75390-9_13
https://doi.org/10.1007/978-3-031-75390-9_13
https://hdl.handle.net/20.500.14243/509266

Inspecting Bridges and Critical Infrastructure: An AI and Blockchain Approach

Autoři: Adriano Mancini Alessandro Galdelli Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini a další

Přispěvatelé: Adriano Mancini Alessandro Galdelli Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini a další

Témata: Infrastructure monitoring, Artificial Intelligence, Blockchain Technologies, Dependable Computing

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031567759; info:eu-repo/semantics/altIdentifier/wos/WOS:001296017500012; ispartofbook:Dependable Computing – EDCC 2024 Workshops; 1st Workshop on Safe Autonomous Systems, SafeAutonomy 2024, and 1st Workshop on the Role of TRUST in the implementation of Digital Technologies: Blockchain Technology and Artificial Intelligence in Smart Cities, TRUST IN BLOCKCHAIN 2024 held at 19th European Dependable Computing Conference, EDCC 2024; volume:2078; firstpage:123; lastpage:126; numberofpages:4; serie:COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; https://hdl.handle.net/11566/344349

Dostupnost: https://hdl.handle.net/11566/344349
https://doi.org/10.1007/978-3-031-56776-6_12
https://link.springer.com/chapter/10.1007/978-3-031-56776-6_12

Set-to-Set Disjoint Path Routing in Bijective Connection Graphs

Autoři: Keiichi Kaneko Antoine Bossard Frederick C. Harris

Zdroj: IEEE Access, Vol 10, Pp 72731-72742 (2022)

Témata: performance evaluation supercomputers, parallel processing, 0202 electrical engineering, electronic engineering, information engineering, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, Dependable computing, multicomputer, interconnection network, hypercube, TK1-9971

Přístupová URL adresa: https://doaj.org/article/cc068aaebf70406583f1bb3e65b38a18

Cross-layer system reliability assessment framework for hardware faults

Autoři: VALLERO, ALESSANDRO SAVINO, ALESSANDRO POLITANO, GIANFRANCO MICHELE MARIA a další

Přispěvatelé: VALLERO, ALESSANDRO SAVINO, ALESSANDRO POLITANO, GIANFRANCO MICHELE MARIA a další

Zdroj: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Témata: Cross-layer reliability, [SPI.NANO] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics, Dependable computing system, Computational modeling, Reliability modeling, 02 engineering and technology, Software reliability, 01 natural sciences, Bayes methods, Hardware, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Hardware -- Reliability, Ordinadors -- Fiabilitat, DIGITAL SYSTEM DESIGN TEST AND VERIFICATION, cross-layer reliability, dependable computing system, reliability modeling, Applied Mathematics, Electrical and Electronic Engineering, Estimation, Informàtica::Arquitectura de computadors [Àrees temàtiques de la UPC], Software

Popis souboru: application/pdf

Přístupová URL adresa: https://upcommons.upc.edu/bitstream/2117/100853/3/07805863.pdf
http://hdl.handle.net/2117/100853
https://upcommons.upc.edu/handle/2117/100853
https://doi.org/10.1109/TEST.2016.7805863
http://ieeexplore.ieee.org/document/7805863/
https://dblp.uni-trier.de/db/conf/itc/itc2016.html#ValleroSPCCTKGR16
http://porto.polito.it/2667644/
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01444774

Exploiting the Use of Cooperation in Self-Organizing Reliable Multiagent Systems

Autoři: Bora S.

Zdroj: COMPUTING AND INFORMATICS; Vol 37, No 6 (2018): Computing and Informatics; 1363-1385

Témata: redundancy, Autonomous agents, availability, Availability, Distributed computing, Dependable Computing, Multiagent Systems, 02 engineering and technology, software reliability, Software reliability, Adaptive systems, Adaptive systems, availability, autonomous agents, redundancy, software reliability, Redundancy, 0202 electrical engineering, electronic engineering, information engineering, 68T42, 68M15, autonomous agents

Popis souboru: application/pdf

Přístupová URL adresa: http://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1363
https://avesis.ege.edu.tr/yayin/80d9d140-db7e-4113-a767-ee304406f4b4/exploiting-the-use-of-cooperation-in-self-organizing-reliable-multiagent-systems
http://www.cai.sk/ojs/index.php/cai/article/download/2018_6_1363/933
https://dblp.uni-trier.de/db/journals/cai/cai37.html#Bora18
http://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1363
https://hdl.handle.net/11454/30876
https://doi.org/10.4149/cai_2018_6_1363
https://hdl.handle.net/11454/25190
https://doi.org/10.4149/cai_2018_6_1363

Practical Dependable Systems with OS/Hypervisor Support

Autoři: Zhou, Diyu

Témata: Engineering, Container, Data Race Detection, Dependable Computing, Fault Tolerance, Operating Systems, Virtualization

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/8qn6v2dd
https://escholarship.org/content/qt8qn6v2dd/qt8qn6v2dd.pdf

A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems

Autoři: Basile D Chiaradonna S Di Giandomenico F a další

Zdroj: Journal of rail transport planning & management
6 (2016): 163–181. doi:10.1016/j.jrtpm.2016.03.003
info:cnr-pdr/source/autori:Basile D.; Chiaradonna S.; Di Giandomenico F.; Gnesi S./titolo:A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems/doi:10.1016%2Fj.jrtpm.2016.03.003/rivista:Journal of rail transport planning & management (Print)/anno:2016/pagina_da:163/pagina_a:181/intervallo_pagine:163–181/volume:6

Témata: Dependable Computing, 13. Climate action, Green IT, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Energy management, Heating system, Stochastic modelling, Modeling and Simulation, Computer Science Applications1707 Computer Vision and Pattern Recognition, 7. Clean energy, 01 natural sciences, Model-based analysis

Popis souboru: application/pdf

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/jrtpm/jrtpm6.html#BasileCGG16
https://www.sciencedirect.com/science/article/pii/S2210970616300051
https://trid.trb.org/view.aspx?id=1418109
http://www.sciencedirect.com/science/article/pii/S2210970616300051
https://hdl.handle.net/20.500.14243/319828
https://doi.org/10.1016/j.jrtpm.2016.03.003
http://www.journals.elsevier.com/journal-of-rail-transport-planning-and-management/
https://hdl.handle.net/2158/1141728
https://doi.org/10.1016/j.jrtpm.2016.03.003

Dependable I2C Communication with FPGA

Autoři: Trujilho, Leandro Saotome, Osamu Öberg, Johnny

Zdroj: PROCEEDINGS OF THE 7TH BRAZILIAN TECHNOLOGY SYMPOSIUM (BTSYM'21) Smart Innovation Systems and Technologies. :383-395

Témata: I2c, Fault tolerance, Reliability, Data bus, Partial reconfiguration, FPGA, Cubesat, Robotics, High availability, Dependable computing

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-324322

Security issues of a phasor data concentrator for smart grid infrastructure

Autoři: D'ANTONIO, Salvatore COPPOLINO, Luigi ELIA, Ivano Alessandro a další

Zdroj: Proceedings of the 13th European Workshop on Dependable Computing. :3-8

Témata: 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, Smart Grids, Synchrophasors, Phasor Measurement Unit, Phasor Data Concentrator, C37.118, SQL Injection, Critical Infrastructure Protection, Security, Dependable Computing, 02 engineering and technology, 7. Clean energy

Přístupová URL adresa: http://dl.acm.org/citation.cfm?id=1978584
https://dl.acm.org/doi/10.1145/1978582.1978584
https://dl.acm.org/citation.cfm?doid=1978582.1978584
http://portal.acm.org/citation.cfm?doid=1978582.1978584
https://doi.org/10.1145/1978582.1978584
https://core.ac.uk/display/54087648

Living on the Edge Dependably: New Challenges and Solution Directions

Autoři: Bagchi, Saurabh Panchal, Jitesh

Zdroj: Department of Electrical and Computer Engineering Technical Reports

Témata: Dependable Computing, Edge Computing, Advanced Manufacturing

Popis souboru: application/pdf

Přístupová URL adresa: https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=1490&context=ecetr
https://docs.lib.purdue.edu/ecetr/486

ディペンダブルということ

Autoři: 金川 信康

Zdroj: 情報・システムソサイエティ誌 / IEICE INFORMATION AND SYSTEMS SOCIETY JOURNAL. 2019, 24(1):13

Model-Based Evaluation of Energy Saving Systems

Autoři: Basile D Di Giandomenico F Gnesi S

Zdroj: Studies in Systems, Decision and Control ISBN: 9783319441610
Green IT Engineering: Concepts, Models, Complex Systems Architectures, edited by Kharchenko, Vyacheslav; Kondratenko, Yuriy; Kacprzyk, Janusz, pp. 187–208, 2017
info:cnr-pdr/source/autori:Basile D.; Di Giandomenico F.; Gnesi S./titolo:Model-based evaluation of energy saving systems/titolo_volume:Green IT Engineering: Concepts, Models, Complex Systems Architectures/curatori_volume:Kharchenko, Vyacheslav; Kondratenko, Yuriy; Kacprzyk, Janusz/editore:/anno:2017

Témata: Dependable Computing, C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS, Green IT, I.6 SIMULATION AND MODELING, Energy-saving, Quality models, Reliability, Stochastic analysis, Computer Science (miscellaneous), Decision Sciences (miscellaneous), 2001, Automotive Engineering, Control and Systems Engineering, Control and Optimization, Social Sciences (miscellaneous), 7. Clean energy, Model-based analysis, C.4 PERFORMANCE OF SYSTEMS

Popis souboru: application/pdf

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-3-319-44162-7_10
https://link.springer.com/content/pdf/10.1007%2F978-3-319-44162-7_10.pdf
https://link.springer.com/chapter/10.1007/978-3-319-44162-7_10
https://link.springer.com/chapter/10.1007/978-3-319-44162-7_10/fulltext.html
http://link.springer.com/chapter/10.1007/978-3-319-44162-7_10
https://hdl.handle.net/20.500.14243/319897
https://doi.org/10.1007/978-3-319-44162-7_10
https://hdl.handle.net/2158/1142471
https://doi.org/10.1007/978-3-319-44162-7_10

Energy-saving buildings assessment through stochastic hybrid model-based evaluation

Autoři: Basile D. Di Giandomenico F. Gnesi S.

Zdroj: 2th CINI Annual Conference on ICT for Smart Cities & Communities, Benevento, Italy, 29-30 September 2016
info:cnr-pdr/source/autori:Basile D.; Di Giandomenico F.; Gnesi S./congresso_nome:2th CINI Annual Conference on ICT for Smart Cities & Communities/congresso_luogo:Benevento, Italy/congresso_data:29-30 September 2016/anno:2016/pagina_da:/pagina_a:/intervallo_pagine

Témata: Dependable Computing, C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS, Green IT, I.6 SIMULATION AND MODELING, Model-based analysis, C.4 PERFORMANCE OF SYSTEMS

Přístupová URL adresa: http://www.cnr.it/prodotto/i/362801
https://publications.cnr.it/doc/362801

Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach

Autoři: Basile D Di Giandomenico F Gnesi S

Zdroj: Lecture Notes in Computer Science ISBN: 9783319471686
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, pp. 315–330, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Basile D.; Di Giandomenico F.; Gnesi S./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:315/pagina_a:330/intervallo_pagine:315–330

Témata: Dependable Computing, C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS, Green IT, 0202 electrical engineering, electronic engineering, information engineering, I.6 SIMULATION AND MODELING, Theoretical Computer Science, Computer Science (all), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, Model-based analysis, C.4 PERFORMANCE OF SYSTEMS

Popis souboru: application/pdf

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#BasileGG16
https://link.springer.com/chapter/10.1007/978-3-319-47169-3_23
https://rd.springer.com/chapter/10.1007/978-3-319-47169-3_23
https://flore.unifi.it/handle/2158/1142472
https://link.springer.com/chapter/10.1007/978-3-319-47169-3_23/fulltext.html
https://link.springer.com/chapter/10.1007/978-3-319-47169-3_23
https://doi.org/10.1007/978-3-319-47169-3_23
https://hdl.handle.net/20.500.14243/319834

Supporting the design of intelligent railway stations

Autoři: Basile D. Di Giandomenico F. Gnesi S.

Zdroj: CINI Annual Conference on ICT for Smart Cities & Communities, Palermo, Italy, 29-30 Ottobre 2015
info:cnr-pdr/source/autori:Basile D.; Di Giandomenico F.; Gnesi S./congresso_nome:CINI Annual Conference on ICT for Smart Cities & Communities/congresso_luogo:Palermo, Italy/congresso_data:29-30 Ottobre 2015/anno:2015/pagina_da:/pagina_a:/intervallo_pagine

Témata: Dependable Computing, C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS, Green IT, I.6 SIMULATION AND MODELING, Model-based analysis, C.4 PERFORMANCE OF SYSTEMS

Přístupová URL adresa: https://publications.cnr.it/doc/362799
http://www.cnr.it/prodotto/i/362799

software fault tolerance: Software fault tolerance

Autoři: Algirdas Avižienis

Zdroj: Informatica (lithuanian Academy of Sciences). 1(2):3-34

Témata: fault-tolerant software, Theory of software, dependable software, fault tolerance software, dependable computing

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1203202
https://content.iospress.com/articles/informatica/inf1-2-01

Reliable Internet-based Master-Worker Computing in the Presence of Malicious Workers

Autoři: Fernández Anta, Antonio Georgiou, Chryssis López, Luis a další

Témata: Q Science::Q Science (General), Q Science::QA Mathematics::QA75 Electronic computers. Computer science, T Technology::T Technology (General), T Technology::TA Engineering (General). Civil engineering (General), T Technology::TK Electrical engineering. Electronics Nuclear engineering, Volunteer computing, Malicious processors, Dependable computing, Public-resource computing, Task execution, Cost

Relation: http://hdl.handle.net/20.500.12761/141

Dostupnost: https://hdl.handle.net/20.500.12761/141

Stochastic Fault-Tolerant Routing in Dual-Cubes

Autoři: Junsuk PARK Keiichi KANEKO Nobuhiro SEKI

Zdroj: IEICE Transactions on Information and Systems. 2017, E100.D(8):1920

Node-to-Node Disjoint Paths Problem in Möbius Cubes

Autoři: David KOCIK Keiichi KANEKO

Zdroj: IEICE Transactions on Information and Systems. 2017, E100.D(8):1837