12 search results - page 3 / 3 » A translation method between 802.15.4 nodes and IPv6 nodes |
IJCSS
2007
13 years 6 months ago
2007
This paper presents a low power driven synthesis framework for the unique class of nonregenerative Boolean Read-Once Functions (BROF). A two-pronged approach is adopted, where the...
SAT
2009
Springer
14 years 24 days ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...