2006 search results - page 89 / 402 » Heuristic Security-Testing Methods |
113
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
104
Voted
ICML
1997
IEEE
16 years 1 months ago
1997
IEEE
The Rocchio relevance feedback algorithm is one of the most popular and widely applied learning methods from information retrieval. Here, a probabilistic analysis of this algorith...
108
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— Future communication networks should be designed with the consideration of efficiently supporting intensive multicast applications. Network coding technique proposed recently ...
111
Voted
ICOIN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In optical networks, traffic demands often demonstrate periodic nature for which time-overlapping property can be utilized in routing and wavelength assignment (RWA). A R...
108
Voted
AI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...