Sciweavers

4867 search results - page 267 / 974
» Fluid Models in Performance Analysis
Sort
View
DAC
2008
ACM
16 years 7 months ago
Stochastic modeling of a thermally-managed multi-core system
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
Hwisung Jung, Peng Rong, Massoud Pedram
ICIP
2004
IEEE
16 years 8 months ago
Texture analysis using adaptive biorthogonal wavelet packets
We discuss the use of adaptive biorthogonal wavelet packet bases in a probabilistic approach to texture analysis, thus combining the advantages of biorthogonal wavelets (FIR, line...
G. Charith K. Abhayaratne, Ian Jermyn, Josiane Zer...
IPMI
2005
Springer
16 years 4 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 4 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 ...
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 11 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu