Sciweavers

12265 search results - page 133 / 2453
» Knuth-Morris-Pratt Algorithm: An Analysis
Sort
View
AUTOMATICA
2004
92views more  AUTOMATICA 2004»
15 years 4 months ago
Randomized algorithms for quadratic stability of quantized sampled-data systems,
In this paper, we present a novel development of randomized algorithms for quadratic stability analysis of sampled-data systems with memoryless quantizers. The speci
Hideaki Ishii, Tamer Basar, Roberto Tempo
CC
2010
Springer
150views System Software» more  CC 2010»
15 years 11 months ago
Practical Extensions to the IFDS Algorithm
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
Nomair A. Naeem, Ondrej Lhoták, Jonathan Ro...
GECCO
2006
Springer
186views Optimization» more  GECCO 2006»
15 years 8 months ago
Comparison of multi-modal optimization algorithms based on evolutionary algorithms
Many engineering optimization tasks involve finding more than one optimum solution. The present study provides a comprehensive review of the existing work done in the field of mul...
Gulshan Singh, Kalyanmoy Deb
AAIM
2005
Springer
173views Algorithms» more  AAIM 2005»
15 years 10 months ago
Level of Repair Analysis and Minimum Cost Homomorphisms of Graphs
Gregory Gutin, Arash Rafiey, Anders Yeo, Michael T...
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
15 years 9 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv