4763 search results - page 867 / 953 » On the Execution of Deep Models |
AAAI
2012
13 years 2 months ago
2012
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic...
WWW
2005
ACM
16 years 12 days ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
129
click to vote
PPOPP
2009
ACM
16 years 8 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
193
click to vote
POPL
2008
ACM
16 years 1 days ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
179
click to vote
SIGMOD
2009
ACM
15 years 12 months ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...