نتائج البحث

Verified Paging for x86-64 in Rust

• Authors : Brun, Matthias; id_orcid:0 009-0004-5349-4347;

تفاصيل العنوان

The k-Server Problem with Delays on the Uniform Metric Space

• Authors : Krnetic, Predrag; Melnyk, Darya; Wang, Yuyi ...

Subjects: Online k-Server; Paging; Delayed Service

• Source: Leibniz International Proceedings in Informatics (LIPIcs), 181 ; 31st International Symposium on Algorithms and Computation (ISAAC 2020)

تفاصيل العنوان

Randomized Online Computation with High Probability Guarantees

• Authors : Komm, Dennis; Královič, Rastislav; Královič, Richard

Subjects: Online algorithms; Randomization; Bounds with high probability

• Source: Algorithmica, 84 (5)

تفاصيل العنوان

Online algorithms with advice

• Authors : Böckenhauer, Hans-Joachim; Komm, Dennis; Královič, Rastislav

Subjects: info:eu-repo/classification/ddc/004; Data processing; computer science

• Source: Technical report, 614

تفاصيل العنوان

Constructing Randomized Online Algorithms from Algorithms with Advice

• Authors : Böckenhauer, Hans-Joachim; Geulen, Sascha; Komm, Dennis

Subjects: SPECIAL PROGRAMMING METHODS; PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS; SPEZIELLE PROGRAMMIERMETHODEN

تفاصيل العنوان

Authorization, Protection, and Allocation of Memory in a Large System

• Authors : Gerber, Simon;

Subjects: COMPUTER SCIENCE; OPERATING SYSTEMS; Memory Management

تفاصيل العنوان