The property of design is described as linear time logic,and different checking procedure is chosen according to time slice to verify whether the property is satisfied.
把BWGL模型应用于性质检验,把设计中的性质描述成一个线性时间逻辑,根据时间片选择不同的检验过程验证性质是否满足。
参考来源 - VLSI设计中的形式验证方法研究This paper makes DVB-H as the last part of the system of digital multimedia exchange and distribution and analyses the network structure, protocol stack and key technologies of DVB-H. This part also implements multiprotocol encapsulation and time slice of DVB-H.
其中对DVB-H的数据映射进行了重点分析,对DVB-H多协议封装和时间分片进行了实现。
参考来源 - 数字媒体交换和分发协议研究·2,447,543篇论文数据,部分数据来源于NoteExpress
SCHED_FIFO does not time slice threads.
SCHED_FIFO 不为线程分时间片。
Voluntarily relinquishes its time slice by making a call to Thread.yield().
通过调用 Thread.yield() 方法自愿放弃它的时间片。
Increasing the time slice can improve system throughput due to reduced context switching.
增加时间切片可减少上下文切换,从而可以提高系统吞吐量。
I'm not picking not just the current slice or the current stage of the car but the entire extended-through-time object.
我不是说它目前的样子,或者目前的阶段,而是说整个贯穿时间的物体。
Or to put it in terms of stages, that person's got to be--that stage, that slice has to be part of the very same extended-through-time space-time worm as this stage is.
以阶段来说,那个人,那个阶段,那个部分,和这个阶段,有着同样的贯穿时间的,时间虫。
应用推荐