1901 search results - page 157 / 381 » Predicting Program Properties from |
164
click to vote
GPEM
2010
15 years 1 months ago
2010
A distributed data mining algorithm to improve the detection accuracy when classifying malicious or unauthorized network activity is presented. The algorithm is based on genetic p...
157
click to vote
ISSPIT
2010
14 years 10 months ago
2010
Graphics processing units (GPU) on commodity video cards have evolved into powerful computational devices. The RNA secondary structure arises from the primary structure and a backb...
120
click to vote
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
136
click to vote
IADIS
2008
15 years 4 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...
112
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...