7195 search results - page 1176 / 1439 » On Computing Power |
153
Voted
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Simulated Evolution (SimE) is a sound stochastic approximation algorithm based on the principles of adaptation. If properly engineered it is possible for SimE to reach nearopti...
140
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
Layout migration has re-emerged as an important task due to the increasing use of library hard intellectual properties. While recent advances of migration tools have accommodated ...
178
click to vote
LAWEB
2005
IEEE
15 years 11 months ago
2005
IEEE
Nowadays, networks can be accessed by multiple devices with different characteristics. Some of these characteristics such as low processing power and memory capacity restrict the ...
153
Voted
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
153
click to vote
MMM
2005
Springer
15 years 11 months ago
2005
Springer
In distributed computing systems, it is unwise to move data to the point of program code, but instead process data at the point of storage. This concept is even more appropriate t...