4609 search results - page 176 / 922 » Automatic Generation of Sigma-Protocols |
166
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
156
click to vote
SEMCO
2007
IEEE
16 years 21 days ago
2007
IEEE
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
188
click to vote
SEW
2007
IEEE
16 years 21 days ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
164
click to vote
QSIC
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
156
click to vote
CICLING
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. With the current method of query formation, a Question Answering system retrieves a set of documents that are similar to a question, while what is mostly required is a se...