5005 search results - page 471 / 1001 » The Design and Analysis of Parallel Algorithms |
177
click to vote
MSWIM
2006
ACM
16 years 24 days ago
2006
ACM
The topic of this paper is the algorithmic development of routing techniques for Delay Tolerant Networks (DTNs). Assuming a store and forward type of network transfers, our main o...
159
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
In this paper, we propose preconditioned Krylov-subspace iterative methods to perform efficient DC and transient simulations for large-scale linear circuits with an emphasis on po...
178
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Hyper-heuristics or “heuristics to chose heuristics” are an emergent search methodology that seeks to automate the process of selecting or combining simpler heuristics in o...
214
click to vote
FMICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
155
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...