4106 search results - page 560 / 822 » A Computational Model for Metric Spaces |
208
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The paper focuses on the efficiency of the hybrid evolutionary algorithm (HEA) for solving the global optimization problem arising in electronic imaging. The particular v...
168
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Distributed computing has taken a new importance in order to meet the requirements of users demanding information “anytime, anywhere.” Inferno facilitates the creation and sup...
159
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
The large design space of modern computer architectures calls for performance modelling tools to facilitate the evaluation of different alternatives. In this paper, we give an ove...
193
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
174
click to vote
ICDCS
1994
IEEE
15 years 11 months ago
1994
IEEE
The Client Server DBMS model has emerged as the main paradigm in database computing. The Enhanced Client Server architecture takes advantage of all the available client resources ...