Search Results - Theory of computation → Caching and paging algorithms Keywords and phrases real-time~

Impact of DM-LRU on WCET: A Static Analysis Approach

Authors: Mancuso, Renato Yun, Heechul Puaut, Isabelle et al.

Contributors: Mancuso, Renato Yun, Heechul Puaut, Isabelle et al.

Source: ECRTS 2019 - 31st Euromicro Conference on Real-Time Systems ; https://hal.science/hal-02190255 ; ECRTS 2019 - 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. pp.1-25, ⟨10.4230/LIPIcs.ECRTS.2019.17⟩

Subject Terms: dynamic cache locking, 2012 ACM Subject Classification Computer systems organization → Real-time systems, static cache analysis, deterministic memory, WCET analysis, static cache locking, abstract interpretation, Theory of computation → Caching and paging algorithms Keywords and phrases real-time, cache profiling, LRU, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Subject Geographic: Stuttgart, Germany

Availability: https://hal.science/hal-02190255
https://hal.science/hal-02190255v1/document
https://hal.science/hal-02190255v1/file/LIPIcs-ECRTS-2019-17.pdf
https://doi.org/10.4230/LIPIcs.ECRTS.2019.17

Efficient Compressing and Tuning Methods for Large Language Models: A Systematic Literature Review.

Authors: Kim, Gun Il Hwang, Sunga Jang, Beakcheol

Source: ACM Computing Surveys; Oct2025, Vol. 57 Issue 10, p1-39, 39p

Subject Terms: LANGUAGE models, ARTIFICIAL neural networks, MACHINE learning, GENERATIVE pre-trained transformers, NATURAL language processing, MACHINE translating, STATIC random access memory

NVM in Data Storage: A Post-Optane Future.

Authors: Karim, Sajad Wünsche, Johannes Kuhn, Michael et al.

Source: ACM Transactions on Storage; Aug2025, Vol. 21 Issue 3, p1-85, 85p

Subject Terms: PHASE change memory, DATA warehousing, DATABASES, FLASH memory, SYSTEMS design

On-device Training: A First Overview on Existing Systems.

Authors: Zhu, Shuai Voigt, Thiemo Rahimian, Fatemeh et al.

Source: ACM Transactions on Sensor Networks; Nov2024, Vol. 20 Issue 6, p1-39, 39p

Subject Terms: ARTIFICIAL intelligence, MACHINE learning, MOBILE computing, DEEP learning, INFORMATION sharing

Working Set Analytics.

Authors: DENNING, PETER J.

Source: ACM Computing Surveys; Nov2021, Vol. 53 Issue 6, p1-36, 36p

Subject Terms: INVENTORY control, SHORT-term memory, SET theory, HUMAN behavior models, CACHE memory, TIME measurements

Online Algorithms with Advice: A Survey.

Authors: BOYAR, JOAN FAVRHOLDT, LENE M. KUDAHL, CHRISTIAN et al.

Source: ACM Computing Surveys; Mar2018, Vol. 50 Issue 2, p19:1-19:34, 34p, 3 Graphs

Subject Terms: ONLINE algorithms, REAL-time computing, RANDOMIZATION (Statistics), BIN packing problem, KNAPSACK problems, GRAPH coloring

Edge Content Caching with Deep Spatiotemporal Residual Network for IoV in Smart City.

Authors: XIAOLONG XU ZIJIE FANG JIE ZHANG et al.

Source: ACM Transactions on Sensor Networks; Aug2021, Vol. 17 Issue 3, p1-33, 33p

Subject Terms: SMART cities, EDGE computing, COMPUTER software reusability, ENERGY consumption, MUNICIPAL services, BIG data

A Survey on Requirements of Future Intelligent Networks: Solutions and Future Research Directions.

Authors: HUSEN, ARIF CHAUDARY, MUHAMMAD HASANAIN AHMAD, FAROOQ

Source: ACM Computing Surveys; May2023, Vol. 55 Issue 4, p1-61, 61p

Subject Terms: INTELLIGENT networks, DEEP learning, MACHINE learning, HOLISTIC education, INFORMATION sharing

Deep Learning Workload Scheduling in GPU Datacenters: A Survey.

Authors: Ye, Zhisheng Gao, Wei Hu, Qinghao et al.

Source: ACM Computing Surveys; Jun2024, Vol. 56 Issue 6, p1-38, 38p

Subject Terms: ARTIFICIAL neural networks, REINFORCEMENT learning, MACHINE learning, DEEP reinforcement learning, LANGUAGE models, BANDWIDTH allocation, DEEP learning

Beyond blur: real-time ventral metamers for foveated rendering.

Authors: Walton, David R. Anjos, Rafael Kuffner Dos Friston, Sebastian et al.

Source: ACM Transactions on Graphics; Aug2021, Vol. 40 Issue 4, p1-14, 14p

Subject Terms: REAL-time computing, TASK performance, VISUAL perception, HEAD-mounted displays, PERIPHERAL vision

Qsecurity: Securing outsourced cloud data management with multi level access control by using SGX.

Authors: Vishupriya, K. Vidhya, K.

Source: AIP Conference Proceedings; 2023, Vol. 2764 Issue 1, p1-12, 12p

Subject Terms: DATA management, PROOF of concept, ACCESS control, CRYPTOCURRENCIES, FAILURE (Psychology), TRUST, HYGIENE

A Review of the Optimal Design of Neural Networks Based on FPGA.

Authors: Wang, Chenghao Luo, Zhongqiang

Source: Applied Sciences (2076-3417); Nov2022, Vol. 12 Issue 21, p10771, 44p

Subject Terms: DEEP learning, ARTIFICIAL neural networks, NATURAL language processing, IMAGE recognition (Computer vision)

Penalty- and Locality-aware Memory Allocation in Redis Using Enhanced AET.

Authors: CHENG PAN XIAOLIN WANG YINGWEI LUO et al.

Source: ACM Transactions on Storage; May2021, Vol. 17 Issue 2, p1-45, 45p

Subject Terms: SPACE (Architecture), MEMORY, EVICTION, WEB services

ON THE INCOMPARABILITY OF CACHE ALGORITHMS IN TERMS OF TIMING LEAKAGE.

Authors: CAÑONES, PABLO KÖPF, BORIS REINEKE, JAN

Source: Logical Methods in Computer Science (LMCS); Jan2019, Vol. 15 Issue 1, p1-19, 19p, 1 Graph

Algorithms for Big Data : DFG Priority Program 1736

Authors: Hannah Bast Claudius Korzen Ulrich Meyer et al.

Resource Type: eBook.

Subjects: Computer algorithms, Big data

Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied

SCALLA: A Platform for Scalable One-Pass Analytics Using MapReduce.

Authors: BODUO LI MAZUR, EDWARD DIAO, YANLEI et al.

Source: ACM Transactions on Database Systems; Dec2012, Vol. 37 Issue 4, p27:1-27:43, 43p, 7 Diagrams, 9 Charts, 7 Graphs

Subject Terms: COMPUTER networks, SCALABILITY, COMPUTER programming, ELECTRONIC data processing, PARALLEL processing, PROTOTYPES, PARALLEL algorithms, BATCH processing in electronic data processing

Survey of tools for Linked Data consumption.

Authors: Verborgh, Ruben Klímek, Jakub Škoda, Petr et al.

Source: Semantic Web (1570-0844); 2019, Vol. 10 Issue 4, p665-720, 56p

Subject Terms: ART & technology, RDF (Document markup language), TECHNOLOGY & state, TOOLS

Comprehensive Formal Verification of an OS Microkernel.

Authors: KLEIN, GERWIN ANDRONICK, JUNE ELPHINSTONE, KEVIN et al.

Source: ACM Transactions on Computer Systems; Feb2014, Vol. 32 Issue 1, p2:1-2:70, 70p

Subject Terms: COMPUTER operating systems, KERNEL operating systems, BINARY codes, CODING theory, SEMANTICS, MATHEMATICS theorems

Autonomous Control for a Reliable Internet of Services : Methods, Models, Approaches, Techniques, Algorithms, and Tools

Authors: Ivan Ganchev R. D. van der Mei Hans van den Berg

Resource Type: eBook.

Subjects: Internet of things, Electronic commerce, Autonomic computing, Computer networks

Categories: COMPUTERS / Networking / General, BUSINESS & ECONOMICS / E-Commerce / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Information Theory, COMPUTERS / Electronic Commerce

Algorithms and Theory of Computation Handbook - 2 Volume Set

Authors: Mikhail J. Atallah Marina Blanton

Resource Type: eBook.

Subjects: Mathematics, Algorithms, Electronic data processing, Computational complexity, Computer algorithms, Computer science

Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Programming / Algorithms, MATHEMATICS / General, MATHEMATICS / Arithmetic, MATHEMATICS / Number Systems