4609 search results - page 145 / 922 » Automatic Generation of Sigma-Protocols |
147
click to vote
WSCG
2004
15 years 7 months ago
2004
In this paper we present a method which progresses towards automatically generating the texture maps for the building fa
157
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
163
click to vote
FCCM
2000
IEEE
15 years 10 months ago
2000
IEEE
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...
166
click to vote
TVLSI
2008
15 years 6 months ago
2008
Reconfigurable hardware is ideal for use in Systems-on-a-Chip, as it provides both hardware-level performance and post-fabrication flexibility. However, any one architecture is ra...
167
click to vote
MKM
2007
Springer
16 years 16 days ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...