7167 search results - page 1181 / 1434 » A Technique for Invariant Generation |
177
click to vote
JAL
2008
15 years 7 months ago
2008
Abstract. In the last few years, the microprocessors technologies have been definitely moving to multi-core architectures, in order to improve performances as well as reduce power ...
173
click to vote
IJON
2006
15 years 7 months ago
2006
Digital colour image enhancement using a homomorphic filter provides good dynamic range compression, but it fails in colour rendition. In this letter, we propose to perform natura...
186
click to vote
IJRR
2006
15 years 7 months ago
2006
In this paper, a methodology is proposed for the analysis of the force capabilities of connected differential mechanisms. These systems are the key elements used to extend the prin...
183
click to vote
JCIT
2008
15 years 7 months ago
2008
There are various web caching replacement algorithms related to reference characteristics of web objects were researched. They could be used in regard to user characteristics of c...
190
click to vote
JCP
2008
15 years 7 months ago
2008
In this paper, a technique to generate expander graphs using Cellular Automata (CA) has been presented. The special class of CA, known as the Two Predecessor Single Attractor Cellu...