9931 search results - page 203 / 1987 » Generative Modeling by PRISM |
176
click to vote
ISSTA
2009
ACM
16 years 29 days 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 ...
170
click to vote
AGTIVE
2007
Springer
16 years 19 days 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...
173
click to vote
CRYPTO
2004
Springer
15 years 12 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...
145
click to vote
FCCM
2003
IEEE
15 years 11 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...
150
click to vote
STOC
1994
ACM
15 years 10 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...