XiaoMi-AI文件搜索系统
World File Search SystemSpectec
将WebAssembly标准标准加速使用Spectec
WebAssembly（WASM）是一种便携式低级字节码语言和虚拟机，在各种生态系统中的使用越来越多。其规范非常严格 - 包括语言的完整正式语义 - 并且必须在本式语义，散文和官方参考解释器中指定每个新功能，然后才能进行标准化。随着语言规模不断增长，这种手动过程及其冗余已变得艰巨且容易出错，在这项工作中，我们提供了一种解决方案。我们提出Spectec，一种特定于领域的语言（DSL）和工具链，可促进WASM规范和标准化新功能所需的工件的产生。Spectec是真理的单一来源 - 从wastm语义的观点定义来看，我们可以生成字体规范，包括正式的定义和散文伪代码描述以及元级解释器。计划了进一步的测试生成和交互式定理的后端。我们评估了Spectec代表最新WASM 2.0的能力，并表明生成的元级口译员通过了适用的官方测试套件的100％。我们表明，Spectec通过检测已纠正的规范中的历史错误以及在五个建议中的五个提案中的十个错误来发现和预防错误非常有效。我们的最终目的是，Spectec应由WASM标准社区采用，并用于指定标准的未来版本。
Zevenwacht，2017 年 9 月 11 日至 13 日 - HIPER
HIPER 2017 赞助人 Giampiero Soncini 致辞 航运业面临着巨大的挑战，需要大胆和创新的解决方案。政治和客户的期望不断上升，而市场环境比几十年来更加严峻。我们航运界的一些巨头跌倒了，而新的挑战者则不断涌现。新的常态是，昨天的秘诀不再有效。而“颠覆”已经成为我们词汇中经常使用的词。变化正在发生，令人鼓舞的是，我们的行业似乎存在的聪明想法至少与挑战一样多。看看今年的高性能船舶 - 未来船舶技术会议的日程就知道了。HIPER 已经并将继续促进航运业及相关领域技术领袖之间的对话，在学术界、研究机构和工业界之间架起桥梁。该会议于 18 年前发起，我唯一的遗憾是我没有成为创始团队的一员。事实上，我们可以在一个值得骄傲的传统的基础上，扩展到未来技术这个令人兴奋的主题，而这正是科幻小说今天开始的地方。我很自豪能成为其中的一员。虽然未来的航运有很多方面，但智能互联船舶这个话题是我特别关注的。大数据分析、协作机器人技术和各种人工智能的应用取得了快速进展，我们在 HIPER 2017 会议记录中看到了各种开创性的应用。1988 年，我说过，当时在船上配备 40 到 44 名船员是多么愚蠢。我谈到了船舶如何能够让机械室完全无人值守。对于我的大多数同时代人来说，这听起来就像现在完全 3D 打印的船舶和由智能机器人群进行深海探索的想法一样牵强。时间对我的愿景有利，我相信我们将看到这些会议中提出的许多愿景和前卫概念不仅会成为现实，而且会比大多数人现在认为的更快。我们将共同管理这一进程。Volaris 集团成员 SpecTec 很荣幸能够赞助 HIPER 2017，我很自豪能够参与这场激动人心的旅程，走向船舶和航运的未来——我们的未来。祝大家能够进行鼓舞人心的思想交流！Giampiero Soncini Volaris 集团董事总经理
Zevenwacht，2017 年 9 月 11 日至 13 日 - HIPER
HIPER 2017 赞助人 Giampiero Soncini 致辞 航运业面临着巨大的挑战，需要大胆和创新的解决方案。政治和客户的期望不断上升，而市场环境比几十年来更加严峻。我们航运界的一些巨头跌倒了，而新的挑战者则不断涌现。新的常态是，昨天的秘诀不再有效。而“颠覆”已经成为我们词汇中经常使用的词。变化正在发生，令人鼓舞的是，我们的行业似乎存在的聪明想法至少与挑战一样多。看看今年的高性能船舶 - 未来船舶技术会议的日程就知道了。HIPER 已经并将继续促进航运业及相关领域技术领袖之间的对话，在学术界、研究机构和工业界之间架起桥梁。该会议于 18 年前发起，我唯一的遗憾是我没有成为创始团队的一员。事实上，我们可以在一个值得骄傲的传统的基础上，扩展到未来技术这个令人兴奋的主题，而这正是科幻小说今天开始的地方。我很自豪能成为其中的一员。虽然未来的航运有很多方面，但智能互联船舶这个话题是我特别关注的。大数据分析、协作机器人技术和各种人工智能的应用取得了快速进展，我们在 HIPER 2017 会议记录中看到了各种开创性的应用。1988 年，我说过，当时在船上配备 40 到 44 名船员是多么愚蠢。我谈到了船舶如何能够让机械室完全无人值守。对于我的大多数同时代人来说，这听起来就像现在完全 3D 打印的船舶和由智能机器人群进行深海探索的想法一样牵强。时间对我的愿景有利，我相信我们将看到这些会议中提出的许多愿景和前卫概念不仅会成为现实，而且会比大多数人现在认为的更快。我们将共同管理这一进程。Volaris 集团成员 SpecTec 很荣幸能够赞助 HIPER 2017，我很自豪能够参与这场激动人心的旅程，走向船舶和航运的未来——我们的未来。祝大家能够进行鼓舞人心的思想交流！Giampiero Soncini Volaris 集团董事总经理
Zevenwacht，2017 年 9 月 11 日至 13 日 - HIPER
HIPER 2017 赞助人 Giampiero Soncini 致辞 航运业面临着巨大的挑战，需要大胆和创新的解决方案。政治和客户的期望不断上升，而市场环境比几十年来更加严峻。我们航运界的一些巨头跌倒了，而新的挑战者则不断涌现。新的常态是，昨天的秘诀不再有效。而“颠覆”已经成为我们词汇中经常使用的词。变化正在发生，令人鼓舞的是，我们的行业似乎存在的聪明想法至少与挑战一样多。看看今年的高性能船舶 - 未来船舶技术会议的日程就知道了。HIPER 已经并将继续促进航运业及相关领域技术领袖之间的对话，在学术界、研究机构和工业界之间架起桥梁。该会议于 18 年前发起，我唯一的遗憾是我没有成为创始团队的一员。事实上，我们可以在一个值得骄傲的传统的基础上，扩展到未来技术这个令人兴奋的主题，而这正是科幻小说今天开始的地方。我很自豪能成为其中的一员。虽然未来的航运有很多方面，但智能互联船舶这个话题是我特别关注的。大数据分析、协作机器人技术和各种人工智能的应用取得了快速进展，我们在 HIPER 2017 会议记录中看到了各种开创性的应用。1988 年，我说过，当时在船上配备 40 到 44 名船员是多么愚蠢。我谈到了船舶如何能够让机械室完全无人值守。对于我的大多数同时代人来说，这听起来就像现在完全 3D 打印的船舶和由智能机器人群进行深海探索的想法一样牵强。时间对我的愿景有利，我相信我们将看到这些会议中提出的许多愿景和前卫概念不仅会成为现实，而且会比大多数人现在认为的更快。我们将共同管理这一进程。Volaris 集团成员 SpecTec 很荣幸能够赞助 HIPER 2017，我很自豪能够参与这场激动人心的旅程，走向船舶和航运的未来——我们的未来。祝大家能够进行鼓舞人心的思想交流！Giampiero Soncini Volaris 集团董事总经理
Zevenwacht，2017 年 9 月 11 日至 13 日 - HIPER
HIPER 2017 赞助人 Giampiero Soncini 致辞 航运业面临着巨大的挑战，需要大胆和创新的解决方案。政治和客户的期望不断上升，而市场环境比几十年来更加严峻。我们航运界的一些巨头跌倒了，而新的挑战者则不断涌现。新的常态是，昨天的秘诀不再有效。而“颠覆”已经成为我们词汇中经常使用的词。变化正在发生，令人鼓舞的是，我们的行业似乎存在的聪明想法至少与挑战一样多。看看今年的高性能船舶 - 未来船舶技术会议的日程就知道了。HIPER 已经并将继续促进航运业及相关领域技术领袖之间的对话，在学术界、研究机构和工业界之间架起桥梁。该会议于 18 年前发起，我唯一的遗憾是我没有成为创始团队的一员。事实上，我们可以在一个值得骄傲的传统的基础上，扩展到未来技术这个令人兴奋的主题，而这正是科幻小说今天开始的地方。我很自豪能成为其中的一员。虽然未来的航运有很多方面，但智能互联船舶这个话题是我特别关注的。大数据分析、协作机器人技术和各种人工智能的应用取得了快速进展，我们在 HIPER 2017 会议记录中看到了各种开创性的应用。1988 年，我说过，当时在船上配备 40 到 44 名船员是多么愚蠢。我谈到了船舶如何能够让机械室完全无人值守。对于我的大多数同时代人来说，这听起来就像现在完全 3D 打印的船舶和由智能机器人群进行深海探索的想法一样牵强。时间对我的愿景有利，我相信我们将看到这些会议中提出的许多愿景和前卫概念不仅会成为现实，而且会比大多数人现在认为的更快。我们将共同管理这一进程。Volaris 集团成员 SpecTec 很荣幸能够赞助 HIPER 2017，我很自豪能够参与这场激动人心的旅程，走向船舶和航运的未来——我们的未来。祝大家能够进行鼓舞人心的思想交流！Giampiero Soncini Volaris 集团董事总经理
Zevenwacht，2017 年 9 月 11 日至 13 日 - HIPER
欢迎参加第 11 届 HIPER 大会 HIPER 2017 赞助人 Giampiero Soncini 致辞 海运业面临着巨大的挑战，需要大胆创新的解决方案。政治和客户的期望不断上升，而市场环境比几十年前更加严峻。我们海运界的一些巨头跌跌撞撞，而新的挑战者不断涌现。新常态是昨天的秘诀不再有效。“颠覆”已经成为我们词汇中经常使用的词。变化正在发生，令人鼓舞的是，我们行业中似乎至少有与挑战一样多的聪明想法。看看今年的高性能船舶 - 未来船舶技术会议的计划就知道了。HIPER 一直并将继续促进海事行业及相关领域的技术领袖之间的对话，在学术界、研究机构和行业之间架起桥梁。该会议于 18 年前发起，我唯一的遗憾是我没有成为创始团队的一员。事实上，我们可以在一个值得骄傲的传统的基础上，扩展到未来技术这个令人兴奋的主题，而科幻小说正是从这个主题开始的。我很自豪能成为其中的一员。虽然未来的航运有很多方面，但智能互联船舶的主题是我特别关注的。大数据分析、协作机器人和各种人工智能的应用取得了快速进展，我们在 HIPER 2017 会议记录中看到了各种开创性的应用。1988 年，我曾说过，当时在船上配备 40 到 44 名船员是多么愚蠢。我谈到了船舶如何能够完全无人驾驶机械室。对于我的大多数同时代人来说，这听起来就像现在完全 3D 打印的船舶和智能机器人群进行深海探索的想法一样遥不可及。时间站在我这一边，让我能够实现我的愿景，我相信我们将看到这些会议中发现的许多愿景和前卫概念不仅会成为现实，而且会比大多数人现在想象的更快。我们将共同管理进展。Volaris 集团成员 SpecTec 很荣幸能够赞助 HIPER 2017，我很自豪能够参与到这一激动人心的旅程中，共同迈向船舶和航运的未来——我们的未来。祝大家交流思想，激发灵感！Giampiero Soncini