| ActiveMac | Anonymous | Create a User | Reviews | News | Forums | Advertise |
|
|
|
User Controls |
|
New User |
|
Login |
|
Edit/View My Profile |
|
|
|
|
|
|
|
ActiveMac |
|
Articles |
|
Forums |
|
Links |
|
News |
|
News Search |
|
Reviews |
|
|
|
|
|
|
|
News Centers |
|
Windows/Microsoft |
|
DVD |
|
ActiveHardware |
|
Xbox |
|
MaINTosh |
|
News Search |
|
|
|
|
|
|
|
ANet Chats |
|
The Lobby |
|
Special Events Room |
|
Developer's Lounge |
|
XBox Chat |
|
|
|
|
|
|
|
FAQ's |
|
Windows 98/98 SE |
|
Windows 2000 |
|
Windows Me |
|
Windows "Whistler" XP |
|
Windows CE |
|
Internet Explorer 6 |
|
Internet Explorer 5 |
|
Xbox |
|
DirectX |
|
DVD's |
|
|
|
|
|
|
|
TopTechTips |
|
Registry Tips |
|
Windows 95/98 |
|
Windows 2000 |
|
Internet Explorer 4 |
|
Internet Explorer 5 |
|
Windows NT Tips |
|
Program Tips |
|
Easter Eggs |
|
Hardware |
|
DVD |
|
|
|
|
|
|
|
Latest Reviews |
|
Applications |
|
Microsoft Windows XP Professional |
|
Norton SystemWorks 2002 |
|
|
|
Hardware |
|
Intel Personal Audio Player 3000 |
|
Microsoft Wireless IntelliMouse Explorer |
|
|
|
|
|
|
|
Site News/Info |
|
About This Site |
|
Affiliates |
|
ANet Forums |
|
Contact Us |
|
Default Home Page |
|
Link To Us |
|
Links |
|
Member Pages |
|
Site Search |
|
Awards |
|
|
|
|
|
|
|
Credits |
 |
Going Deep: Byron Cook: Inside Terminator | |
|
||
| Time: 05:43 EST/10:43 GMT | News Source: Channel 9 | Posted By: Jonathan Tigner | ||
|
A few months ago, I interviewed Byron Cook, a researcher at MSR Cambridge, about his work on Terminator, which is a proof-based analysis tool used for proving that good things will eventually happen in unmanaged code paths. That is, it's a very good thing for code to stop executing eventually otherwise system hangs occur (drivers are the number one cause of system hangs and other undesirable system-wide problems). Terminator is designed to help developers find bugs in their code that cause non-terminating execution. Many of you provided feedback after the last interview that Byron should have gone a bit deeper into the technology, including whiteboarding proofs. Well, he was recently in Redmond and agreed to be the next participant in Going Deep. | ||
|
Write Comment
Return to News |
Displaying 726 through 742 of 742 Prev | First |
The time now is
3:50:34 PM
ET.
Any comment problems? E-mail us |
| #735 By 4240821 (185.133.173.206) at 12/10/2025 1:15:26 PM |
|
https://telegra.ph/Medembliks-Hidden-Gem-Discover-the-Historic-Charm-and-Coastal-Beauty-of-this-Dutch-Treasure-12-08
https://telegra.ph/Wolves-Roar-Past-Man-Utd-in-Stunning-Comeback-Duel-12-08 https://telegra.ph/Steven-Krueger-Shatters-Records-Makes-History-12-08 https://telegra.ph/RAGING-FIRES-CLOSING-IN-ON-MY-BACKYARD-12-08 https://telegra.ph/Breaking-tv-programm-exposes-government-cover-up-tonight-12-08 https://telegra.ph/Baugerüst-Zürich-Oerlikon-Construction-Chaos-Erupts-in-District-12-08 https://telegra.ph/Kirsti-Bergstøs-Bold-Move-A-Game-Changer-in-the-World-of-Tech-12-08 https://telegra.ph/50-Cent-and-P-Diddy-Explosive-Feud-Escalates-to-New-Heights-12-08 https://telegra.ph/Assad-Defies-Global-Condemnation-Clings-to-Power-12-08 https://telegra.ph/Pisa-vs-Parma-The-Clash-that-Could-Redefine-Italian-Footballs-Future-12-08 |
| #738 By 4240821 (185.133.173.206) at 12/13/2025 9:54:21 AM |
|
https://telegra.ph/Teams-United-in-Historic-Victory-12-02
https://telegra.ph/Chris-Eubank-Jr-Stuns-Boxing-World-with-Unbeatable-Performance-12-02 https://telegra.ph/Burgstaller-Blasts-Rapid-to-Glory-12-02 https://telegra.ph/Manu-Appeltans-Bold-Move-Revolutionizing-the-Tech-Industry-12-02 https://telegra.ph/DJ-Careys-Unforgettable-Set-at-Coachella-Blows-Minds-12-02 https://telegra.ph/Miguel-Angel-Ramirezs-Stunning-Comeback-From-the-Brink-to-the-Top-12-02 https://telegra.ph/Weather-Tomorrow-Unprecedented-Heatwave-Sweeps-Across-the-Nation-12-02 https://telegra.ph/AirAsias-Shocking-Move-What-It-Means-for-the-Future-of-Travel-12-02 https://telegra.ph/Jan-Dušek-Scores-Stunning-Last-Second-Goal-to-Win-Championship-12-02 https://telegra.ph/Kristina-Jørgensens-Bold-Move-Danish-Star-Shakes-Up-the-Fashion-World-12-02 |
|
Write Comment
Return to News |
Displaying 726 through 742 of 742 Prev | First |
The time now is
3:50:34 PM
ET.
Any comment problems? E-mail us |
