The bytecode verification is a key point of the security chain of the Java Platform. This feature is optional in many embedded devices since the memory requirements of the verification process and the process capability of hardware are too high. In this paper we propose a verifier that utilizes the logical flow graph based cache policy and an improved non stressing type coding method, for the b...

The paper deals with automatic stressing of the Lithuanian text. In the previous work the author presented an algorithm for automatic stressing of the Lithuanian text on the basis of a dictionary. The aim of the present work is to improve the above mentioned algorithm by including formal stressing rules for nouns and adjectives. By means of these rules such words as diminutives, names and degre...

In this paper, the Moir e interferometry technique is used to measure the in situ displacement evolution of lead-free solder joint under electric current stressing. Large amounts of deformation were observed in the solder joint under high density (above 5000 A/cm) current stressing. The deformation was found to be due to electromigration in the solder joint and an electromigration constitutive ...

This paper deals with one of the speech synthesizer components – automatic stressing of a text. The method, which by means of a decision tree finds sequences of letters that unambiguously define the word stressing, was applied to stress a Lithuanian text. Stressing rules based on sequences of letters at the beginnings, endings and in the middle of a word have been formulated. Also, the proposed...

The bridge of Shanghai Metro Line 10 over 6 is a U-shaped concrete single-box double-cell box beam continuous bridge. A novel method applied to construct the asymmetric cantilever prefabricated and assembled due limited construction space complex environment. Four mechanical state control methods are during T-shape structure process: tensioning pre-stressed steel strand, jacking by axial force ...