12257 search results - page 251 / 2452 » Analysis of Algorithms |
114
Voted
AIIA
2007
Springer
15 years 5 months ago
2007
Springer
We have recently presented CarpeDiem, an algorithm that can be used for speeding up the evaluation of Supervised Sequential Learning (SSL) classifiers. CarpeDiem provides impress...
115
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
149
Voted
ICDCSW
2003
IEEE
15 years 8 months ago
2003
IEEE
In a Distributed Database System (DDBS), transactions on objects can be read requests or write requests in a random manner. The replication algorithm of objects critically affects...
139
Voted
NICSO
2010
Springer
15 years 7 months ago
2010
Springer
t] Based on the mutation matrix formalism and past statistics of genetic algorithm, a Markov Chain transition probability matrix is introduced to provide a guided search for comple...
120
Voted
SODA
2004
ACM
15 years 4 months ago
2004
ACM
We describe a machine model for automatically dynamizing static algorithms and apply it to historyindependent data structures. Static programs expressed in this model are dynamize...