In this paper, thermal effects of laser irradiance on biological tissue is investigated using computer simulations. Earlier attempts in this field made use of finite difference and finite element techniques. Here a novel approach is adopted to improve the results. The effect of our implicit approach on the convergence procedure and accuracy of results, with different timing steps, is explor...

This paper reports experiences and results gained during the evaluation of the visual formalism STD as speciication method for formal veriication, performed in cooperation with industrial partners. The visual formalism STD (Symbolic Timing Diagrams) was developed continuously since 1993 by OFFIS as a speciication method, which satisses several needs: (1) It is based on the principles used in th...

This paper describes work carried out to reduce the pessimism in distributed systems timing analysis. The starting point for the paper is the need to prove that the timing properties of a system are met in an efficient and effective manner. The paper shows that an exact approach to the analysis can be intractable, and other approaches are too pessimistic. Using extensive simulation, based on re...

Timing Analysis and Optimization Techniques for VLSI Circuits

To determine the quality of gate delay tests, Min/Max delay fault simulation must determine the detectable sizes of faults. In conventional Min/Max timing simulation, correlations at the inputs of reconvergent gates are ignored. This paper shows how correlation information can be used when fanouts reconverge to produce more accurate results.

We present circuits and techniques which allow the extraction of fine-grained timing information using a simple, scan-based, test-access port such as the JTAG/IEEE 1149 standard. We go on to show how these techniques can be combined with other simple circuits for post-fabrication timing control. These techniques open up opportunities to perform timing oriented tests through TAP control. Further...

The present paper is about French -ité nouns formation. More specifically, we are dealing with their interpretations. A deadjectival noun is a complex noun morphologically coined on an adjectival base. French deadjectival nouns formation (noted A > N) includes at least eight suffixes, as reported in Table 1. Actually, -ité is the most represented suffix in the biggest multivolume French diction...

This paper studies performance and timing failure probability of time-shifted redundant circuits and path-/circuit-replica circuits. Measurement-based experiments using a fabricated test chip are performed. For an approximately similar false positive error probability for the path-replica and circuit-replica, the false negative error probability of the circuit-replica is approximately two order...

A covert channel is a mechanism that can be used to communicate data across network or between processes within the system by violating the networks/ systems security policy and in a manner that goes unnoticed. An effective covert channel is the one that is undetectable by the adversary and can provide high degree of privacy. The goal of the covert channel is to communicate data from one host t...

When dealing with timing constraints, the Z.120 standard of Message Sequence Charts (MSCs) is still evolving along with several proposals. This paper rst reviews proposed extensions of MSCs to describe timing constraints. Secondly, the paper describes an analysis technique for timing consistency in iterating and branching MSC speciications. The analysis extends eecient current techniques for ti...