退出
我的积分:
中文文献批量获取
外文文献批量获取
李广元; 唐稚松;
中国科学院;
软件研究所;
计算机科学重点实验室;
北京;
100080;
实时系统; 时间自动机; 线性时序逻辑; 规范语言; 系统描述语言; 性质验证;
机译:带有内置无线电时钟接收器的实时时钟LSI,通过FD_SOI处理:ML6191
机译:使用带有时钟的时序逻辑验证无功系统
机译:优化设计时序:芯片上的变化,时钟门控和现代数字设计的时钟网络的复杂性使过时的时钟树综合(CTS)方法失效
机译:带有周期时钟门控的可疑时序误差预测
机译:时钟树综合技术,用于纳米技术中的时序收敛和时序产量的提高
机译:GLIMMPSE:带有和不带有基线协变量的线性模型的在线功率计算
机译:实时系统验证的时序要求描述图
机译:Nasa深空网络中的时钟和时序
机译:用于从接收到的信息信号分组的实时序列中生成分组到达时间标签,用于再现所存储的信息信号分组的实时序列以及用于再现两个级联的信息信号分组序列的方法。存储的实时信息和用于记录信息信号分组的实时序列的设备
机译:用于实时处理数字信号的自动控制系统中的自适应无限脉冲响应滤波器具有结构,该结构是使用输入和输出矢量的增量值的单变量或多变量线性模型
机译:用于根据从信息信号包接收的实时序列生成及时输入标记包,产生信息信号包的实时存储序列以及在实时存储中再现两个实时信息信号包的级联序列的方法。信息信号包的实时序列以及存储信息信号包的实际序列的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。