Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both partial orders on events and don’t-care regions to LTL potentially yields exponentially larger formulas containing several non-localized terms corresponding to the same event. This raises a more fundamental question: which...

Rapid Single Flux Quantum (RSFQ) logic is a digital circuit technology based on superconductors that has emerged as a possible alternative to advanced semiconductor technologies for large scale ultra-high speed, very low power digital applications. Timing of RSFQ circuits at frequencies of tens to hundreds of gigahertz is a challenging and still unresolved problem. Despite the many fundamental ...

the root endophytic fungus, piriformospora indica, colonizes roots of a large number of plant species including cereals and brasicaceae. there are several reports indicating that p. indica protects roots from different path-ogens. in the present study, rice plants were pre-inoculated with p. indica and were subsequently infected with fusarium proliferatum, as the causal agent of root rot and cr...

UNLABELLED Over recent years there has been increasing usage of digital systems within cardiothoracic surgery to quantify air leaks and aid in clinical decision-making regarding the removal of chest drains postoperatively. The literature suggests improved agreement on timing of removal of chest drains and a reduced length of stay of patients. It could be that such devices could be useful tools ...

Automatically synthesizing device drivers, the hardware and software needed to interface a device to a processor, is an important element of hardware/software co-design. Driver software consists of the sequences of instructions needed for the processor to control its interactions with the device. Driver hardware consists of the digital logic necessary to physically connect the devices and gener...

This study proposes a loose-leaf tea brewing service device with the added value of increasing tea drinking quality in our leisure life. The proposed device with multi-infusion timing control and user friendly interface characteristics utilizes AT89S51 programmable microcontroller to detect the input signals and trigger the corresponding outputs. The input signals come from a power switch for t...

During Multicarrier transmission in OFDM(Orthogonal Frequency Division Multiplexing), the signal suffers due to fading environment and results in timing and frequency errors at the receiver end. An efficient timing and frequency offset estimation algorithm has been designed in VHDL using ISE XILINX 10. 1. The maximum value at which the timing offset is achieved and input signal with a delay are...

Bringing together keyframe and motion-timing can be very difficult to control especially when manipulating body parts of a character animation. Both seem are ‘detach’ in their event as keyframe is physically visible, while timing is imperceptible and merely appears as substance of a sequence of keyframes. This paper presents an overview of my doctoral research, which focuses on an approach to c...

With continuous technology scaling, process variations have become a major factor affecting the performance of VLSI designs. Even a small degree of variation in device parameters may amplify at the system level, resulting in significant deviations in circuit timing. Post-silicon timing diagnosis addresses the issues of estimating the timing of each fabricated chip. It aims to identify individua...