9931 search results - page 203 / 1987 » Generative Modeling by PRISM |
135
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
131
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. A VL specification serves as ba...
138
click to vote
CRYPTO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we propose a new key recovery attack on irregular clocked keystream generators where the stream is filtered by a nonlinear Boolean function. We show that t...
114
click to vote
FCCM
2003
IEEE
15 years 9 months ago
2003
IEEE
A second generation of an embedded input device for kinetically challenged persons is presented. The new system can detect O(n2 ) free motions in space with O(n) hardware, and has...
115
click to vote
STOC
1994
ACM
15 years 7 months ago
1994
ACM
We define pseudorandom generators for Yao's twoparty communication complexity model and exhibit a simple construction, based on expanders, for it. We then use a recursive com...