Sciweavers

12265 search results - page 133 / 2453
» Knuth-Morris-Pratt Algorithm: An Analysis
Sort
View
AUTOMATICA
2004
92views more  AUTOMATICA 2004»
13 years 10 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»
14 years 5 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»
14 years 1 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»
14 years 3 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»
14 years 3 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv