The following pages link to Reversible Computation (Q2822486):
Displaying 7 items.
- Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits (Q2822514) (← links)
- Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits (Q2822521) (← links)
- Towards a Reversible Functional Language (Q2902497) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs (Q3186590) (← links)
- Checking Reversibility of Boolean Functions (Q3186609) (← links)
- Trace Complexity of Chaotic Reversible Cellular Automata (Q3188914) (← links)
