12265 search results - page 104 / 2453 » Knuth-Morris-Pratt Algorithm: An Analysis |
CSL
2009
Springer
14 years 4 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Priority queues are essential for various network processing applications, including per-flow queueing with Quality-of-Service (QoS) guarantees, management of large fa...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
— Recent work has revealed a close connection between certain information theoretic divergence measures and properties of Mercer kernel feature spaces. Specifically, it has been...
ASPDAC
2004
ACM
14 years 3 months ago
2004
ACM
Abstract— This paper presents a power grid analyzer that combines a divide-and-conquer strategy with a random-walk engine. A single-level hierarchical method is first described ...
WSC
2007
14 years 11 days ago
2007
Effectively managing a supply chain requires visibility to detect unexpected variations in the dynamics of the supply chain environment at an early stage. This paper proposes a me...