Výsledky vyhledávání - system AND software—distributed system general terms algorithms

Upřesnit hledání
  1. 1

    Tools and Algorithms for the Construction and Analysis of Systems

    Autoři: Dana Fisman Grigore Rosu

    Resource Type: eBook.

    Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

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

    Plný text ve formátu PDF
    Přidat do oblíbených
  2. 2

    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

    Autoři: Armin Biere David Parker

    Resource Type: eBook.

    Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

    Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, MATHEMATICS / Applied

    Plný text ve formátu PDF
    Přidat do oblíbených
  3. 3

    Tools and Algorithms for the Construction and Analysis of Systems

    Autoři: Dirk Beyer Marieke Huisman Fabrice Kordon a další

    Resource Type: eBook.

    Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

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

    Plný text ve formátu PDF Plný text ve formátu ePub
    Přidat do oblíbených
  4. 4

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

    Autoři: Zhou, Fengyu Zhou, Hao Guo, Weiming a další

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

    Témata: WIRELESS power transmission, BEAMFORMING, TRANSMITTERS (Communication), ALGORITHMS, COMPUTER software

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    Location based placement of whole distributed systems

    Autoři: David Spence Jon Crowcroft Steven Hand a další

    Přispěvatelé: David Spence Jon Crowcroft Steven Hand a další

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

    Témata: 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 souboru: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    A Survey of Program Analysis for Distributed Software Systems.

    Autoři: Cai, Haipeng

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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

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

    Autoři: Zhang, Ning Li, Zihong Wang, Cheng a další

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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    Data-centric reconfiguration with network-attached disks

    Autoři: Alexander Shraer Dahlia Malkhi The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Alexander Shraer Dahlia Malkhi The Pennsylvania State University CiteSeerX Archives

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

    Témata: 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 souboru: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    Automated text classification using a multi-agent framework

    Autoři: Yueyu Fu Weimao Ke Javed Mostafa a další

    Přispěvatelé: Yueyu Fu Weimao Ke Javed Mostafa a další

    Zdroj: http://ivl.slis.indiana.edu/km/pub/2005-fu-automtxt.pdf.

    Témata: Categories and Subject Descriptors H.3.4 [Information Storage and Retrieval, Systems and Software – distributed systems, performance evaluation General Terms Algorithms, Design, Experimentation Keywords Classification, Multi-Agent System

    Popis souboru: application/pdf

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.8156
    http://ivl.slis.indiana.edu/km/pub/2005-fu-automtxt.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    Programming storage-centric sensor networks with Squirrel

    Autoři: Luca Mottola The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Luca Mottola The Pennsylvania State University CiteSeerX Archives

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

    Témata: 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 souboru: 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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

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

    Autoři: Malik, M. Imran Ibrahim, Ahmed Hannay, Peter a další

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

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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  12. 12

    Management of the data processing & Run-by-Run simulations in KM3NeT.

    Autoři: Sinopoulou, Anna Bouwhuis, Mieke Distefano, Carla a další

    Zdroj: EPJ Web of Conferences; 10/7/2025, Vol. 337, p1-8, 8p

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    Exploring group mobility for replica data allocation in a mobile environment

    Autoři: Jiun-long Huang Ming-syan Chen Wen-chih Peng a další

    Přispěvatelé: Jiun-long Huang Ming-syan Chen Wen-chih Peng a další

    Zdroj: http://www.cs.nctu.edu.tw/~jlhuang/publications/CIKM03_MANETRep.pdf.

    Témata: Categories and Subject Descriptors H.3.4 [Information Storage and Retrieval, Systems and Software—distributed systems, H.2.4 [Database Management, Systems—distributed databases General Terms Algorithms Keywords Ad-hoc networks, replica allocation, data accessibility, mobile

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9510; http://www.cs.nctu.edu.tw/~jlhuang/publications/CIKM03_MANETRep.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9510
    http://www.cs.nctu.edu.tw/~jlhuang/publications/CIKM03_MANETRep.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

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

    Autoři: Aad, G. Aakvaag, E. Abbott, B. a další

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

    Témata: SYSTEMS software, MATHEMATICS software, DATABASES, COMPUTER systems, SOFTWARE development tools

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

    Distributed fault-tolerant control approach for discrete event systems using timed automata with guards: application to an electric power network.

    Autoři: Gatwaza, F. N. Seddiki, L. Amari, S. a další

    Zdroj: International Journal of Dynamics & Control; Jul2025, Vol. 13 Issue 7, p1-38, 38p

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    Numerically exact configuration interaction at quadrillion-determinant scale.

    Autoři: Shayit, Agam Liao, Can Upadhyay, Shiv a další

    Zdroj: Nature Communications; 12/10/2025, Vol. 16 Issue 1, p1-12, 12p

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    Software Integration of Power System Measurement Devices with AI Capabilities.

    Autoři: Arenas-Ramos, Victoria Cuesta, Federico Pallares-Lopez, Victor a další

    Zdroj: Applied Sciences (2076-3417); Jan2025, Vol. 15 Issue 1, p170, 27p

    Témata: PHASOR measurement, PHOTOVOLTAIC power systems, ARTIFICIAL intelligence, TELECOMMUTING, SMART meters

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  18. 18

    Real-world case studies for a process-aware IDS.

    Autoři: Menzel, Verena Hurink, Johann Remke, Anne

    Zdroj: Energy Informatics; 6/17/2025, Vol. 8 Issue 1, p1-28, 28p

    Témata: IMAGE processing software, INFRASTRUCTURE (Economics), RENEWABLE energy transition (Government policy), TELECOMMUNICATION systems, ARTIFICIAL intelligence

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

    An efficient memory management in single and multi-core embedded system using global shared memory.

    Autoři: Jaafar, Mohammed Musadaq Obaid, Ali Hamzah

    Zdroj: AIP Conference Proceedings; 2024, Vol. 3051 Issue 1, p1-8, 8p

    Témata: MEMORY

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  20. 20

    Concept of an Innovative System for Dimensioning and Predicting Changes in the Coastal Zone Topography Using UAVs and USVs (4DBatMap System).

    Autoři: Specht, Oktawia Specht, Mariusz Stateczny, Andrzej a další

    Zdroj: Electronics (2079-9292); Oct2023, Vol. 12 Issue 19, p4112, 17p

    Témata: COASTS, GLOBAL Positioning System, OPTICAL radar, LIDAR, TIME series analysis, DRONE aircraft

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: