667 search results - page 44 / 134 » On Various Negative Translations |
115
click to vote
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
108
Voted
LACL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
167
click to vote
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
133
click to vote
FOCS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
116
Voted
MICRO
1994
IEEE
15 years 4 months ago
1994
IEEE
High performance architectures have always had to deal with the performance-limiting impact of branch operations. Microprocessor designs are going to have to deal with this proble...