Search

Your search keyword '"Ghezzi, C."' showing total 838 results
Start Over Author "Ghezzi, C."
838 results on '"Ghezzi, C."'

201. Software specialization via symbolic execution

Author

Coen Porisini, A, DE PAOLI, F, Ghezzi, C, Mandrioli, D, Mandrioli, D., DE PAOLI, FLAVIO MARIA, Coen Porisini, A, DE PAOLI, F, Ghezzi, C, Mandrioli, D, Mandrioli, D., and DE PAOLI, FLAVIO MARIA

Abstract

The authors describe a technique and an environment-supporting specialization of generalized software components. The technique is based on symbolic execution. It allows one to transform a generalized software component into a more specific and more efficient component. Specialization is proposed as a technique that improves software reuse. The idea is that a library of generalized components exists and the environment supports a designer in customizing a generalized component when the need arises for reusing it under more restricted conditions. It is also justified as a reengineering technique that helps optimize a program during maintenance. Specialization is supported by an interactive environment that provides several transformation tools: a symbolic executor/simplifier, an optimizer, and a loop refolder. The conceptual basis for these transformation techniques is described, examples of their application are given, and how they cooperate in a prototype environment for the Ada programming language is outlined

Published
1991

202. A unified high-level Petri net formalism for time-critical systems

Author

Ghezzi, C, Mandrioli, D, Morasca, S, Pezze', M, PEZZE', MAURO, Ghezzi, C, Mandrioli, D, Morasca, S, Pezze', M, and PEZZE', MAURO

Abstract

The authors introduce a high-level Petri net formalism-environment/relationship (ER) nets-which can be used to specify control, function, and timing issues. In particular, they discuss how time can be modeled via ER nets by providing a suitable axiomatization. They use ER nets to define a time notation that is shown to generalize most time Petri-net-based formalisms which appeared in the literature. They discuss how ER nets can be used in a specification support environment for a time-critical system and, in particular, the kind of analysis supported.

Published
1991

237. In vivo molecular imaging of myocardial angiogenesis using the alpha(v)beta3 integrin-targeted tracer 99mTc-RAFT-RGD.

Author

Dimastromatteo J, Riou LM, Ahmadi M, Pons G, Pellegrini E, Broisat A, Sancey L, Gavrilina T, Boturyn D, Dumy P, Fagret D, Ghezzi C, Dimastromatteo, Julien, Riou, Laurent M, Ahmadi, Mitra, Pons, Guillaume, Pellegrini, Eric, Broisat, Alexis, Sancey, Lucie, and Gavrilina, Tatiana

Abstract

Background: Myocardial angiogenesis following reperfusion of an infarcted area may impact on patient prognosis and pro-angiogenic treatments are currently evaluated. The non-invasive imaging of angiogenesis would therefore be of potential clinical relevance in these settings. (99m)Tc-RAFT-RGD is a novel (99m)Tc-labeled tracer that targets the alpha(v)beta(3) integrin. Our objective was to determine whether this tracer was suitable for myocardial angiogenesis imaging.Methods and Results: A rat model of reperfused myocardial infarction was employed. Fourteen days following reperfusion, the animals were injected with (99m)Tc-RAFT-RGD or with its negative control (99m)Tc-RAFT-RAD. Fourteen animals were dedicated to autoradiographic imaging, infarct staining, and gamma-well counting of myocardial activity. In vivo dual-isotope pinhole SPECT imaging of (201)Tl and (99m)Tc-RAFT-RGD or (99m)Tc-RAFT-RAD was also performed in 11 additional animals. Neovessels were observed by immunostaining in the infarcted and peri-infarct areas. (99m)Tc-RAFT-RGD infarct-to-normal ratios by gamma-well counting and ex vivo imaging (2.5 +/- 0.6 and 4.9 +/- 0.9, respectively) were significantly higher than those of (99m)Tc-RAFT-RAD (1.7 +/- 0.2 and 2.2 +/- 0.4, respectively, P < .05). The infarcted area was readily visible in vivo by SPECT with (99m)Tc-RAFT-RGD but not with (99m)Tc-RAFT-RAD (infarct-to-normal zone activity ratio, 2.5 +/- 0.6 and 1.7 +/- 0.4, respectively, P < .05).Conclusion: (99m)Tc-RAFT-RGD allowed the experimental in vivo molecular imaging of myocardial angiogenesis. [ABSTRACT FROM AUTHOR]

Published
2010
Full Text
View/download PDF

249. Admittance spectroscopy of GaAs/InGaP MQW structures

Author

Gombia, E., Ghezzi, C., Parisini, A., Tarricone, L., and Longo, M.

Subjects
*SPECTRUM analysis, *SEMICONDUCTORS, *QUANTUM wells, *HETEROSTRUCTURES
Abstract

Abstract: An accurate determination of the valence band discontinuity of the lattice matched GaAs/InGaP heterostructure is performed by admittance spectroscopy measurements in p+/MQW/n+ structures grown by metal-organic vapour phase epitaxy (MOVPE) using tertiarybutylarsine and tertiarybutylphosphine as alternative precursors for the V group elements. Through the analysis of the temperature dependence of the resonance frequency ϖ at which the isothermal curves of the conductance over frequency G(ω)/ω have the maximum, the energy separation of 336±5meV between the lowest heavy hole quantum level in the GaAs wells and the InGaP valence band top is obtained. A valence band discontinuity of ΔE V =346±5meV is then derived by accounting for the calculated confinement energy of heavy holes (). Experimental values of ΔE V previously reported in the literature spread over the wide range of 300–400meV. [Copyright &y& Elsevier]

Published
2008
Full Text
View/download PDF

250. Lercanidipine, enalapril and their combination in the treatment of elderly hypertensive patients: placebo-controlled, randomized, crossover study with four ABPM.

Author

Puig, J. G., Calvo, C., Luurila, O., Luurila, H., Sulosaari, S., Strandberg, A., and Ghezzi, C.

Subjects
ELDER care, AMBULATORY blood pressure monitoring, HYPERTENSION, THERAPEUTICS, PLACEBOS, BLOOD pressure measurement
Abstract

This double-blind, placebo-controlled, four-way balanced design crossover study included hypertensive patients aged 60–85 years with mean office-measured sitting systolic blood pressure (SBP) 160–179 mm Hg and daytime SBP 135 mm Hg. After a 2-week run-in period, during which previous medications were discontinued, each patient received the following four treatments in randomized order for 4 weeks each: lercanidipine 10 mg (L), enalapril 20 mg (E), lercanidipine 10 mg plus enalapril 20 mg (L/E) and placebo (P). At the end of each treatment period, office trough blood pressure (BP) was measured and a 24-h Ambulatory Blood Pressure Monitoring (ABPM) was performed. Seventy-five patients (mean age 66 years, office BP 168/92 mm Hg, daytime SBP 151 mm Hg) were randomized and 62 completed the study with four valid post-baseline ABPMs. The administration of P, L, E and L/E was associated with a mean 24-h SBP of 144, 137, 133 and 127 mm Hg, respectively. All active treatments significantly reduced the mean 24-h SBP in comparison with placebo, but L/E was significantly more effective than L and E alone. Similarly, office SBP was significantly more reduced with L/E (−16.9 mm Hg) than with L (−5.0 mm Hg) or E (−5.9 mm Hg). A BP <140/90 mm Hg was recorded in 18% of patients with L, 19% with E and 45% with L/E. Two patients on P and two on L/E were withdrawn from the study due to adverse events. In conclusion, combination therapy with L/E has additive antihypertensive effects on both ambulatory and office BP in elderly patients and is well tolerated.Journal of Human Hypertension (2007) 21, 917–924; doi:10.1038/sj.jhh.1002248; published online 21 June 2007 [ABSTRACT FROM AUTHOR]

Published
2007
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results