591 search results - page 109 / 119 » Embracing policy engineering |
121
click to vote
DAC
2004
ACM
16 years 22 days ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
185
click to vote
POPL
2008
ACM
16 years 2 days ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
192
click to vote
POPL
2005
ACM
16 years 2 days ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
195
click to vote
POPL
2004
ACM
16 years 2 days ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
212
click to vote
POPL
2003
ACM
16 years 2 days ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...