2370 search results - page 128 / 474 » The Characterization of Data-Accumulating Algorithms |
TACAS
2010
Springer
15 years 5 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...
ACSD
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
AHS
2007
IEEE
15 years 4 months ago
2007
IEEE
Machine Learning algorithms allow to create highly adaptable systems, since their functionality only depends on the features of the inputs and the coefficients found during the tr...
CSE
2009
IEEE
15 years 2 months ago
2009
IEEE
—We apply a simple clustering algorithm to a large dataset of cellular telecommunication records, reducing the complexity of mobile phone users’ full trajectories and allowing ...
ICCS
2001
Springer
15 years 2 months ago
2001
Springer
: Performance modeling for scientific production codes is of interest both for program tuning and for the selection of new machines. An empirical method is used for developing a m...