4609 search results - page 322 / 922 » Automatic Generation of Sigma-Protocols |
171
click to vote
RTAS
2003
IEEE
15 years 12 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
183
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
192
click to vote
ICRA
2006
IEEE
16 years 21 days ago
2006
IEEE
— We present a system of coupled nonlinear oscillators to be used as programmable central pattern generators, and apply it to control the locomotion of a humanoid robot. Central ...
202
Voted
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
205
click to vote
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...