6800 search results - page 229 / 1360 » Testing with Functions as Specifications |
150
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...
135
Voted
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
146
Voted
NLPRS
2001
Springer
15 years 9 months ago
2001
Springer
This research focuses on analysis of the grammatical functions between an adnoun clause and a noun phrase in Korean. The key task is to determine the relation between two constitu...
224
Voted
APPROX
2011
Springer
14 years 5 months ago
2011
Springer
In this work we consider the problem of approximating the number of relevant variables in a function given query access to the function. Since obtaining a multiplicative factor ap...
150
click to vote
COMPGEOM
1987
ACM
15 years 8 months ago
1987
ACM
Calculating properties of polyhedra given only the set of the locations and neighborhoods of the vertices is easy. Possible properties include volume, surface area, and point cont...