4609 search results - page 598 / 922 » Automatic Generation of Sigma-Protocols |
175
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
A novel methodology for circuit design and automatic layout generation is proposed for a class of mixed-signal circuits in presence of layout parasitics and substrate induced nois...
185
click to vote
KBSE
1994
IEEE
15 years 10 months ago
1994
IEEE
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...
186
click to vote
VL
1994
IEEE
15 years 10 months ago
1994
IEEE
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
196
click to vote
VL
1994
IEEE
15 years 10 months ago
1994
IEEE
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
147
click to vote
FPL
1994
Springer
15 years 10 months ago
1994
Springer
The implementation of larger digital neural networks has not been possible due to the real-estate requirements of single neurons. We present an expandable digital architecture whic...