2561 search results - page 262 / 513 » Enhanced Quicksort Algorithm |
158
click to vote
CC
2004
Springer
16 years 1 days ago
2004
Springer
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...
194
click to vote
MTV
2003
IEEE
15 years 12 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
204
Voted
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
156
click to vote
HM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We discuss a general approach to hybridize traditional construction heuristics for combinatorial optimization problems with numerical based evolutionary algorithms. There...
189
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...