27827 search results - page 298 / 5566 » Generating |
104
Voted
ICCD
2006
IEEE
16 years 13 days ago
2006
IEEE
—X-filling is preferred for low-capture-power scan test generation, since it reduces IR-drop-induced yield loss without the need of any circuit modification. However, the effecti...
117
Voted
WISTP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The Norwegian company Encap has developed protocols enabling individuals to use their mobile phones as one-time password (OTP) generators. An initial analysis of the prot...
158
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
156
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
119
Voted
STACS
2009
Springer
15 years 10 months ago
2009
Springer
We revisit the problem of generating a “hard” random lattice together with a basis of relatively short vectors. This problem has gained in importance lately due to new cryptogr...