Search Results - system and software—distributed system general terms algorithms

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dana Fisman Grigore Rosu

Resource Type: eBook.

Subjects: 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

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

Authors: Armin Biere David Parker

Resource Type: eBook.

Subjects: 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

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dirk Beyer Marieke Huisman Fabrice Kordon et al.

Resource Type: eBook.

Subjects: 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

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

Authors: Zhou, Fengyu Zhou, Hao Guo, Weiming et al.

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

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

Location based placement of whole distributed systems

Authors: David Spence Jon Crowcroft Steven Hand et al.

Contributors: David Spence Jon Crowcroft Steven Hand et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

A Survey of Program Analysis for Distributed Software Systems.

Authors: Cai, Haipeng

Source: 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.

Authors: Zhang, Ning Li, Zihong Wang, Cheng et al.

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

Data-centric reconfiguration with network-attached disks

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

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

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

Subject Terms: 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

File Description: application/pdf

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

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

Automated text classification using a multi-agent framework

Authors: Yueyu Fu Weimao Ke Javed Mostafa et al.

Contributors: Yueyu Fu Weimao Ke Javed Mostafa et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

Programming storage-centric sensor networks with Squirrel

Authors: Luca Mottola The Pennsylvania State University CiteSeerX Archives

Contributors: Luca Mottola The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: 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

File Description: 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

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

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

Authors: Malik, M. Imran Ibrahim, Ahmed Hannay, Peter et al.

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

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

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

Authors: Sinopoulou, Anna Bouwhuis, Mieke Distefano, Carla et al.

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

Exploring group mobility for replica data allocation in a mobile environment

Authors: Jiun-long Huang Ming-syan Chen Wen-chih Peng et al.

Contributors: Jiun-long Huang Ming-syan Chen Wen-chih Peng et al.

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

Subject Terms: 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

File Description: 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

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

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

Authors: Aad, G. Aakvaag, E. Abbott, B. et al.

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

Subject Terms: SYSTEMS software, MATHEMATICS software, DATABASES, COMPUTER systems, SOFTWARE development tools

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

Authors: Gatwaza, F. N. Seddiki, L. Amari, S. et al.

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

Numerically exact configuration interaction at quadrillion-determinant scale.

Authors: Shayit, Agam Liao, Can Upadhyay, Shiv et al.

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

Software Integration of Power System Measurement Devices with AI Capabilities.

Authors: Arenas-Ramos, Victoria Cuesta, Federico Pallares-Lopez, Victor et al.

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

Subject Terms: PHASOR measurement, PHOTOVOLTAIC power systems, ARTIFICIAL intelligence, TELECOMMUTING, SMART meters

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

Authors: Menzel, Verena Hurink, Johann Remke, Anne

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

Subject Terms: IMAGE processing software, INFRASTRUCTURE (Economics), RENEWABLE energy transition (Government policy), TELECOMMUNICATION systems, ARTIFICIAL intelligence

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

Authors: Jaafar, Mohammed Musadaq Obaid, Ali Hamzah

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

Subject Terms: MEMORY

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

Authors: Specht, Oktawia Specht, Mariusz Stateczny, Andrzej et al.

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

Subject Terms: COASTS, GLOBAL Positioning System, OPTICAL radar, LIDAR, TIME series analysis, DRONE aircraft