Sciweavers

13593 search results - page 577 / 2719
» Performance Analysis of MD5
Sort
View
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
16 years 27 days ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
205
Voted
IPMI
2005
Springer
16 years 27 days ago
Automatic Prediction of Myocardial Contractility Improvement in Stress MRI Using Shape Morphometrics with Independent Component
Abstract. An important assessment in patients with ischemic heart disease is whether myocardial contractility may improve after treatment. The prediction of myocardial contractilit...
Avan Suinesiaputra, Alejandro F. Frangi, Hildo J. ...
MATES
2005
Springer
16 years 26 days ago
LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
SCALESPACE
2005
Springer
16 years 26 days ago
Estimation of the Optimal Variational Parameter via SNR Analysis
We examine the problem of finding the optimal weight of the fidelity term in variational denoising. Our aim is to maximize the signal to noise ratio (SNR) of the restored image. ...
Guy Gilboa, Nir A. Sochen, Yehoshua Y. Zeevi
169
Voted
CAISE
2004
Springer
16 years 23 days ago
Impact Analysis for Supporting the Co-Evolution of Business Processes and Supporting Software Systems
The co-evolution of business processes and supporting software systems is needed for keeping them aligned and it requires managerial and technological effort for adequately plannin...
Thierry Bodhuin, Raffaele Esposito, Cristina Pacel...