Как вычислить сумму и рейтинг без раскрытия единого бита данных: безопасные многосторонние вычисления (MPC) и проблема миллионеров Яо
Tags
30 страниц
Computer Science
Как за 3 секунды в шумном кафе угадать песню? Акустические отпечатки (Shazam), созвездия спектрограмм и слепое разделение сигналов (ICA)
Как космические корабли и беспилотные автомобили определяют своё истинное положение по зашумлённым датчикам: Математическая инженерия фильтра Калмана
Как несколько потоков могут изменять одни и те же данные вообще без блокировок? Наука о Lock-Free программировании и проблеме ABA
Почему космические зонды и QR-коды идеально восстанавливают данные даже при частичном повреждении: наука о помехоустойчивом кодировании и пределе Шеннона
Почему мелкий шрифт остается четким и читаемым: математика рендеринга шрифтов, кривых Безье, виртуальной машины хинтинга и субпиксельного сглаживания
Почему можно математически доказать 100% отсутствие багов в программе, ни разу её не запустив? Наука формальной верификации
Почему современные компьютеры за секунды решают NP-полные задачи, которые теоретически должны взрываться экспоненциально: SAT-солверы, CDCL и фазовые переходы
Можно ли скрыть сам факт существования тайны? Стеганография и математика сокрытия информации
Не теряя ни единого символа: почему файлы можно уменьшать? Принципы и пределы сжатия без потерь
Полномочия определяются тем, чем вы владеете, а не тем, кто вы: архитектура безопасности на основе мандатов (Capability-Based Security)
Почему «быстро» ещё не значит «вовремя»: ОС реального времени (RTOS), WCET, планирование RMS против EDF и инверсия приоритетов на Mars Pathfinder
Почему всё останавливается, когда каждый ждёт другого: Теория взаимных блокировок (Deadlock), графы распределения ресурсов, алгоритм банкира и Livelock
Почему старые игровые консоли можно воссоздать программно: Архитектура эмуляторов — интерпретаторы, JIT Dynarec, Fastmem и потактовая точность
«Сложность» нельзя измерить числом символов: колмогоровская сложность и истинная природа случайности
Как создать «случайность» по заданному алгоритму?: Наука и криптография непредсказуемости
Можно ли восстановить исходный код из исполняемого файла?: наука, алгоритмы и пределы декомпиляции
Почему данные не пропадают при отключении питания во время сохранения: инженерия согласованности при сбоях (Crash Consistency)
Почему код выполняется не в том порядке, в котором написан: модели памяти процессоров и компиляторов
Технологии оптимизации компилятора: Что такое SSA (Static Single Assignment)
