4609 search results - page 158 / 922 » Automatic Generation of Sigma-Protocols |
154
click to vote
ISSTA
2006
ACM
16 years 11 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
163
click to vote
VTS
1997
IEEE
15 years 10 months ago
1997
IEEE
We describe a technique to generate critical hazard-free tests for self-timed control circuits build using a macromodule library, in a partial scan based DFT environment. Wepropos...
145
click to vote
ACL
1997
15 years 7 months ago
1997
This paper presents a method for the automatic extraction of subgrammars to control and speeding-up natural language generation NLG. The method is based on explanation-based learn...
163
click to vote
JCIT
2007
15 years 6 months ago
2007
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
181
click to vote
ACL
2009
15 years 4 months ago
2009
We demonstrate that the bidirectionality of deep grammars, allowing them to generate as well as parse sentences, can be used to automatically and effectively identify errors in th...