2018 search results - page 79 / 404 » Code Normal Forms |
ISMVL
2000
IEEE
14 years 3 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
TOIT
2008
13 years 11 months ago
2008
s exhibits diversity in the real world, mental abstraction world, document world, and machine world. Studying mappings between different forms of semantics helps unveil the uniform...
ICCAD
2006
IEEE
14 years 8 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
PLSA
1994
14 years 3 months ago
1994
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
ICICS
2010
Springer
13 years 9 months ago
2010
Springer
With today's technology, many applications rely on the existence of small devices that can exchange information and form communication networks. In a significant portion of su...