• 科创使命,砥砺奋进——省人大代表一行视察迪捷软件

    2021年11月30日下午,省人大代表一行视察浙江迪捷软件科技有限公司。在迪捷软件副总田娜的陪同下,省人大代表一行首先观看了公司宣传片,随后参观了公司的公共区域和办公区域。

    2021-12-15 digiproto

  • L2C中Lustre语义的环境定义

    随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS,Safety-Critical System),对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题,尤其是对操作系统、编译器等基础软件。

    2021-11-05 digiproto

上一页123下一页 转至第
首页
产品
新闻
联系