Výsledky vyhľadávania - Systems and Software—distributed systems General Terms Algorithms*

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dana Fisman Grigore Rosu

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

Autori: Armin Biere David Parker

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dirk Beyer Marieke Huisman Fabrice Kordon a ďalší

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

DAEE: Distributed Adaptive Exploration and Exploitation for Orientation Adjustment in Magnetic Wireless Power Transfer System.

Autori: Zhou, Fengyu Zhou, Hao Guo, Weiming a ďalší

Zdroj: ACM Transactions on Sensor Networks; Jul2025, Vol. 21 Issue 4, p1-25, 25p

Predmety: WIRELESS power transmission, BEAMFORMING, TRANSMITTERS (Communication), ALGORITHMS, COMPUTER software

Kinesis: A New Approach to Replica Placement in Distributed Storage Systems

Autori: John Maccormick Nicholas Murphy VENUGOPALAN RAMASUBRAMANIAN, UDI WIEDER, JUNFENG YANG, Lidong Zhou a ďalší

Prispievatelia: John Maccormick Nicholas Murphy VENUGOPALAN RAMASUBRAMANIAN, UDI WIEDER, JUNFENG YANG, Lidong Zhou a ďalší

Zdroj: http://systems.cs.columbia.edu/files/wpid-kinesis-tos.pdf.

Predmety: Categories and Subject Descriptors, H.3.4 [Information Storage and Retrieval, Systems and Software—Distributed systems General Terms, Algorithms, Design, Performance, Reliability Additional Key Words and Phrases, Storage system, load balancing, multiple-choice paradigm ACM Reference Format

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.2701

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.2701
http://systems.cs.columbia.edu/files/wpid-kinesis-tos.pdf

Transactional storage for geo-replicated systems

Autori: Yair Sovran Russell Power Marcos K. Aguilera a ďalší

Prispievatelia: Yair Sovran Russell Power Marcos K. Aguilera a ďalší

Zdroj: http://www.sigops.org/sosp/sosp11/current/2011-Cascais/27-sovran-online.pdf.

Predmety: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems—Client/Server, Distributed applications, Distributed Databases, D.4.5 [Operating Systems, Reliability—fault-tolerance, H.3.4 [Information Storage and Retrieval, Systems and Software—distributed systems General Terms, Algorithms, Design, Experimentation, Performance, Reliability Keywords, Transactions, asynchronous replication, geo-distributed systems, distributed storage, key-value store, parallel snapshot

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.6201

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.6201
http://www.sigops.org/sosp/sosp11/current/2011-Cascais/27-sovran-online.pdf

Location based placement of whole distributed systems

Autori: David Spence Jon Crowcroft Steven Hand a ďalší

Prispievatelia: David Spence Jon Crowcroft Steven Hand a ďalší

Zdroj: https://www.evernote.com/shard/s1/res/fd093b18-6e41-49a3-bb45-211e8c53f343.pdf.

Predmety: Categories and Subject Descriptors C.2.4 [Computer Communication Networks, Distributed sys- tems—Distributed applications, Distributed Databases, E.1 [Data Structures, Distributed data structures, H.3.4 [Information Stor- age and Retrieval, Systems and Software—Distributed systems General Terms Algorithms

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.476.6976

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.476.6976

A Survey of Program Analysis for Distributed Software Systems.

Autori: Cai, Haipeng

Zdroj: ACM Computing Surveys; Dec2025, Vol. 57 Issue 12, p1-45, 45p

A State-of-the-Art Review on the Revolution of Structure and Control of Vehicle Chassis System: from Tradition to Distributed Chassis System.

Autori: Zhang, Ning Li, Zihong Wang, Cheng a ďalší

Zdroj: Chinese Journal of Mechanical Engineering; 7/21/2025, Vol. 38 Issue 1, p1-22, 22p

Dynamic Atomic Storage Without Consensus

Autori: Marcos K. Aguilera Idit Keidar Dahlia Malkhi a ďalší

Prispievatelia: Marcos K. Aguilera Idit Keidar Dahlia Malkhi a ďalší

Zdroj: http://research.microsoft.com/en-us/people/aguilera/dynastore-jacm2011.pdf.

Predmety: Categories and Subject Descriptors, B.3.2 [Memory Structures, Design Styles—Shared memory, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, D.4.2 [Operating Systems, Storage Management—Secondary storage, distributed memories, D.4.5 [Operating Systems, Reliability—Fault-tolerance, H.3.4 [Information Storage and Retrieval, Systems and Software— Distributed systems General Terms, Algorithms, Design, Reliability, Theory Additional Key Words and Phrases, Shared-memory emulations, dynamic systems, atomic storage ACM Reference Format

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.4548

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.4548
http://research.microsoft.com/en-us/people/aguilera/dynastore-jacm2011.pdf

and retrieval]: Systems and software—Distributed systems General Terms

Autori: Yasushi Saito Svend Frølund Alistair Veitch a ďalší

Prispievatelia: Yasushi Saito Svend Frølund Alistair Veitch a ďalší

Zdroj: http://www.hpl.hp.co.uk/personal/Alistair_Veitch/papers/asplos04/fab-asplos2004.pdf.

Predmety: Algorithms, Management, Performance, Reliability Keywords Storage, disk array, replication, erasure coding, voting, consensus

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.6213

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.6213
http://www.hpl.hp.co.uk/personal/Alistair_Veitch/papers/asplos04/fab-asplos2004.pdf

and retrieval]: Systems and software—Distributed systems General Terms

Autori: Yasushi Saito Svend Frølund Alistair Veitch a ďalší

Prispievatelia: Yasushi Saito Svend Frølund Alistair Veitch a ďalší

Zdroj: http://www.ssrc.ucsc.edu/PaperArchive/saito-asplos04.pdf.

Predmety: Algorithms, Management, Performance, Reliability Keywords Storage, disk array, replication, erasure coding, voting, consensus

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.8898

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.8898
http://www.ssrc.ucsc.edu/PaperArchive/saito-asplos04.pdf

Optimistic replication

Autori: Yasushi Saito MARC SHAPIRO The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Yasushi Saito MARC SHAPIRO The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-sor.inria.fr/~shapiro/papers/Optimistic_Replication_Computing_Surveys_2005-03_cameraready.pdf.

Predmety: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, H.3.4 [Information Storage and Retrieval, Systems and Software—Distributed systems General Terms, Algorithms, Management, Reliability, Performance Additional Key Words and Phrases, Replication, Optimistic Techniques, Distributed Systems, Large scale systems, Disconnected Operation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.1145

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.1145
http://www-sor.inria.fr/~shapiro/papers/Optimistic_Replication_Computing_Surveys_2005-03_cameraready.pdf

Data-centric reconfiguration with network-attached disks

Autori: Alexander Shraer Dahlia Malkhi The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Alexander Shraer Dahlia Malkhi The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.technion.ac.il/~shralex/ladis-camera.pdf.

Predmety: B.3.2 [Memory Structures, Design Styles—shared memory, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, D.4.2 [Operating Systems, Storage Management—secondary storage, distributed memories, D.4.5 [Operating Systems, Reliability—fault-tolerance, H.3.4 [Information Storage and Retrieval, Systems and Software—distributed systems General Terms Algorithms, Design, Reliability, Performance Keywords Shared-memory emulations

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.3190

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.3190
http://www.cs.technion.ac.il/~shralex/ladis-camera.pdf

Depot: Cloud storage with minimal trust

Autori: Prince Mahajan Srinath Setty Sangmin Lee a ďalší

Prispievatelia: Prince Mahajan Srinath Setty Sangmin Lee a ďalší

Zdroj: http://www.cs.utexas.edu/%7Emwalfish/papers/depot-tocs11.pdf.

Predmety: Systems, Organization and Design—Distributed systems, C.2.4 [Computer-Communication Networks, Distributed Systems—Client/server, distributed systems, H.3.4 [Information Storage and Retrieval, Systems and Software—Distributed systems General Terms, Design, Algorithms, Reliability, Experimentation, Security Additional Key Words and Phrases, Cloud storage, Byzantine fault tolerance, Fork-Join-Causal (FJC) consistency, fork consistency ACM Reference Format

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.1801

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.1801
http://www.cs.utexas.edu/%7Emwalfish/papers/depot-tocs11.pdf

Developing Resilient Cyber-Physical Systems: A Review of State-of-the-Art Malware Detection Approaches, Gaps, and Future Directions.

Autori: Malik, M. Imran Ibrahim, Ahmed Hannay, Peter a ďalší

Zdroj: Computers (2073-431X); Apr2023, Vol. 12 Issue 4, p79, 26p

Predmety: CYBER physical systems, INFRASTRUCTURE (Economics), METAHEURISTIC algorithms, SECURITY systems, ALGORITHMS, MALWARE, BIOLOGICALLY inspired computing

A survey of peer-to-peer content distribution technologies

Autori: Stephanos Androutsellis-theotokis Diomidis Spinellis The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Stephanos Androutsellis-theotokis Diomidis Spinellis The Pennsylvania State University CiteSeerX Archives

Zdroj: http://courses.cs.vt.edu/~cs5204/fall09-kafura/Papers/FileSystems/ContentDistribution-Survey.pdf.

Predmety: Categories and Subject Descriptors, C.2.1 [Computer-Communication Networks, Network Architecture and Design—Network topology, C.2.2 [Computer- Communication Networks, Network Protocols—Routing protocols, C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed databases, H.2.4 [Database Management, Systems—Distributed databases, H.3.4 [Information Storage and Retrieval, Systems and Software—Distributed systems General Terms, Algorithms, Design, Performance, Reliability, Security Additional Key Words and Phrases, Content distribution, DOLR, DHT, grid computing, p2p, peer-to-peer

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.318.5402

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.318.5402
http://courses.cs.vt.edu/~cs5204/fall09-kafura/Papers/FileSystems/ContentDistribution-Survey.pdf

Programming storage-centric sensor networks with Squirrel

Autori: Luca Mottola The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Luca Mottola The Pennsylvania State University CiteSeerX Archives

Zdroj: http://users.eecs.northwestern.edu/~peters/references/ProgrammingStorageCentricSquirrel.pdf.

Predmety: Categories and Subject Descriptors D.3.2 [Programming Languages, Language Classifications— Data-flow languages, H.3.4 [Information Storage and Retrieval, Systems and Software—Distributed systems General Terms Algorithms, Languages, Performance

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.418.4635; http://users.eecs.northwestern.edu/~peters/references/ProgrammingStorageCentricSquirrel.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.418.4635
http://users.eecs.northwestern.edu/~peters/references/ProgrammingStorageCentricSquirrel.pdf

Storage and Retrieval]: Systems and Software—Distributed

Autori: Ruggero Morselli Bobby Bhattacharjee Aravind Srinivasan a ďalší

Prispievatelia: Ruggero Morselli Bobby Bhattacharjee Aravind Srinivasan a ďalší

Zdroj: http://www.cs.umd.edu/~srin/PDF/2005/lms-conf.pdf.

Predmety: systems General Terms Design, Performance, Theory Keywords Peer-to-peer networks, lookup protocols, distributed algorithms, random

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.8869

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.8869
http://www.cs.umd.edu/~srin/PDF/2005/lms-conf.pdf

Software and computing for Run 3 of the ATLAS experiment at the LHC.

Autori: Aad, G. Aakvaag, E. Abbott, B. a ďalší

Zdroj: European Physical Journal C -- Particles & Fields; Mar2025, Vol. 85 Issue 3, p1-117, 117p

Predmety: SYSTEMS software, MATHEMATICS software, DATABASES, COMPUTER systems, SOFTWARE development tools