Sciweavers

10874 search results - page 309 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
HAIS
2009
Springer
15 years 11 months ago
A Thermodynamical Model Study for an Energy Saving Algorithm
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...
Enrique A. de la Cal, José Ramón Vil...
CC
2001
Springer
146views System Software» more  CC 2001»
15 years 11 months ago
Alias Analysis by Means of a Model Checker
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
Vincenzo Martena, Pierluigi San Pietro
IPPS
2000
IEEE
15 years 11 months ago
Broadcasting in Hypercubes in the Circuit Switched Model
In this paper, we propose a method which enables us to construct almost optimal broadcast schemes on an n-dimensional hypercube in the circuit switched, -port model. In this mode...
Jean-Claude Bermond, Takako Kodate, Stephane Peren...
IPPS
2000
IEEE
15 years 11 months ago
JavaSpMT: A Speculative Thread Pipelining Parallelization Model for Java Programs
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
Iffat H. Kazi, David J. Lilja
JMIV
2002
122views more  JMIV 2002»
15 years 6 months ago
Markov Random Field Modeling in Median Pyramidal Transform Domain for Denoising Applications
We consider a median pyramidal transform for denoising applications. Traditional techniques of pyramidal denoising are similar to those in wavelet-based methods. In order to remove...
Ilya Gluhovsky, Vladimir P. Melnik, Ilya Shmulevic...