主题：【原创】说一说我对透明计算的疑惑 -- 鸿乾
共:💬119 🌺320 🌵2
俺承认俺无聊，就去查了查这个1989年的自然科学一等奖“基于时序逻辑的软件工程环境的理论与设计”怎么回事。结果是唐稚松教授和Amir Pnueli对时序逻辑这个领域作出了重要贡献，而Amir Pnueli因此在1996年获得图灵奖。
- 相关回复 上下关系8
🙂又搜索了一下 1 sywyang 字1351 2015-01-15 09:43:54
🙂感觉像玩文字游戏的，我有问题 1 sywyang 字347 2015-01-15 08:08:44
🙂其实什么透明计算 4 大山猫 字238 2015-01-15 07:32:22
🙂唐稚松教授躺着中枪
🙂谢谢指出我的错误。你完全正确，我错了 1 鸿乾 字134 2015-01-15 07:55:16
🙂主要看想法是不是原创 大山猫 字36 2015-01-15 07:33:41
🙂研究成果里干货少的可怜 2 韩信点兵 字196 2015-01-14 21:49:02
🙂Intel关于透明计算的文件有料，很好的介绍，确实有突破 3 青颍路 字659 2015-01-14 21:38:41