Výsledky vyhledávání - algorithms and object-oriented programming (jana) introduction to linux game and strategies*

A literature study and performance gaps on Centralized server-based load balancing and routing strategies under cloud-IoT-WSN.

Autoři: GSR, Yogaraja M N, Thippeswamy K, Venkatesh

Zdroj: Australian Journal of Electrical & Electronic Engineering; Jun2024, Vol. 21 Issue 2, p138-160, 23p

Témata: MULTICASTING (Computer networks), WIRELESS sensor networks, EVIDENCE gaps, LOAD balancing (Computer networks), PERFORMANCE theory, QUALITY of service

WIRELESS ECG MONITORING SYSTEM.

Autoři: Bhilare, Aditi S. Kamble, Mansi G. Shah, P. P.

Zdroj: International Scientific Journal of Engineering & Management; Apr2025, Vol. 4 Issue 4, p1-2, 2002p

Témata: PATIENT monitoring, EARLY diagnosis, ACQUISITION of data, DATA transmission systems, DIAGNOSIS

Shining Light on the Inter-procedural Code Obfuscation: Keep Pace with Progress in Binary Diffing.

Autoři: PEIHUA ZHANG CHENGGANG WU HANZHI HU a další

Zdroj: ACM Transactions on Architecture & Code Optimization; Mar2025, Vol. 22 Issue 1, p1-28, 28p

Comprehensive Review and Future Research Directions on ICT Standardisation.

Autoři: Mahdi, Mohammed Najah Walshe, Ray Farrell, Sharon a další

Zdroj: Information; Nov2024, Vol. 15 Issue 11, p691, 50p

Témata: MACHINE learning, INFORMATION & communication technologies, INFORMATION resources management, MODERN society, SYSTEMS software

ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation.

Autoři: Zhou, Anshunkang Hu, Yikun Xu, Xiangzhe a další

Zdroj: ACM Transactions on Software Engineering & Methodology; May2024, Vol. 33 Issue 4, p1-31, 31p

Témata: BINARY codes, REVERSE engineering, SEMANTICS

Predictive Models in Software Engineering: Challenges and Opportunities.

Autoři: YANMING YANG XIN XIA DAVID LO a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2022, Vol. 31 Issue 3, p1-72, 72p

Témata: SOFTWARE engineering, SOFTWARE engineers, ENGINEERING models, PREDICTION models, DEBUGGING, COMPUTER software development

Understanding and Combating Memory Bloat in Managed Data-Intensive Systems.

Autoři: Nguyen, Khanh Wang, Kai Bu, Yingyi a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jan2018, Vol. 26 Issue 4, p1-41, 41p

Témata: PROGRAMMING languages, OBJECT-oriented programming, COMPUTER memory management, JAVA programming language, BIG data, INFORMATION storage & retrieval systems

Dynamic and execution views to improve validation, testing, and optimization of autonomous driving software.

Autoři: Alcon, Miguel Tabani, Hamid Abella, Jaume a další

Zdroj: Software Quality Journal; Jun2023, Vol. 31 Issue 2, p405-439, 35p

Témata: AUTONOMOUS vehicles, SOFTWARE frameworks, ARCHITECTURAL design, SOFTWARE architecture, ARCHITECTURAL details, SYSTEMS on a chip

CARS 2023—Computer Assisted Radiology and Surgery Proceedings of the 37th International Congress and Exhibition Munich, Germany, June 20–23, 2023.

Zdroj: International Journal of Computer Assisted Radiology & Surgery; Jun2023 Suppl 1, Vol. 18, p1-123, 123p

References.

Zdroj: Foundations & Trends in Electronic Design Automation; 2019, Vol. 13 Issue 1/2, p105-144, 40p

Témata: SYSTEMS on a chip, ROUTING algorithms, HIGH performance computing, VERY large scale circuit integration, INTEGRATED circuit design, TECHNOLOGY, SCIENCE & state

Engines of Order : A Mechanology of Algorithmic Techniques

Autoři: Bernhard Rieder

Resource Type: eBook.

Categories: COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, PHILOSOPHY / Epistemology

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Hunting for Bugs in Code Coverage Tools via Randomized Differential Testing.

Autoři: Yibiao Yang Yuming Zhou Hao Sun a další

Zdroj: ICSE: International Conference on Software Engineering; 5/25/2019, p488-499, 12p

Témata: QUALITY assurance, COMPUTER software development, COMPUTER science, DEBUGGING, ARTIFICIAL intelligence

Mimic defense: a designed‐in cybersecurity defense framework.

Autoři: Hu, Hongchao Wu, Jiangxing Wang, Zhenpeng a další

Zdroj: IET Information Security (Wiley-Blackwell); May2018, Vol. 12 Issue 3, p226-237, 12p

Témata: DATA security, CYBERTERRORISM, MILITARY technology, INTERNET security, SECURITY systems

All about activity injection: Threats, semantics, detection, and defense.

Autoři: Hwang, Sungjae Lee, Sungho Ryu, Sukyoung

Zdroj: Software: Practice & Experience; Jul2020, Vol. 50 Issue 7, p1061-1086, 26p

Témata: COMPUTER multitasking, ACCESS control, FALSE alarms, DEFENSE in depth (Computer security), SEMANTICS

Reviews & Products: ANDROID (Operating system)

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Autoři: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Témata: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

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