|
|
Line 1,552: |
Line 1,552: |
| <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span> | | <span class="plainlinks">[http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span> |
| <br> [http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt Slides] | | <br> [http://mriedel.ece.umn.edu/wiki/images/0/00/Backes_Riedel_Reduction_Of_Interpolants_For_Logic_Synthesis.ppt Slides] |
| | |} |
| | |
| | {| |
| | | |
| | {| style="background:#F0E68C" |
| | |- valign="top" |
| | | width="100" | '''title''': |
| | | width="500" | [[Media:Riedel_Bruck_Tolerating_Faults_in_Counting_Networks.pdf|Tolerating Faults in Counting Networks]] |
| | |- valign="top" |
| | | '''authors''': |
| | | [[Marc Riedel]] and Jehoshua Bruck |
| | |- valign="top" |
| | | '''appeared in''': |
| | | [https://link.springer.com/book/10.1007/978-1-4615-4549-1 Dependable Network Computing], Springer, 2000, Dimiter Avresky, Editor, 267–277, 2000 |
| | |- valign="top" |
| | | '''presented at''': |
| | | [ ], |
| | |} |
| | | align=center width="70" | |
| | <span class="plainlinks"> |
| | [http://www.mriedel.ece.umn.edu/wiki/images/f/fc/Riedel_Bruck_Tolerating_Faults_in_Counting_Networks.pdf http://mriedel.ece.umn.edu/wiki/images/0/04/Pdf.jpg]</span> |
| | <br> |
| | [[Media:Riedel_Bruck_Tolerating_Faults_in_Counting_Networks.pdf | Paper]] |
| | | align="center" width="70" | |
| | <span class="plainlinks">[ http://mriedel.ece.umn.edu/wiki/images/3/36/Ppt.jpg]</span> |
| | <br>[ Slides] |
| |} | | |} |
|
| |
|