322 search results - page 10 / 65 » Satisfiability Coding Lemma |
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
AAECC
2007
Springer
14 years 1 months ago
2007
Springer
We consider a generalization of the codes defined by norm and trace functions on finite fields introduced by Olav Geil. The codes in the new family still satisfy Geil’s dualit...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
TIT
2008
13 years 7 months ago
2008
The term binary combinatorial Gray code refers to a list of binary words such that the Hamming distance between two neighboring words is one and the list satisfies some additional ...