4609 search results - page 250 / 922 » Automatic Generation of Sigma-Protocols |
194
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
157
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
The problem of peak power estimation in CMOS circuits is essential for analyzing the reliability and performance of circuits at extreme conditions. The Power Virus problem involves...
182
click to vote
ICS
2009
Tsinghua U.
16 years 1 months ago
2009
Tsinghua U.
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...
141
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...
206
click to vote
RTAS
2008
IEEE
16 years 29 days ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...