# User contributions

(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)

- 16:20, 8 June 2017 (diff | hist) . . (0) . . Genesis2 (→Installing Genesis2) (current)
- 16:19, 8 June 2017 (diff | hist) . . (+9) . . Genesis2 (→Installing Genesis2)
- 16:18, 8 June 2017 (diff | hist) . . (+61) . . Genesis2 (→Installing Genesis2)
- 16:17, 8 June 2017 (diff | hist) . . (0) . . Genesis2 (→Installing Genesis2)
- 16:17, 8 June 2017 (diff | hist) . . (+77) . . Genesis2 (→Installing Genesis2)
- 16:14, 8 June 2017 (diff | hist) . .
**(-966)** . . m Genesis2 (Reverted edits by Steveri (talk) to last revision by Shacham) - 16:12, 8 June 2017 (diff | hist) . . (+142) . . Genesis2 (→Installing Genesis2)
- 16:10, 8 June 2017 (diff | hist) . . (0) . . Genesis2 (→Installing Genesis2)
- 16:09, 8 June 2017 (diff | hist) . . (+26) . . Main Page (→Github) (current)
- 16:09, 8 June 2017 (diff | hist) . . (0) . . Main Page (→Download and Install Genesis2)
- 18:58, 1 June 2017 (diff | hist) . . (+80) . . Main Page (→Download and Install Genesis2)
- 18:57, 1 June 2017 (diff | hist) . . (+2) . . Main Page (→Github)
- 18:57, 1 June 2017 (diff | hist) . .
**(+582)** . . Main Page (→Download and Install Genesis2) - 22:04, 6 March 2017 (diff | hist) . . (-18) . . Interactive Genesis2 GUI (→Adding a design to the GUI) (current)
- 22:03, 6 March 2017 (diff | hist) . . (-2) . . Interactive Genesis2 GUI (→Adding a design to the GUI)
- 22:03, 6 March 2017 (diff | hist) . . (0) . . Interactive Genesis2 GUI (→Adding a design to the GUI)
- 22:02, 6 March 2017 (diff | hist) . . (+53) . . Interactive Genesis2 GUI (→Adding a design to the GUI)
- 22:00, 6 March 2017 (diff | hist) . . (-21) . . Interactive Genesis2 GUI (→Adding a design to the GUI)
- 21:59, 6 March 2017 (diff | hist) . . (+6) . . Interactive Genesis2 GUI (→Adding a design to the GUI)
- 21:58, 6 March 2017 (diff | hist) . . (-18) . . Interactive Genesis2 GUI (→Adding a design to the GUI)
- 21:56, 6 March 2017 (diff | hist) . . (+53) . . Interactive Genesis2 GUI (→Cleaning up a design directory)
- 21:55, 6 March 2017 (diff | hist) . . (0) . . File:Add-GUI-Design.jpg (uploaded a new version of "File:Add-GUI-Design.jpg") (current)
- 21:54, 6 March 2017 (diff | hist) . . (0) . . File:Add-GUI-Design.jpg (uploaded a new version of "File:Add-GUI-Design.jpg": Reverted to version as of 21:46, 6 March 2017)
- 21:54, 6 March 2017 (diff | hist) . . (0) . . File:Add-GUI-Design.jpg (uploaded a new version of "File:Add-GUI-Design.jpg")
- 21:46, 6 March 2017 (diff | hist) . . (+10) . . N File:Add-GUI-Design.jpg (Screenshot)
- 21:21, 6 March 2017 (diff | hist) . . (-5) . . Interactive Genesis2 GUI (→Adding a new design to the GUI)
- 21:20, 6 March 2017 (diff | hist) . . (-73) . . Interactive Genesis2 GUI (→Adding a new design to the GUI)
- 21:20, 6 March 2017 (diff | hist) . . (+1) . . Interactive Genesis2 GUI (→Adding a new design to the GUI)
- 21:19, 6 March 2017 (diff | hist) . . (-4) . . Interactive Genesis2 GUI (→Adding a new design to the GUI)
- 21:18, 6 March 2017 (diff | hist) . . (-80) . . Interactive Genesis2 GUI (→Preparing a generator for addition to the GUI)
- 21:18, 6 March 2017 (diff | hist) . . (+7) . . Interactive Genesis2 GUI (→Preparing a generator for addition to the GUI)
- 21:18, 6 March 2017 (diff | hist) . . (+4) . . Interactive Genesis2 GUI (→Preparing a generator for addition to the GUI)
- 21:17, 6 March 2017 (diff | hist) . . (-64) . . Interactive Genesis2 GUI (→Adding a New Design to the GUI)
- 21:17, 6 March 2017 (diff | hist) . .
**(+3,559)** . . Interactive Genesis2 GUI (→Adding a New Design to the GUI) - 21:13, 6 March 2017 (diff | hist) . . (+37) . . Interactive Genesis2 GUI (→Developer's Notebook)
- 17:25, 23 February 2017 (diff | hist) . . (-12) . . GUI To-Do List (→GUI Maintenance) (current)
- 17:18, 23 February 2017 (diff | hist) . . (-7) . . GUI Links (current)
- 17:18, 23 February 2017 (diff | hist) . . (+112) . . GUI Links
- 17:15, 23 February 2017 (diff | hist) . . (-130) . . GUI Links
- 17:14, 23 February 2017 (diff | hist) . . (-241) . . GUI Links
- 17:15, 21 February 2017 (diff | hist) . . (0) . . File:R11879-bsd.tar.bz2 (uploaded a new version of "File:R11879-bsd.tar.bz2": Messed up some of the licenses!) (current)
- 17:13, 21 February 2017 (diff | hist) . . (0) . . File:R11879-bsd.tar.bz2 (uploaded a new version of "File:R11879-bsd.tar.bz2": Reverted to version as of 19:49, 13 February 2017)
- 17:13, 21 February 2017 (diff | hist) . . (0) . . File:R11879-bsd.tar.bz2 (uploaded a new version of "File:R11879-bsd.tar.bz2": Messed up come of the licenses!)
- 17:10, 21 February 2017 (diff | hist) . . (+59) . . Main Page (→Download and Install Genesis2)
- 17:06, 14 February 2017 (diff | hist) . . (+2) . . Main Page (→Download and Install Genesis2)
- 17:06, 14 February 2017 (diff | hist) . . (-2) . . Main Page (→Download and Install Genesis2)
- 17:05, 14 February 2017 (diff | hist) . . (+118) . . Main Page (→Download and Install Genesis2)
- 17:03, 14 February 2017 (diff | hist) . . (+43) . . Main Page (→Download and Install Genesis2)
- 19:53, 13 February 2017 (diff | hist) . . (+5) . . Main Page (→Download and Install Genesis2)
- 19:52, 13 February 2017 (diff | hist) . . (-1) . . Main Page (→Download and Install Genesis2)
- 19:51, 13 February 2017 (diff | hist) . . (+94) . . Main Page (→Download and Install Genesis2)
- 19:49, 13 February 2017 (diff | hist) . . (+34) . . N File:R11879-bsd.tar.bz2 (Genesis2 tarball with BSD license.)
- 17:10, 29 June 2015 (diff | hist) . . (0) . . File:Mmm.tar.bz2 (uploaded a new version of "File:Mmm.tar.bz2": Updated for emacs 24; also a couple of outstanding small changes that I hope won't break anything for the outstanding user community...!) (current)
- 21:23, 26 June 2015 (diff | hist) . .
**(-634)** . . Genesis2 (→For emacs 24 and above) - 21:21, 26 June 2015 (diff | hist) . . (-1) . . Genesis2 (→For emacs 24 and above)
- 21:20, 26 June 2015 (diff | hist) . . (+16) . . Genesis2 (→For emacs 24 and above)
- 21:20, 26 June 2015 (diff | hist) . . (0) . . Genesis2 (→For emacs 24 and above)
- 21:20, 26 June 2015 (diff | hist) . . (+2) . . Genesis2 (→For emacs 24 and above)
- 21:19, 26 June 2015 (diff | hist) . . (+44) . . Genesis2 (→For emacs 24 and above)
- 21:17, 26 June 2015 (diff | hist) . . (-13) . . Genesis2 (→For Emacs 24 and Above)
- 21:16, 26 June 2015 (diff | hist) . . (+37) . . Genesis2 (→For Emacs 24 and Above)
- 21:15, 26 June 2015 (diff | hist) . . (0) . . Genesis2 (→For emacs 24 and Above)
- 21:14, 26 June 2015 (diff | hist) . . (+19) . . Genesis2 (→For Emacs 24 and Above)
- 21:13, 26 June 2015 (diff | hist) . .
**(+1,354)** . . Genesis2 (→For Emacs 24 and Above) - 18:44, 15 April 2015 (diff | hist) . . (+231) . . Original GUI Installation Details (→PREVENT THE BOTS) (current)
- 16:54, 15 April 2015 (diff | hist) . . (+285) . . Original GUI Installation Details (→PREVENT THE BOTS)
- 16:27, 15 April 2015 (diff | hist) . .
**(+640)** . . Original GUI Installation Details (→PREVENT THE BOTS) - 16:27, 15 April 2015 (diff | hist) . .
**(+574)** . . Original GUI Installation Details (→Set permissions) - 16:22, 15 April 2015 (diff | hist) . . (+1) . . Original GUI Installation Details (→Problem (Stewie): "Can't locate HTTP/Server/Simple/CGI.pm")
- 16:22, 15 April 2015 (diff | hist) . . (+6) . . Original GUI Installation Details (→Problem (FFT): "do_anything.pl" missing from cgi directory)
- 16:22, 15 April 2015 (diff | hist) . . (+6) . . Original GUI Installation Details (→Problem (FPGen demo): Missing file "designs/FloatingPointGen/FPGen.js")
- 16:22, 15 April 2015 (diff | hist) . . (+6) . . Original GUI Installation Details (→Problem (FPGen): Missing file "demo/fpdemo.php" and dir "designs/FloatingPointGen/")
- 16:22, 15 April 2015 (diff | hist) . . (+16) . . Original GUI Installation Details (→Problem: Missing designs, missing design directory)
- 16:21, 15 April 2015 (diff | hist) . . (+16) . . Original GUI Installation Details (→Problem: cgi directory does not work)
- 16:21, 15 April 2015 (diff | hist) . . (-6) . . Original GUI Installation Details (→Problem: Everything's in the wrong place (cad, cgi, homepage, ...))
- 16:21, 15 April 2015 (diff | hist) . . (-45) . . Original GUI Installation Details (→Problem: Everything's in the wrong place (cad, cgi, homepage, ...))
- 16:19, 15 April 2015 (diff | hist) . . (-12) . . Original GUI Installation Details (→Problem: Everything's in the wrong place (cad, cgi, homepage, ...))
- 16:19, 15 April 2015 (diff | hist) . . (+6) . . Original GUI Installation Details (→Problem: homepage no longer rooted at "/var/www/homepage/")
- 16:19, 15 April 2015 (diff | hist) . . (+15) . . Original GUI Installation Details (→Notes on installing the GUI at Stanford)
- 19:27, 15 January 2015 (diff | hist) . . (+5) . . Original GUI Installation Details (→Problem (Stewie): "Can't locate HTTP/Server/Simple/CGI.pm")
- 19:27, 15 January 2015 (diff | hist) . . (+237) . . Original GUI Installation Details (→Problem (FFT): "do_anything.pl" missing from cgi directory)
- 19:24, 15 January 2015 (diff | hist) . .
**(+780)** . . Original GUI Installation Details (→Problem: cgi directory does not work) - 19:07, 15 January 2015 (diff | hist) . . (0) . . Original GUI Installation Details (→Notes on installing the GUI at Stanford)
- 19:06, 15 January 2015 (diff | hist) . . (+16) . . Original GUI Installation Details (→Problem: vlsiweb dist is not up-to-date with latest development source)
- 19:05, 15 January 2015 (diff | hist) . . (+274) . . Original GUI Installation Details (→Problem (FPGen): Missing file "demo/fpdemo.php" and dir "designs/FloatingPointGen/")
- 18:55, 15 January 2015 (diff | hist) . . (+449) . . Original GUI Installation Details (→Problem: Everything's in the wrong place (cad, cgi, homepage, ...))
- 18:52, 15 January 2015 (diff | hist) . . (+360) . . Original GUI Installation Details (→Notes on installing the GUI at Stanford)
- 18:42, 15 January 2015 (diff | hist) . . (+225) . . Original GUI Installation Details (→Problem (FPGen demo): Missing file "designs/FloatingPointGen/FPGen.js")
- 18:39, 15 January 2015 (diff | hist) . . (+64) . . Original GUI Installation Details (→Problem: cgi directory does not work)
- 18:38, 15 January 2015 (diff | hist) . . (+231) . . Original GUI Installation Details (→Problem: cgi directory does not work)
- 18:36, 15 January 2015 (diff | hist) . . (-10) . . Original GUI Installation Details (→Problem: cgi directory does not work)
- 18:36, 15 January 2015 (diff | hist) . . (+58) . . Original GUI Installation Details (→Problem: cgi directory does not work)
- 18:35, 15 January 2015 (diff | hist) . . (+201) . . Original GUI Installation Details (→Problem: Everything's in the wrong place (cad, cgi, homepage, ...))
- 18:29, 15 January 2015 (diff | hist) . . (-1) . . Original GUI Installation Details (→Notes on installing the GUI at Stanford)
- 18:28, 15 January 2015 (diff | hist) . . (+103) . . Original GUI Installation Details (→Notes on installing the GUI at Stanford)
- 17:23, 15 January 2015 (diff | hist) . . (+115) . . Original GUI Installation Details (→Problem: Everything's in the wrong place (cad, cgi, homepage, ...))
- 17:21, 15 January 2015 (diff | hist) . . (+218) . . Original GUI Installation Details (→Problem: Missing perl package (XML/Simple):)
- 22:06, 14 January 2015 (diff | hist) . . (+6) . . Original GUI Installation Details (→Problem: Missing perl package (XML/Simple):)
- 22:06, 14 January 2015 (diff | hist) . . (+2) . . Original GUI Installation Details (→Problem: Missing perl package (XML/Simple):)
- 22:05, 14 January 2015 (diff | hist) . .
**(+522)** . . Original GUI Installation Details (→Problem (FFT): "do_anything.pl" missing from cgi directory) - 22:04, 14 January 2015 (diff | hist) . . (+5) . . Original GUI Installation Details (→Problem (FPGen demo): Missing file "designs/FloatingPointGen/FPGen.js")
- 22:02, 14 January 2015 (diff | hist) . . (+392) . . Original GUI Installation Details (→Problem (FPGen demo): Missing file "designs/FloatingPointGen/FPGen.js")
- 21:58, 14 January 2015 (diff | hist) . . (-1) . . Original GUI Installation Details (→Problem (FPGen demo): Missing file "designs/FloatingPointGen/FPGen.js")
- 21:58, 14 January 2015 (diff | hist) . . (-3) . . Original GUI Installation Details (→Problem (FPGen demo): Missing file "designs/FloatingPointGen/FPGen.js")
- 21:58, 14 January 2015 (diff | hist) . . (+6) . . Original GUI Installation Details (→Problem (FPGen demo): Missing file "designs/FloatingPointGen/FPGen.js")
- 21:58, 14 January 2015 (diff | hist) . . (+5) . . Original GUI Installation Details (→Problem (FPGen demo): Missing file "designs/FloatingPointGen/FPGen.js")
- 21:57, 14 January 2015 (diff | hist) . . (-7) . . Original GUI Installation Details (→Notes on installing the GUI at Stanford)
- 21:57, 14 January 2015 (diff | hist) . . (+16) . . Original GUI Installation Details (→(For FPGen demo) missing file designs/FloatingPointGen/FPGen.js)
- 21:56, 14 January 2015 (diff | hist) . . (+179) . . Original GUI Installation Details (→Notes on installing the GUI at Stanford)
- 21:54, 14 January 2015 (diff | hist) . . (+127) . . Original GUI Installation Details (→Notes on installing the GUI at Stanford)
- 21:54, 14 January 2015 (diff | hist) . . (+47) . . Original GUI Installation Details (→Set permissions)
- 21:51, 14 January 2015 (diff | hist) . . (0) . . Original GUI Installation Details (→What's an "original GUI?")
- 21:51, 14 January 2015 (diff | hist) . . (-4) . . GUI Links
- 21:48, 14 January 2015 (diff | hist) . . (-84) . . Main Page (→The Genesis2 GUI)
- 21:48, 14 January 2015 (diff | hist) . . (-4) . . Main Page (→The Genesis2 GUI)
- 16:52, 14 January 2015 (diff | hist) . . (0) . . GUI Links
- 16:52, 14 January 2015 (diff | hist) . . (0) . . GUI Links
- 16:51, 17 December 2014 (diff | hist) . . (+85) . . Original GUI Installation Details (→New install)
- 17:23, 14 July 2014 (diff | hist) . . (-59) . . DARPA Report 2014 Q2 (→Andrew: Generator methodology and the Driver Generator) (current)
- 17:09, 14 July 2014 (diff | hist) . .
**(+734)** . . DARPA Report 2014 Q2 (→Xuan: Linear Algebra Generator (TBD)) - 17:04, 14 July 2014 (diff | hist) . . (+23) . . DARPA Report 2014 Q2 (→Xuan: FP Generator (Done))
- 16:42, 14 July 2014 (diff | hist) . . (+14) . . DARPA Report 2014 Q2 (→Andrew: Generator methodology and the Driver Generator)
- 19:27, 13 July 2014 (diff | hist) . . (+4) . . DARPA Report 2014 Q2 (→Frank: Efficient Inference Algorithms for Probabilistic Programming Languages (TBD))
- 19:25, 13 July 2014 (diff | hist) . . (-8) . . DARPA Report 2014 Q2 (→Andrew: Generator methodology and the Driver Generator)
- 19:22, 13 July 2014 (diff | hist) . .
**(-2,088)** . . DARPA Report 2014 Q2 (→Andrew: Generator methodology (TBD)) - 19:14, 13 July 2014 (diff | hist) . . (+182) . . DARPA Report 2014 Q2 (→Andrew: Generator methodology (TBD))
- 19:10, 13 July 2014 (diff | hist) . . (+35) . . DARPA Report 2014 Q2 (→Andrew: Generator methodology (TBD))
- 19:07, 13 July 2014 (diff | hist) . .
**(+729)** . . DARPA Report 2014 Q2 (→Andrew: Generator methodology (TBD)) - 18:53, 13 July 2014 (diff | hist) . . (0) . . DARPA Report 2014 Q2 (→Jing: Test Chip (DONE))
- 18:52, 13 July 2014 (diff | hist) . . (-1) . . DARPA Report 2014 Q2 (→Jing: Test Chip (DONE))
- 15:47, 10 July 2014 (diff | hist) . . (+7) . . DARPA Report 2014 Q2 (→Kunle/Kevin: Delite DSL infrastructure)
- 15:46, 10 July 2014 (diff | hist) . .
**(-795)** . . DARPA Report 2014 Q2 (→Artem/Steven: FPGA Platform and Drivers (DONE)) - 15:44, 10 July 2014 (diff | hist) . . (-40) . . DARPA Report 2014 Q2 (→Steven: Drivers maybe? (TBD))
- 15:44, 10 July 2014 (diff | hist) . . (-244) . . DARPA Report 2014 Q2 (→Artem: FPGA Platform (TBD))
- 15:38, 10 July 2014 (diff | hist) . .
**(+795)** . . DARPA Report 2014 Q2 (→Artem: FPGA Platform (TBD)) - 15:35, 10 July 2014 (diff | hist) . . (+1) . . DARPA Report 2014 Q2 (→John: Stencil Engine Generator (TBD))
- 15:35, 10 July 2014 (diff | hist) . .
**(-1,057)** . . DARPA Report 2014 Q2 (→John: Stencil Engine Generator (TBD)) - 15:35, 10 July 2014 (diff | hist) . .
**(+1,712)** . . DARPA Report 2014 Q2 (→John: Stencil Engine Generator (TBD)) - 15:25, 10 July 2014 (diff | hist) . . (-461) . . DARPA Report 2014 Q2 (→Jing: Test Chip (TBD))
- 15:25, 10 July 2014 (diff | hist) . . (-51) . . DARPA Report 2014 Q2 (→Jing: Test Chip (TBD))
- 15:21, 10 July 2014 (diff | hist) . . (+12) . . DARPA Report 2014 Q2 (→Jing: Test Chip (TBD))
- 15:20, 10 July 2014 (diff | hist) . . (+16) . . DARPA Report 2014 Q2 (→Jing: Test Chip (TBD))
- 15:19, 10 July 2014 (diff | hist) . . (+12) . . DARPA Report 2014 Q2 (→Jing: Test Chip (TBD))
- 15:19, 10 July 2014 (diff | hist) . . (+20) . . DARPA Report 2014 Q2 (→Jing: Test Chip (TBD))
- 15:15, 10 July 2014 (diff | hist) . .
**(+1,390)** . . DARPA Report 2014 Q2 (→Jing: Test Chip (TBD)) - 16:26, 2 July 2014 (diff | hist) . . (+40) . . DARPA Report 2014 Q2 (→Artem: FPGA Platform (TBD))
- 16:09, 2 July 2014 (diff | hist) . . (+9) . . DARPA Report 2014 Q2 (→Mark/Teresa: Title (TBD))
- 16:09, 2 July 2014 (diff | hist) . . (+3) . . DARPA Report 2014 Q1 (→Mark/Teresa: Title (TBD)) (current)
- 16:05, 2 July 2014 (diff | hist) . . (-96) . . DARPA Report 2014 Q1 (→Cover letters)
- 16:05, 2 July 2014 (diff | hist) . . (-96) . . DARPA Report 2014 Q2 (→Cover letters)
- 16:05, 2 July 2014 (diff | hist) . . (+28) . . DARPA Report 2014 Q2 (→Previous reports)
- 16:04, 2 July 2014 (diff | hist) . . (+7) . . DARPA Report 2014 Q2 (→Frank: Efficient Inference Algorithms for Probabilistic Programming Languages (Final))
- 16:04, 2 July 2014 (diff | hist) . . (+8) . . DARPA Report 2014 Q2 (→Kunle/Kevin Delite DSL infrastructure (final))
- 16:03, 2 July 2014 (diff | hist) . . (-1) . . DARPA Report 2014 Q2 (→Progress)
- 16:03, 2 July 2014 (diff | hist) . . (+7) . . DARPA Report 2014 Q2 (→Andrew: Generator methodology (final))
- 16:02, 2 July 2014 (diff | hist) . . (+14) . . DARPA Report 2014 Q2 (→John: Stencil Engine Generator (Final))
- 16:02, 2 July 2014 (diff | hist) . . (+7) . . DARPA Report 2014 Q2 (→Xuan: Linear Algebra Generator (final))
- 16:01, 2 July 2014 (diff | hist) . . (-101) . . DARPA Report 2014 Q2 (→Floating Point Generator)
- 15:54, 2 July 2014 (diff | hist) . . (+9) . . DARPA Report 2014 Q2 (→Short summary/overview of FPGA Platform (TBD))
- 15:54, 2 July 2014 (diff | hist) . . (+1) . . DARPA Report 2014 Q2 (→Jing: FPU-Generator Test Chip (final))
- 15:54, 2 July 2014 (diff | hist) . . (-9) . . DARPA Report 2014 Q2 (→Artem: Short summary/overview of FPGA Platform (Final))
- 15:53, 2 July 2014 (diff | hist) . . (+7) . . DARPA Report 2014 Q2 (→Orion/Darkroom, DPDA (TBD))
- 15:53, 2 July 2014 (diff | hist) . . (+17) . . DARPA Report 2014 Q2 (→CURRENT PROGRESS AND PLANNED ACTIVITIES)
- 15:51, 2 July 2014 (diff | hist) . . (-2) . . DARPA Report 2014 Q2 (→Mark/Teresa: Title (TBD))
- 15:50, 2 July 2014 (diff | hist) . .
**(+18,080)** . . N DARPA Report 2014 Q2 (Created page with "= Mark/Teresa: Title (TBD) = SEEC: Specialized Extremely Efficient Computing Date: '''May 1, 2014???''' Quarterly Report '''Jan 1, 2014 – ???, 2014''' PI Mark Horowitz, St...") - 16:47, 17 April 2014 (diff | hist) . . (+2) . . DARPA Report 2014 Q1 (→Artem: FPGA Platform (TBD))
- 16:28, 17 April 2014 (diff | hist) . . (-77) . . DARPA Report 2014 Q1 (→John: Orion, DPDA (Final))
- 16:13, 17 April 2014 (diff | hist) . . (+213) . . DARPA Report 2014 Q1 (→John: Orion, DPDA (Final))
- 16:05, 17 April 2014 (diff | hist) . . (-43) . . DARPA Report 2014 Q1 (→Artem: FPGA Platform (TBD))
- 16:04, 17 April 2014 (diff | hist) . . (+43) . . DARPA Report 2014 Q1 (→Artem: FPGA Platform (TBD))
- 16:03, 17 April 2014 (diff | hist) . .
**(-1,157)** . . DARPA Report 2014 Q1 (→Artem: FPGA Platform (TBD)) - 15:57, 17 April 2014 (diff | hist) . .
**(+862)** . . DARPA Report 2014 Q1 (→Artem: FPGA Platform (TBD)) - 15:56, 17 April 2014 (diff | hist) . . (+21) . . DARPA Report 2014 Q1 (→Artem: FPGA Platform (TBD))
- 15:47, 17 April 2014 (diff | hist) . . (+349) . . DARPA Report 2014 Q1 (→Artem: FPGA Platform (TBD))
- 15:43, 17 April 2014 (diff | hist) . . (+29) . . DARPA Report 2014 Q1 (→Xuan: FP Generator (final))
- 15:39, 17 April 2014 (diff | hist) . . (+43) . . DARPA Report 2014 Q1 (→Jing: Test Chip (final))
- 15:38, 17 April 2014 (diff | hist) . . (+103) . . DARPA Report 2014 Q1 (→Jing: Test Chip (final))
- 15:32, 17 April 2014 (diff | hist) . . (+91) . . DARPA Report 2014 Q1 (→Jing: FPU-Generator Test Chip (final))
- 15:26, 17 April 2014 (diff | hist) . . (+31) . . DARPA Report 2014 Q1 (→Xuan: Linear Algebra Generator (final))
- 15:25, 17 April 2014 (diff | hist) . . (+1) . . DARPA Report 2014 Q1 (→Floating Point Generator)
- 15:25, 17 April 2014 (diff | hist) . . (0) . . DARPA Report 2014 Q1 (→Xuan: FP Generator (final))
- 15:37, 15 April 2014 (diff | hist) . . (-7) . . DARPA Report 2014 Q1 (→HARDWARE GENERATORS (DONE))
- 15:35, 15 April 2014 (diff | hist) . . (+380) . . DARPA Report 2014 Q1 (→John: Orion, DPDA (TBD))
- 15:26, 15 April 2014 (diff | hist) . . (-10) . . DARPA Report 2014 Q1 (→John: Orion, DPDA (TBD))
- 15:24, 15 April 2014 (diff | hist) . . (0) . . DARPA Report 2014 Q1 (→Frank: Efficient Inference Algorithms for Probabilistic Programming Languages (Ready))
- 15:23, 15 April 2014 (diff | hist) . . (+2) . . DARPA Report 2014 Q1 (→Frank: Efficient Inference Algorithms for Probabilistic Programming Languages (Ready))
- 15:22, 15 April 2014 (diff | hist) . . (+20) . . DARPA Report 2014 Q1 (→Frank: Efficient Inference Algorithms for Probabilistic Programming Languages (Ready))
- 15:16, 15 April 2014 (diff | hist) . . (-1) . . DARPA Report 2014 Q1 (→Jing: Test Chip (done))
- 15:15, 15 April 2014 (diff | hist) . . (-16) . . DARPA Report 2014 Q1 (→Jing: FPU-Generator Test Chip (done))
- 15:12, 15 April 2014 (diff | hist) . . (+10) . . DARPA Report 2014 Q1 (→Andrew: Generator methodology (TBD))
- 15:04, 15 April 2014 (diff | hist) . . (+4) . . DARPA Report 2014 Q1 (→Kunle/Kevin Delite DSL infrastructure (done))
- 15:00, 15 April 2014 (diff | hist) . . (+35) . . DARPA Report 2014 Q1 (→John: Stencil Engine Generator (TBD))
- 14:57, 15 April 2014 (diff | hist) . . (+126) . . DARPA Report 2014 Q1 (→John: Stencil Engine Generator (TBD))
- 18:45, 14 April 2014 (diff | hist) . . (+2) . . DARPA Report 2014 Q1 (→Frank: Efficient Inference Algorithms for Probabilistic Programming Languages (TBD))
- 17:46, 5 April 2014 (diff | hist) . . (-11) . . DARPA Report 2014 Q1 (→Previous reports)
- 17:46, 5 April 2014 (diff | hist) . . (+12) . . DARPA Report 2014 Q1 (→Previous reports)
- 17:45, 5 April 2014 (diff | hist) . . (+36) . . DARPA Report 2014 Q1 (→Previous reports)
- 17:45, 5 April 2014 (diff | hist) . . (+21) . . DARPA Report 2014 Q1 (→Previous reports)
- 17:41, 5 April 2014 (diff | hist) . . (+58) . . DARPA Report 2014 Q1 (→Previous reports)
- 17:27, 5 April 2014 (diff | hist) . . (-32) . . DARPA Report 2014 Q1 (→Previous reports)
- 17:27, 5 April 2014 (diff | hist) . . (-8) . . DARPA Report 2014 Q1 (→Previous reports)
- 17:25, 5 April 2014 (diff | hist) . . (+2) . . DARPA Report 2014 Q1 (→Previous reports)
- 17:24, 5 April 2014 (diff | hist) . . (+52) . . DARPA Report 2014 Q1 (→TODO / Notes)
- 17:23, 5 April 2014 (diff | hist) . . (+76) . . DARPA Report 2014 Q1 (→Previous reports)
- 17:22, 5 April 2014 (diff | hist) . . (0) . . N File:DARPA HR0011-11-0007 SEEC Quarterly Technical Report Jan 2014.pdf (current)
- 16:14, 5 April 2014 (diff | hist) . . (+7) . . DARPA Report 2014 Q1 (→HARDWARE GENERATORS)
- 16:13, 5 April 2014 (diff | hist) . . (+6) . . DARPA Report 2014 Q1 (→Mark/Teresa: Title)
- 16:13, 5 April 2014 (diff | hist) . . (+18) . . DARPA Report 2014 Q1 (→CURRENT PROGRESS AND PLANNED ACTIVITIES)
- 16:13, 5 April 2014 (diff | hist) . . (0) . . DARPA Report 2014 Q1 (→FP Generator (Xuan DONE))
- 16:12, 5 April 2014 (diff | hist) . . (+6) . . DARPA Report 2014 Q1 (→Jing: Test Chip)
- 16:12, 5 April 2014 (diff | hist) . . (+6) . . DARPA Report 2014 Q1 (→Xuan: Linear Algebra Generator)
- 16:12, 5 April 2014 (diff | hist) . . (+1) . . DARPA Report 2014 Q1 (→ADMINISTRATION (Mark H.? Teresa?))
- 16:11, 5 April 2014 (diff | hist) . . (-2) . . DARPA Report 2014 Q1 (→Efficient Inference Algorithms for Probabilistic Programming Languages (Frank) (DONE))
- 16:08, 5 April 2014 (diff | hist) . . (-8) . . DARPA Report 2014 Q1 (→Delite DSL infrastructure (Kunle (and James?)) (DONE))
- 15:57, 5 April 2014 (diff | hist) . . (-2) . . DARPA Report 2014 Q1 (→Generator methodology (Andrew) (DONE))
- 15:57, 5 April 2014 (diff | hist) . . (-5) . . DARPA Report 2014 Q1 (→Stencil Engine Generator (JohnB) (DONE))
- 15:56, 5 April 2014 (diff | hist) . . (-8) . . DARPA Report 2014 Q1 (→Linear Algebra Generator (Xuan) (DONE))
- 15:56, 5 April 2014 (diff | hist) . . (-6) . . DARPA Report 2014 Q1 (→Test Chip (Jing DONE))
- 15:55, 5 April 2014 (diff | hist) . . (-47) . . DARPA Report 2014 Q1 (→CURRENT PROGRESS AND PLANNED ACTIVITIES (Mark H.?))
- 15:28, 5 April 2014 (diff | hist) . . (+20) . . DARPA Report 2014 Q1 (→Cover letters)
- 15:28, 5 April 2014 (diff | hist) . . (+10) . . DARPA Report 2014 Q1 (→TODO / Notes)
- 15:27, 5 April 2014 (diff | hist) . . (+74) . . DARPA Report 2014 Q1 (→TODO / Notes)
- 15:26, 5 April 2014 (diff | hist) . . (+27) . . DARPA Report 2014 Q1 (→TODO / Notes)
- 15:26, 5 April 2014 (diff | hist) . . (-5) . . DARPA Report 2014 Q1 (→TODO / Notes)
- 15:24, 5 April 2014 (diff | hist) . . (+3) . . DARPA Report 2014 Q1 (→Mark/Teresa: Title)
- 15:24, 5 April 2014 (diff | hist) . . (-20) . . DARPA Report 2014 Q1 (→Mark/Teresa: Title)
- 15:23, 5 April 2014 (diff | hist) . . (-5) . . DARPA Report 2014 Q1 (→Title)
- 15:22, 5 April 2014 (diff | hist) . . (+18) . . DARPA Report 2014 Q1 (→Title)
- 15:20, 5 April 2014 (diff | hist) . .
**(+13,403)** . . N DARPA Report 2014 Q1 (Created page with "= Title = SEEC: Specialized Extremely Efficient Computing Date: Feb. 1, 2014 '''[MH/TL please verify]''' Quarterly Report Oct 1, 2013 – Dec 31, 2013 PI Mark Horowitz, Stan...") - 16:12, 24 March 2014 (diff | hist) . . (+45) . . FFT Formal Proof (→DO NOT READ THIS PAPER!!!) (current)
- 16:10, 24 March 2014 (diff | hist) . . (+380) . . FFT Formal Proof (→The Problem)
- 22:08, 18 February 2014 (diff | hist) . . (+101) . . FFT Formal Proof (→Insight 1: We can ensure that each of the four memory banks m0, m1, m2 and m3 are represented in every aligned quad, in some order)
- 22:06, 18 February 2014 (diff | hist) . . (-2) . . FFT Formal Proof (→Insight 1: We can ensure that each of the four memory banks m0, m1, m2 and m3 are represented in every aligned quad, in some order)
- 22:06, 18 February 2014 (diff | hist) . . (+14) . . FFT Formal Proof (→Insight 1: We can ensure that each of the four memory banks m0, m1, m2 and m3 are represented in every quad, in some order)
- 21:59, 18 February 2014 (diff | hist) . . (-16) . . FFT Formal Proof (→Step 3?: m = P"1P"0 ?)
- 21:59, 18 February 2014 (diff | hist) . . (+159) . . FFT Formal Proof (→Extension of the proof to more than one butterfly unit (B>1))
- 21:59, 18 February 2014 (diff | hist) . . (-161) . . FFT Formal Proof (→Step 3?: m = P"1P"0 ?)
- 21:58, 18 February 2014 (diff | hist) . . (+161) . . FFT Formal Proof (→Step 2: dp' → dp")
- 21:42, 29 January 2014 (diff | hist) . . (+2) . . FFT Formal Proof (→Other Notes, Trash and Auxiliary Info)
- 21:42, 29 January 2014 (diff | hist) . . (-70) . . FFT Formal Proof (→Actual trash)
- 21:42, 29 January 2014 (diff | hist) . . (-267) . . FFT Formal Proof (→Major caveat(s), to-do and notes)
- 21:40, 29 January 2014 (diff | hist) . . (+2) . . FFT Formal Proof (→Housekeeping/TODO list)
- 21:39, 29 January 2014 (diff | hist) . . (-26) . . FFT Formal Proof (→Housekeeping/TODO list)
- 21:38, 29 January 2014 (diff | hist) . . (-313) . . FFT Formal Proof (→Housekeeping/TODO list)
- 21:37, 29 January 2014 (diff | hist) . . (+33) . . FFT Formal Proof (→Appendix: Perl program that implements the algorithm)
- 21:57, 27 January 2014 (diff | hist) . . (+20) . . FFT Formal Proof (→Example mapping for final stage s=S-1 of a transform for D=16 datapoints and two butterflies (B=2))
- 21:56, 27 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→Extension of the proof to more than one butterfly unit (B>1))
- 21:56, 27 January 2014 (diff | hist) . . (+43) . . FFT Formal Proof (→Extension of the proof to more than one butterfly unit (B>1))
- 21:53, 27 January 2014 (diff | hist) . . (-2) . . FFT Formal Proof (→Algorithm 1: One radix-2 butterfly (R==2 and B==1))
- 21:53, 27 January 2014 (diff | hist) . . (+16) . . FFT Formal Proof (→Example mapping for final stage s=S-1=3 of a transform for D=16 datapoints and one butterfly (B=1))
- 21:52, 27 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→Example mapping for final stage s=S-1 of a transform for D=16 datapoints and one butterfly (B=1))
- 21:50, 27 January 2014 (diff | hist) . . (+37) . . FFT Formal Proof (→Solving the final-stage problem of non-adjacent toggle bits)
- 21:49, 27 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Solving the final-stage problem of non-adjacent toggle bits)
- 21:49, 27 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Solving the final-stage problem of non-adjacent toggle bits)
- 21:48, 27 January 2014 (diff | hist) . . (+24) . . FFT Formal Proof (→Solving the final-stage problem of non-adjacent toggle bits)
- 21:47, 27 January 2014 (diff | hist) . . (-17) . . FFT Formal Proof (→The final-stage problem of non-adjacent toggle bits)
- 21:47, 27 January 2014 (diff | hist) . . (-7) . . FFT Formal Proof (→The final-stage problem of non-adjacent toggle bits)
- 21:46, 27 January 2014 (diff | hist) . . (+25) . . FFT Formal Proof (→The final-stage problem of non-adjacent toggle bits)
- 21:45, 27 January 2014 (diff | hist) . . (-2) . . FFT Formal Proof (→The final-stage problem of non-adjacent toggle bits)
- 21:45, 27 January 2014 (diff | hist) . . (+5) . . FFT Formal Proof (→Summary)
- 21:44, 27 January 2014 (diff | hist) . . (+9) . . FFT Formal Proof (→Summary)
- 21:44, 27 January 2014 (diff | hist) . . (-2) . . FFT Formal Proof (→To sum up)
- 17:46, 27 January 2014 (diff | hist) . .
**(-2,431)** . . FFT Formal Proof (→trash) - 17:46, 27 January 2014 (diff | hist) . .
**(+2,450)** . . FFT Formal Proof - Auxiliary Info (→Trash) (current) - 17:44, 27 January 2014 (diff | hist) . . (-1) . . FFT Formal Proof (→To sum up)
- 17:44, 27 January 2014 (diff | hist) . . (+5) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:42, 27 January 2014 (diff | hist) . . (-1) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:41, 27 January 2014 (diff | hist) . . (+317) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:37, 27 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:35, 27 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:35, 27 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:34, 27 January 2014 (diff | hist) . . (+9) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:33, 27 January 2014 (diff | hist) . . (+16) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:32, 27 January 2014 (diff | hist) . . (+31) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:30, 27 January 2014 (diff | hist) . . (+68) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:29, 27 January 2014 (diff | hist) . . (+27) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:27, 27 January 2014 (diff | hist) . . (+1) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:27, 27 January 2014 (diff | hist) . . (+8) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:26, 27 January 2014 (diff | hist) . . (-1) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:26, 27 January 2014 (diff | hist) . . (-2) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:25, 27 January 2014 (diff | hist) . . (-6) . . FFT Formal Proof (→Developing the proof for one butterfly unit (B=1))
- 17:24, 27 January 2014 (diff | hist) . . (+225) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 17:20, 27 January 2014 (diff | hist) . .
**(+1,564)** . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order) - 17:03, 27 January 2014 (diff | hist) . . (+357) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 16:56, 27 January 2014 (diff | hist) . . (+14) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 16:55, 27 January 2014 (diff | hist) . . (+6) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 16:54, 27 January 2014 (diff | hist) . . (+387) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 16:46, 27 January 2014 (diff | hist) . . (+1) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 16:45, 27 January 2014 (diff | hist) . . (+362) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 16:34, 27 January 2014 (diff | hist) . . (+156) . . FFT Formal Proof (→Insight 1: We can ensure that each of the four memory banks m0, m1, m2 and m3 are represented in every quad, in some order)
- 16:30, 27 January 2014 (diff | hist) . . (+1) . . FFT Formal Proof (→The Problem)
- 16:28, 27 January 2014 (diff | hist) . . (+3) . . FFT Formal Proof (→The Problem)
- 16:26, 27 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→The Problem)
- 16:26, 27 January 2014 (diff | hist) . . (+13) . . FFT Formal Proof (→The Problem)
- 16:25, 27 January 2014 (diff | hist) . . (+63) . . FFT Formal Proof (→The Problem)
- 22:28, 23 January 2014 (diff | hist) . . (-2) . . FFT Formal Proof (→Extension to radix R > 2, longer pipelines)
- 22:27, 23 January 2014 (diff | hist) . .
**(+1,910)** . . FFT Formal Proof - Auxiliary Info (→TODO/NEXT/CONTINUE FROM HERE ----------------------------) - 22:27, 23 January 2014 (diff | hist) . .
**(-1,912)** . . FFT Formal Proof (→Notes - bank num encoding table) - 22:26, 23 January 2014 (diff | hist) . . (+95) . . FFT Formal Proof - Auxiliary Info (→The Proof (old))
- 22:26, 23 January 2014 (diff | hist) . . (-95) . . FFT Formal Proof (→TODO/NEXT/CONTINUE FROM HERE ----------------------------)
- 22:25, 23 January 2014 (diff | hist) . . (+2) . . FFT Formal Proof (→Nomenclature (Symbols))
- 22:25, 23 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→Terminology)
- 22:24, 23 January 2014 (diff | hist) . . (+35) . . FFT Formal Proof (→Nomenclature (Symbols))
- 22:24, 23 January 2014 (diff | hist) . . (+2) . . FFT Formal Proof (→Extension to longer pipelines.)
- 22:23, 23 January 2014 (diff | hist) . . (+54) . . FFT Formal Proof (→Extension to R>2)
- 21:59, 23 January 2014 (diff | hist) . . (-2) . . FFT Formal Proof - Auxiliary Info (→Takala equation and paper)
- 21:58, 23 January 2014 (diff | hist) . . (+286) . . FFT Formal Proof - Auxiliary Info (→The Proof (old))
- 21:58, 23 January 2014 (diff | hist) . . (-286) . . FFT Formal Proof (→Tavala equation and paper)
- 21:57, 23 January 2014 (diff | hist) . .
**(+1,467)** . . FFT Formal Proof - Auxiliary Info (→The Proof (old)) - 21:56, 23 January 2014 (diff | hist) . .
**(-1,467)** . . FFT Formal Proof (→Housekeeping/Schedule (or: how/when I'm gonna be done with this)) - 21:56, 23 January 2014 (diff | hist) . . (+94) . . FFT Formal Proof (→Housekeeping/Schedule (or: how/when I'm gonna be done with this))
- 21:55, 23 January 2014 (diff | hist) . . (-95) . . FFT Formal Proof (→TODO/NEXT/CONTINUE FROM HERE ----------------------------)
- 21:55, 23 January 2014 (diff | hist) . . (+10) . . FFT Formal Proof (→Step 2: dp' → dp")
- 21:54, 23 January 2014 (diff | hist) . . (+8) . . FFT Formal Proof (→Algorithm 2: More than one radix-2 butterfly (R=2 and B>1))
- 21:53, 23 January 2014 (diff | hist) . . (+2) . . FFT Formal Proof (→Example for more than one butterfly unit (B=2))
- 21:52, 23 January 2014 (diff | hist) . . (+44) . . FFT Formal Proof (→Extension to B>1)
- 21:52, 23 January 2014 (diff | hist) . . (+8) . . FFT Formal Proof (→Algorithm 1: One radix-2 butterfly (R==2 and B==1))
- 21:51, 23 January 2014 (diff | hist) . . (+2) . . FFT Formal Proof (→Example for one butterfly unit (B=1))
- 21:51, 23 January 2014 (diff | hist) . . (+6) . . FFT Formal Proof (→Boundary condition: non-adjacent toggle bits)
- 21:50, 23 January 2014 (diff | hist) . . (+61) . . FFT Formal Proof (→Key Insights)
- 21:49, 23 January 2014 (diff | hist) . .
**(+1,145)** . . FFT Formal Proof (→Other Notes, Trash and Auxiliary Info) - 21:48, 23 January 2014 (diff | hist) . .
**(-557)** . . FFT Formal Proof (→Housekeeping/TODO list) - 21:48, 23 January 2014 (diff | hist) . .
**(-588)** . . FFT Formal Proof (→Major caveat(s), to-do and notes) - 21:46, 23 January 2014 (diff | hist) . . (+175) . . FFT Formal Proof (→Other Notes, Trash and Auxiliary Info)
- 21:45, 23 January 2014 (diff | hist) . . (-183) . . FFT Formal Proof (→Appendix: Original hand-written notes)
- 21:45, 23 January 2014 (diff | hist) . . (-114) . . FFT Formal Proof (→TODO: Nomenclature)
- 21:44, 23 January 2014 (diff | hist) . .
**(+1,468)** . . FFT Formal Proof (→Actual trash) - 21:43, 23 January 2014 (diff | hist) . .
**(-1,622)** . . FFT Formal Proof (→Housekeeping/Schedule (or: how/when I'm gonna be done with this)) - 21:42, 23 January 2014 (diff | hist) . . (-405) . . FFT Formal Proof (→dp(s,i))
- 21:42, 23 January 2014 (diff | hist) . . (-248) . . FFT Formal Proof (→Notes/TODO)
- 21:41, 23 January 2014 (diff | hist) . . (+95) . . FFT Formal Proof (→Housekeeping/Schedule (or: how/when I'm gonna be done with this))
- 21:41, 23 January 2014 (diff | hist) . . (-95) . . FFT Formal Proof (→TODO/NEXT/CONTINUE FROM HERE ----------------------------)
- 21:40, 23 January 2014 (diff | hist) . . (+17) . . FFT Formal Proof (→The Problem)
- 21:39, 23 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→The Problem)
- 21:39, 23 January 2014 (diff | hist) . . (+42) . . FFT Formal Proof (→The Problem)
- 21:38, 23 January 2014 (diff | hist) . . (+81) . . FFT Formal Proof (→The Problem)
- 21:37, 23 January 2014 (diff | hist) . . (+92) . . FFT Formal Proof (→Terminology)
- 21:36, 23 January 2014 (diff | hist) . . (+37) . . FFT Formal Proof (→Terminology)
- 21:34, 23 January 2014 (diff | hist) . .
**(+591)** . . FFT Formal Proof (→Nomenclature (Symbols)) - 21:28, 23 January 2014 (diff | hist) . . (-14) . . FFT Formal Proof (→Nomenclature (Symbols))
- 21:27, 23 January 2014 (diff | hist) . . (-2) . . FFT Formal Proof (→Nomenclature (Symbols))
- 21:27, 23 January 2014 (diff | hist) . . (+123) . . FFT Formal Proof (→Nomenclature (Symbols))
- 21:25, 23 January 2014 (diff | hist) . . (-5) . . FFT Formal Proof (→Nomenclature (Symbols))
- 21:24, 23 January 2014 (diff | hist) . . (-11) . . FFT Formal Proof (→Nomenclature (Symbols))
- 21:23, 23 January 2014 (diff | hist) . . (+22) . . FFT Formal Proof (→Nomenclature (Symbols))
- 21:22, 23 January 2014 (diff | hist) . . (-1) . . FFT Formal Proof (→Nomenclature (Symbols))
- 21:20, 23 January 2014 (diff | hist) . . (+175) . . FFT Formal Proof (→Nomenclature (Symbols))
- 21:18, 23 January 2014 (diff | hist) . . (+3) . . FFT Formal Proof (→Nomenclature (Symbols))
- 21:17, 23 January 2014 (diff | hist) . . (+22) . . FFT Formal Proof (→Nomenclature (Symbols))
- 18:10, 23 January 2014 (diff | hist) . . (-5) . . FFT Formal Proof (→Nomenclature (Symbols))
- 18:01, 23 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Nomenclature (Symbols))
- 18:00, 23 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Nomenclature (Symbols))
- 18:00, 23 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:59, 23 January 2014 (diff | hist) . . (+22) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:53, 23 January 2014 (diff | hist) . .
**(-860)** . . FFT Formal Proof (→foo) - 17:52, 23 January 2014 (diff | hist) . . (-60) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:51, 23 January 2014 (diff | hist) . . (+81) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:50, 23 January 2014 (diff | hist) . . (-244) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:48, 23 January 2014 (diff | hist) . . (+27) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:47, 23 January 2014 (diff | hist) . . (+29) . . FFT Formal Proof (→foo)
- 17:47, 23 January 2014 (diff | hist) . . (+8) . . FFT Formal Proof (→foo)
- 17:46, 23 January 2014 (diff | hist) . . (+8) . . FFT Formal Proof (→foo)
- 17:46, 23 January 2014 (diff | hist) . . (-37) . . FFT Formal Proof (→foo)
- 17:45, 23 January 2014 (diff | hist) . . (-8) . . FFT Formal Proof (→foo)
- 17:45, 23 January 2014 (diff | hist) . . (-27) . . FFT Formal Proof (→foo)
- 17:44, 23 January 2014 (diff | hist) . . (-133) . . FFT Formal Proof (→foo)
- 17:44, 23 January 2014 (diff | hist) . . (+350) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:43, 23 January 2014 (diff | hist) . . (+72) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:41, 23 January 2014 (diff | hist) . . (-13) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:38, 23 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:36, 23 January 2014 (diff | hist) . . (+15) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:36, 23 January 2014 (diff | hist) . . (+12) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:34, 23 January 2014 (diff | hist) . . (+28) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:33, 23 January 2014 (diff | hist) . . (-12) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:32, 23 January 2014 (diff | hist) . . (-14) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:30, 23 January 2014 (diff | hist) . . (+180) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:29, 23 January 2014 (diff | hist) . . (-4) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:28, 23 January 2014 (diff | hist) . . (+342) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:26, 23 January 2014 (diff | hist) . . (+348) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:17, 23 January 2014 (diff | hist) . . (+1) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:16, 23 January 2014 (diff | hist) . . (-52) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:04, 23 January 2014 (diff | hist) . .
**(+675)** . . FFT Formal Proof (→Nomenclature (Symbols)) - 16:55, 23 January 2014 (diff | hist) . . (-8) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:54, 23 January 2014 (diff | hist) . . (+316) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:51, 23 January 2014 (diff | hist) . . (+25) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:50, 23 January 2014 (diff | hist) . . (-219) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:48, 23 January 2014 (diff | hist) . .
**(+529)** . . FFT Formal Proof (→Nomenclature (Symbols)) - 16:44, 23 January 2014 (diff | hist) . . (+29) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:43, 23 January 2014 (diff | hist) . . (+28) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:40, 23 January 2014 (diff | hist) . . (+312) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:37, 23 January 2014 (diff | hist) . . (+405) . . FFT Formal Proof (→Notes/TODO)
- 16:27, 23 January 2014 (diff | hist) . . (-129) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:26, 23 January 2014 (diff | hist) . . (+16) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:25, 23 January 2014 (diff | hist) . . (+422) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:22, 23 January 2014 (diff | hist) . .
**(+618)** . . FFT Formal Proof (→Notes/TODO) - 16:21, 23 January 2014 (diff | hist) . . (+154) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:18, 23 January 2014 (diff | hist) . . (+128) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:15, 23 January 2014 (diff | hist) . . (+10) . . FFT Formal Proof (→Nomenclature (Symbols))
- 22:09, 21 January 2014 (diff | hist) . . (+58) . . FFT Formal Proof (→Housekeeping/TODO list)
- 22:08, 21 January 2014 (diff | hist) . . (-138) . . FFT Formal Proof (→Consider)
- 22:07, 21 January 2014 (diff | hist) . . (+54) . . FFT Formal Proof (→Extension to R>2)
- 22:06, 21 January 2014 (diff | hist) . . (-126) . . FFT Formal Proof (→Algorithm 2: More than one radix-2 butterfly (R=2 and B>1))
- 22:05, 21 January 2014 (diff | hist) . . (-4) . . FFT Formal Proof (→Algorithm 2: More than one radix-2 butterfly (R=2 and B>1))
- 22:04, 21 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→Algorithm 2: More than one radix-2 butterfly (R==2 and B>1))
- 22:04, 21 January 2014 (diff | hist) . . (+31) . . FFT Formal Proof (→Examples (B==2))
- 22:03, 21 January 2014 (diff | hist) . . (+15) . . FFT Formal Proof (→Extension to B>1)
- 22:02, 21 January 2014 (diff | hist) . . (-8) . . FFT Formal Proof (→Extension to B>1)
- 22:01, 21 January 2014 (diff | hist) . . (+5) . . FFT Formal Proof (→Step 2: dp' → dp")
- 22:00, 21 January 2014 (diff | hist) . . (+5) . . FFT Formal Proof (→Step 2: dp' → dp")
- 21:59, 21 January 2014 (diff | hist) . . (-125) . . FFT Formal Proof (→Algorithm 1: One radix-2 butterfly (R==2 and B==1))
- 21:59, 21 January 2014 (diff | hist) . . (+25) . . FFT Formal Proof (→Examples (B==1))
- 21:58, 21 January 2014 (diff | hist) . . (+8) . . FFT Formal Proof (→Solving the final-stage problem of non-adjacent toggle bits)
- 21:58, 21 January 2014 (diff | hist) . . (+39) . . FFT Formal Proof (→Solving the final-stage problem of non-adjacent toggle bits)
- 21:57, 21 January 2014 (diff | hist) . . (-1) . . FFT Formal Proof (→The final-stage problem of non-adjacent toggle bits)
- 21:56, 21 January 2014 (diff | hist) . . (+5) . . FFT Formal Proof (→The final-stage problem of non-adjacent toggle bits)
- 21:56, 21 January 2014 (diff | hist) . . (+24) . . FFT Formal Proof (→The final-stage problem of non-adjacent toggle bits)
- 21:55, 21 January 2014 (diff | hist) . . (-50) . . FFT Formal Proof (→The final-stage problem of non-adjacent toggle bits)
- 21:54, 21 January 2014 (diff | hist) . . (-131) . . FFT Formal Proof (→The final-stage problem of non-adjacent toggle bits)
- 21:54, 21 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:53, 21 January 2014 (diff | hist) . . (+17) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:52, 21 January 2014 (diff | hist) . . (-4) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:51, 21 January 2014 (diff | hist) . . (+5) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:51, 21 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:50, 21 January 2014 (diff | hist) . . (+72) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:49, 21 January 2014 (diff | hist) . . (+2) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:49, 21 January 2014 (diff | hist) . . (+3) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:45, 21 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:44, 21 January 2014 (diff | hist) . . (+109) . . FFT Formal Proof (→Insight 2: We can reorder the datapoints such that each quad contains exactly four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:42, 21 January 2014 (diff | hist) . . (+10) . . FFT Formal Proof (→Insight 2: We can reorder the quads such that each one contains the four memory banks m0, m1, m2 and m3 in a consistent order)
- 21:41, 21 January 2014 (diff | hist) . . (-68) . . FFT Formal Proof (→Key Insights)
- 21:37, 21 January 2014 (diff | hist) . .
**(+596)** . . FFT Formal Proof (→Key Insights: Second attempt at replacing this section.) - 21:37, 21 January 2014 (diff | hist) . .
**(+50,906)** . . FFT Formal Proof (Low-tech rollback to a couple of versions ago.) - 21:35, 21 January 2014 (diff | hist) . .
**(-51,634)** . . FFT Formal Proof (Undo revision 2165 by Steveri (talk)) - 21:32, 21 January 2014 (diff | hist) . .
**(+728)** . . FFT Formal Proof (→Key Insights) - 21:29, 21 January 2014 (diff | hist) . . (+11) . . FFT Formal Proof (→The Problem)
- 21:27, 21 January 2014 (diff | hist) . . (+18) . . FFT Formal Proof (→The Problem)
- 21:25, 21 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→Algorithm 2: More than one radix-2 butterfly (R==2 and B>1))
- 21:24, 21 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→Algorithm 1: One radix-2 butterfly (R==2 and B==1))
- 21:21, 21 January 2014 (diff | hist) . . (0) . . FFT Formal Proof
- 21:19, 21 January 2014 (diff | hist) . . (+8) . . FFT Formal Proof
- 17:18, 21 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:17, 21 January 2014 (diff | hist) . . (+21) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:16, 21 January 2014 (diff | hist) . . (+53) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:12, 21 January 2014 (diff | hist) . . (-14) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:11, 21 January 2014 (diff | hist) . . (+8) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:10, 21 January 2014 (diff | hist) . . (+4) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:09, 21 January 2014 (diff | hist) . . (+2) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:09, 21 January 2014 (diff | hist) . . (-2) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:09, 21 January 2014 (diff | hist) . . (+12) . . FFT Formal Proof (→Nomenclature (Symbols))
- 17:08, 21 January 2014 (diff | hist) . . (+204) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:51, 21 January 2014 (diff | hist) . . (-54) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:48, 21 January 2014 (diff | hist) . . (-2) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:47, 21 January 2014 (diff | hist) . . (+3) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:47, 21 January 2014 (diff | hist) . . (+161) . . FFT Formal Proof (→Nomenclature (Symbols))
- 16:38, 21 January 2014 (diff | hist) . . (-15) . . FFT Formal Proof (→The Problem)
- 16:38, 21 January 2014 (diff | hist) . . (+63) . . FFT Formal Proof (→The Problem)
- 16:35, 21 January 2014 (diff | hist) . . (+1) . . FFT Formal Proof (→Major caveat(s), to-do and notes)
- 16:35, 21 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Major caveat(s), to-do and notes)
- 16:34, 21 January 2014 (diff | hist) . . (+2) . . FFT Formal Proof (→Major caveat(s), to-do and notes)
- 16:34, 21 January 2014 (diff | hist) . . (+88) . . FFT Formal Proof (→Major caveat(s), to-do and notes)
- 16:33, 21 January 2014 (diff | hist) . . (-53) . . FFT Formal Proof (→Major caveat(s))
- 16:37, 16 January 2014 (diff | hist) . .
**(-19,339)** . . FFT Formal Proof (→Actual trash) - 16:36, 16 January 2014 (diff | hist) . .
**(+19,342)** . . FFT Formal Proof - Auxiliary Info (→Trash) - 16:34, 16 January 2014 (diff | hist) . . (+32) . . FFT Formal Proof (→trash)
- 16:34, 16 January 2014 (diff | hist) . . (+21) . . FFT Formal Proof (→trash)
- 16:33, 16 January 2014 (diff | hist) . . (0) . . FFT Formal Proof (→Trash - bank num encoding table)
- 16:33, 16 January 2014 (diff | hist) . .
**(+1,912)** . . FFT Formal Proof (→Other Notes, Trash and Auxiliary Info) - 16:33, 16 January 2014 (diff | hist) . .
**(-1,886)** . . FFT Formal Proof (→Trash) - 16:32, 16 January 2014 (diff | hist) . . (-76) . . FFT Formal Proof (→Trash)
- 16:31, 16 January 2014 (diff | hist) . . (-40) . . FFT Formal Proof (→SCRUBBED TO HERE)
- 16:30, 16 January 2014 (diff | hist) . . (+18) . . FFT Formal Proof (→trash)
- 16:30, 16 January 2014 (diff | hist) . . (-16) . . FFT Formal Proof (→another trash block)
- 16:29, 16 January 2014 (diff | hist) . .
**(-1,925)** . . FFT Formal Proof (→another trash block) - 16:29, 16 January 2014 (diff | hist) . . (-180) . . FFT Formal Proof (→another trash block)
- 16:28, 16 January 2014 (diff | hist) . . (-4) . . FFT Formal Proof (→Example)
- 16:28, 16 January 2014 (diff | hist) . . (-86) . . FFT Formal Proof (→Developing the basic equation for one radix-2 butterfly (R==2 and B==1))
- 16:27, 16 January 2014 (diff | hist) . . (-197) . . FFT Formal Proof (→The equation so far)
- 16:24, 16 January 2014 (diff | hist) . . (+134) . . FFT Formal Proof (→Notes)
- 16:22, 16 January 2014 (diff | hist) . .
**(+5,903)** . . FFT Formal Proof (→Trash) - 16:21, 16 January 2014 (diff | hist) . .
**(-5,902)** . . FFT Formal Proof (→TODO/NEXT/CONTINUE FROM HERE ----------------------------) - 16:20, 16 January 2014 (diff | hist) . . (+1) . . FFT Formal Proof (→TRASH/OLDExtension to more than one butterfly unit (B > 1).)
- 16:20, 16 January 2014 (diff | hist) . . (+84) . . FFT Formal Proof (→Extension to R>2)
- 16:19, 16 January 2014 (diff | hist) . . (-60) . . FFT Formal Proof (→The ... REST ... of the story?)
- 16:18, 16 January 2014 (diff | hist) . . (+12) . . FFT Formal Proof (→Algorithm 2: Final equation(s) for R=2 and B=1)
- 16:17, 16 January 2014 (diff | hist) . . (+95) . . FFT Formal Proof (→TRASH/OLD Boundary condition, odd number of bits)
- 16:17, 16 January 2014 (diff | hist) . . (-95) . . FFT Formal Proof (→TODO/NEXT/CONTINUE FROM HERE ----------------------------)
- 16:17, 16 January 2014 (diff | hist) . . (+14) . . FFT Formal Proof (→Boundary condition, odd number of bits)
- 16:15, 16 January 2014 (diff | hist) . .
**(+668)** . . FFT Formal Proof (→Extension to R>2) - 22:09, 14 January 2014 (diff | hist) . . (+63) . . FFT Formal Proof (→SCRUBBED TO HERE MAYBE)
- 22:08, 14 January 2014 (diff | hist) . . (-62) . . FFT Formal Proof (→TODO/NEXT/CONTINUE FROM HERE ----------------------------)
- 22:08, 14 January 2014 (diff | hist) . . (-59) . . FFT Formal Proof (→TODO: UPDATE ALGORITHM to reflect B>2 instead of B==1)
- 22:08, 14 January 2014 (diff | hist) . .
**(-555)** . . FFT Formal Proof (→Caveats) - 22:07, 14 January 2014 (diff | hist) . .
**(-555)** . . FFT Formal Proof (→Caveats) - 22:06, 14 January 2014 (diff | hist) . .
**(-1,584)** . . FFT Formal Proof (→SCRUBBED TO HERE MAYBE) - 22:06, 14 January 2014 (diff | hist) . . (-220) . . FFT Formal Proof (→SCRUBBED TO HERE MAYBE)
- 22:05, 14 January 2014 (diff | hist) . . (+227) . . FFT Formal Proof (→SCRUBBED TO HERE MAYBE)
- 22:04, 14 January 2014 (diff | hist) . . (+116) . . FFT Formal Proof (→SCRUBBED TO HERE MAYBE)
- 22:04, 14 January 2014 (diff | hist) . . (+36) . . FFT Formal Proof (→SCRUBBED TO HERE MAYBE)
- 22:01, 14 January 2014 (diff | hist) . . (+13) . . FFT Formal Proof (→SCRUBBED TO HERE MAYBE)
- 22:00, 14 January 2014 (diff | hist) . . (+5) . . FFT Formal Proof (→SCRUBBED TO HERE MAYBE)

(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)