4609 search results - page 207 / 922 » Automatic Generation of Sigma-Protocols |
151
click to vote
ASPDAC
2006
ACM
16 years 14 days ago
2006
ACM
— This paper presents an architecture and a synthesis method for programmable numerical function generators (NFGs) for trigonometric, logarithmic, square root, and reciprocal fun...
164
click to vote
FPL
2005
Springer
16 years 20 hour ago
2005
Springer
This paper presents an architecture and a synthesis method for programmable numerical function generators of trigonometric functions, logarithm functions, square root, reciprocal,...
155
click to vote
GECCO
2005
Springer
16 years 18 hour ago
2005
Springer
Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue. Traditional functional approaches are not sufficient when cons...
172
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
126
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...