Bagaimana Banyak Pihak Menghitung Jumlah dan Peringkat Tanpa Mengungkap Satu Bit Pun: Komputasi Multi-Pihak Aman (MPC) dan Masalah Jutawan Yao
Tags
30 halaman
Computer Science
Bagaimana Banyak Thread Dapat Memodifikasi Data yang Sama Tanpa Lock Sama Sekali? Sains Pemrograman Lock-Free dan Masalah ABA
Bagaimana Pesawat Ruang Angkasa dan Mobil Otonom Menentukan Lokasi Sebenarnya dari Sensor yang Penuh Derau: Rekayasa Matematika Filter Kalman
Mengapa Kita Bisa Membuktikan Program 100% Bebas Bug Tanpa Menjalankannya Sekali Pun? Sains Verifikasi Formal dan Model Checking
Mengapa Komputer Modern Menyelesaikan Masalah NP-Complete yang Seharusnya Meledak secara Eksponensial dalam Hitungan Detik: Solver SAT, CDCL, dan Transisi Fase
Mengapa Lagu Bisa Dikenali Hanya dalam 3 Detik di Kafe yang Bising? Sidik Jari Akustik (Shazam), Peta Rasi Bintang, dan Pemisahan Sinyal Buta (ICA)
Mengapa Teks Sangat Kecil Tetap Tajam dan Terbaca: Matematika Rendering Font, Kurva Bézier, VM Hinting, dan Subpixel Antialiasing
Mengapa Wahana Antariksa dan Kode QR Dapat Memulihkan Data Secara Sempurna Meski Rusak Sebagian: Sains Kode Koreksi Kesalahan dan Batas Shannon
Bisakah Keberadaan Rahasia Itu Sendiri Disembunyikan?: Steganografi dan Matematika Penyembunyian Informasi
Menentukan Otoritas Berdasarkan Apa yang Anda Pegang, Bukan Siapa Anda: Arsitektur Keamanan Berbasis Kapabilitas
Mengapa 'Cepat' Saja Tidak Cukup: Sistem Operasi Waktu-Nyata (RTOS), WCET, Penjadwalan RMS vs. EDF, dan Inversi Prioritas Mars Pathfinder
Mengapa Konsol Game Lama Dapat Direkreasi dengan Perangkat Lunak: Arsitektur Emulator — Interpreter, JIT Dynarec, Fastmem, dan Akurasi Siklus
Mengapa Segalanya Berhenti Saat Semua Saling Menunggu: Teori Deadlock, Graf Alokasi Sumber Daya, Algoritma Bankir, dan Livelock
Tanpa Kehilangan Satu Huruf Pun, Mengapa Ukuran Berkas Bisa Diperkecil?: Prinsip dan Batas Kompresi Nirrugi
“Kompleksitas” Tidak Bisa Diukur dari Jumlah Karakter: Kompleksitas Kolmogorov dan Hakikat Keacakan
Bagaimana Menciptakan 'Keacakan' dari Prosedur yang Ditentukan?: Sains dan Kriptografi Ketidakpastian
Bisakah Kode Sumber Dipulihkan dari File Eksekusi?: Sains, Algoritma, dan Batas Dekompilasi
Mengapa Data Anda Selamat Saat Listrik Padam di Tengah Penyimpanan: Rekayasa Konsistensi Crash
Mengapa Kode Tidak Berjalan Sesuai Urutan yang Anda Tulis?: Pengantar Model Memori CPU dan Kompiler
Teknologi Optimasi Kompilator: Apa itu SSA (Penugasan Tunggal Statis)
