2674 search results - page 419 / 535 » Implementation issues for an interactive evolutionary comput... |
124
click to vote
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Non-trivial retrieval applications involve complex computations on large multi-dimensional datasets. These should, in principle, benefit from the use of relational datab...
119
click to vote
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
147
click to vote
PPL
2008
15 years 3 months ago
2008
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...
127
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
Increasingly pervasive networks are leading towards a world where data is constantly in motion. In such a world, conventional techniques for query processing, which were developed...
152
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...