机译:具有嵌套中断的程序的语义理论
National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai 200062, China,Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China;
National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai 200062, China,Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China;
School of Computer Science and Software Engineering, Shenzhen University, Shenzhen 518060, China;
embedded and real-time operating systems; interrupts; operational semantics; denotational semantics; semantics linking;
机译:大数据集成理论:数据库映射,编程语言和语义的理论和方法
机译:基于语义优先考虑理论的英语和中文神经转喻认识
机译:通过嵌套条件进行推理:使用概率程序对心智模型进行建模
机译:验证在强期型理论中真正嵌套数据类型的计划
机译:打断反思型从业者:在使用中的13名成人教育者中发现了拥护的哲学,理论和理论。
机译:使用rTMS诱导语义障碍:轮辐思想理论的证据
机译:多态嵌套列表上功能程序的已收集大小语义
机译:自适应机制理论。第一部分。基于二进制语义树的高效最大语义分辨率证明