iIi ~ct ie sI o 1j iul 1ll lil liit ibtiriil s ilii lionl I;till liiiiII i ll Ploi Talc ll ilpok Ic-ijstaiit .uigluiiII \% , o t li 'll[did ,,li ic' 111tlict [lheC2\I~i.l:IIOIl 11lOLT' did 1101i ,gilif~ic;Ilik feesl Coll\ciio of tileioll-lesiiiilt .oiV iii ei,iill . SilipplellICll:ilii .A lc oliAtllli ISS2t') diet \\ilhn hi,i c C CL Illnit iginifiet lltluigt5\ei 'il Ill it Chii'kTel iT iliitll....

The lasers on both Si and InP substrates were tested under an RT pulsed condition (300111 kHr). Fig. 3 shows the typical current/light (UL) characteristics ( 3 3 0 ~ cavity length) of a laser on Si. The threshold current density is estimated to be as low as 1.7 kAIcm’. Furthermore, dependence of the threshold current density (J,,,) on the reciprocal of cavity length (IIL) was investigated and p...

In this paper we present a source transformation-based framework to support uniform testing and model checking of implicit-invocation software systems. The framework includes a new domain-specific programming language, the Implicit-Invocation Language (IIL), explicitly designed for directly expressing implicit-invocation software systems, and a set of formal rule-based source transformation too...

Rheological parameters for ice II Experimental Method and ice III, needed in tectonic models of the icy satellites of the major planets, are obtained from Extrusion experiments were carried out as extrusion experiments and compared with the rheolfollows. Approximately 2 cm $ of distilled water ogy of ice I at pressures ~2 kbar and temperatures was introduced into the 9.5-ram bore of a piston~24...

According io the action principle of I2L circuits, this paper propcm t.he theory of grounded current. switches to describe the interaction between grounded transistors and currmt signals in I”L circuits. In this theory, switching stat.r of grounded transistor and current signal are dcwritcul separately by two different kinds of variables. b i d e s . t hmhitld coniparison operation and groundin...

In this paper, we present a framework that allows for testing and model checking of implicit-invocation systems. The framework includes a new programming language – the Implicit-Invocation Language (IIL), and a set of formal rule-based transformation tools that allow automatic generation of executable and formal verification artifacts. We provide details on the design of these formal rule-based...

With the growing size and complexity of software systems, software verification and validation (V&V) is becoming increasingly important. Model checking and testing are two of the main V&V methods. In this paper, we present a framework that allows for testing and formal modeling and analysis to be combined. More precisely, we describe a framework for model checking and testing implicit invocatio...

"iiiit"iii"it""iil"a"pendent oi chain leigth. The presence of small amounts of water was necessarv for t1i6 formation of these films. The alkylsil6xane monolayers were stable in common organic solvent€, wat€r, and scid but were d€6hoyed by prolonged exposure to base. Simple reactions on vinyl-t€rminated monolayeis i"n"r"t"a "t"ohot-, "arb'oxylii: ircid-, ind bromine-terminated iilms whose conta...

Manganese( III) has been stabili zed in weakly acidic med ium by means of pyrophosphate and the nature of the complex elucidated spectrophotometricall y. Stoichiometry of manganese( JJJ) oxidation of aspirin (acetylsalicylic acid) in pyrophosphate has been establi shed in the pH range 2.3-3.5 by iodometric and spectrophotometric methods. The reac ti on foll ows first order kinetics in [Mn(IIl)j...