प्रोग्राम को एक बार भी चलाए बिना यह कैसे साबित किया जा सकता है कि उसमें 'एक भी बग नहीं है'? औपचारिक सत्यापन (Formal Verification) का विज्ञान
श्रेणियाँ
14 पेज
कंप्यूटर विज्ञान
बिना किसी लॉक (Lock) का उपयोग किए कई थ्रेड्स एक ही डेटा को एक साथ कैसे बदल सकते हैं? लॉक-फ्री प्रोग्रामिंग और ABA समस्या का विज्ञान
सूक्ष्म अक्षर भी इतने स्पष्ट और पठनीय क्यों दिखते हैं: फ़ॉन्ट रेंडरिंग, बेज़ियर वक्र, हिंटिंग वर्चुअल मशीन और सबपिक्सेल एंटी-एलियासिंग का गणित
सैद्धांतिक रूप से चरघातांकी विस्फोट करने वाली NP-Complete समस्याओं को आधुनिक कंप्यूटर सेकंडों में कैसे हल करते हैं: SAT सॉल्वर, CDCL और प्रावस्था संक्रमण
केवल 'तेज़' होना पर्याप्त क्यों नहीं है: रीयल-टाइम ऑपरेटिंग सिस्टम (RTOS), WCET, RMS बनाम EDF शेड्यूलिंग और मार्स पाथफाइंडर प्रायोरिटी इन्वर्ज़न
जब सभी एक-दूसरे की प्रतीक्षा करते हैं तो सब कुछ क्यों रुक जाता है: डेडलॉक (Deadlock) का गणितीय सिद्धांत, संसाधन आवंटन ग्राफ़, बैंकर एल्गोरिदम और लाइवलॉक
पुराने गेम कंसोल को सॉफ़्टवेयर में कैसे पुनर्जीवित किया जाता है: एमुलेटर आर्किटेक्चर — इंटरप्रेटर, JIT डायनामिक रीकॉम्पाइलेशन, Fastmem और साइकिल एक्यूरेसी
कोड लिखे गए क्रम में क्यों नहीं चलता?: CPU और कंपाइलर मेमोरी मॉडल का गहन परिचय
क्या किसी एक्ज़ीक्यूटेबल फ़ाइल से मूल प्रोग्राम वापस पाया जा सकता है? : डीकंपाइलेशन (Decompilation) का विज्ञान, एल्गोरिदम और सीमाएँ
निर्धारित प्रक्रिया से 'यादृच्छिकता (Randomness)' कैसे बनाई जाती है?: अप्रत्याशितता का विज्ञान और क्रिप्टोग्राफी
सेव करते समय बिजली चले जाने पर भी डेटा सुरक्षित कैसे रहता है? : क्रैश कंसिस्टेंसी (Crash Consistency) की इंजीनियरिंग
अलग-अलग लिखा गया कोड एक कैसे बनता है? लिंकर और लोडर की आंतरिक कार्यप्रणाली
कंप्यूटर 0.1 + 0.2 की सही गणना क्यों नहीं कर पाते? फ्लोटिंग-पॉइंट और राउंडिंग एरर का विज्ञान
पावर बटन दबाने से लेकर स्क्रीन चमकने तक: कंप्यूटर बूट प्रक्रिया का संपूर्ण वैज्ञानिक विश्लेषण
