201 search results - page 24 / 41 » Using a SAT solver to generate checking sequences |
159
click to vote
AIA
2006
15 years 4 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
101
click to vote
ICCAD
2005
IEEE
16 years 1 days ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
121
click to vote
USS
2008
15 years 5 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
160
Voted
DAC
2004
ACM
16 years 4 months 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...
125
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...