2656 search results - page 176 / 532 » Design and analysis of algorithms reconsidered |
169
click to vote
MSWIM
2006
ACM
16 years 15 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...
154
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...
172
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...
175
click to vote
CCGRID
2007
IEEE
16 years 27 days ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
196
click to vote
FMICS
2007
Springer
16 years 21 days 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...