3239 search results - page 321 / 648 » A Logical Process Calculus |
129
click to vote
VLSID
2009
IEEE
16 years 5 months ago
2009
IEEE
Synthesis of reversible logic has become a very important research area. In recent years several algorithms ? heuristic as well as exact ones ? have been introduced in this area. ...
217
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
"Wow. I fell asleep listening to SOA music, and when I woke up, I couldn't remember where I'd put my data. Now what?" Has this happened to you? With the new pu...
131
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
126
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
We define a robust fault model as a model where the existence of an undetectable fault implies the existence of logic redundancy, or more generally, a suboptimality in the synthe...
170
click to vote
DSD
2008
IEEE
15 years 11 months ago
2008
IEEE
Ultra low power digital systems are key for any future wireless sensor nodes but also inside nomadic embedded systems (such as inside the digital front end of software defined rad...