Sciweavers

4609 search results - page 194 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
ICS
1994
Tsinghua U.
15 years 10 months ago
Evaluating automatic parallelization for efficient execution on shared-memory multiprocessors
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...
Kathryn S. McKinley
SP
2010
IEEE
178views Security Privacy» more  SP 2010»
15 years 10 months ago
Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...
Matthew Hicks, Murph Finnicum, Samuel T. King, Mil...
LRE
2006
173views more  LRE 2006»
15 years 6 months ago
Automatic induction of language model data for a spoken dialogue system
When building a new spoken dialogue application, large amounts of domain specific data are required. This paper addresses the issue of generating in-domain training data when litt...
Chao Wang, Grace Chung, Stephanie Seneff
SP
2010
IEEE
220views Security Privacy» more  SP 2010»
15 years 10 months ago
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
Tielei Wang, Tao Wei, Guofei Gu, Wei Zou
WWW
2008
ACM
16 years 7 months ago
Automatic online news issue construction in web environment
In many cases, rather than a keyword search, people intend to see what is going on through the Internet. Then the integrated comprehensive information on news topics is necessary,...
Canhui Wang, Min Zhang, Shaoping Ma, Liyun Ru