|
|
This model has been developed to support research into planar monotone circuits. It determines whether or not an input monotone boolean function is planar computable and, if it is, allows the construction of an appropriate planar circuit. The model is described as a case study in Jaratsri Rungrattanaubol's PhD thesis as an example of open ended and exploratory interaction throughout the construction of the model. [Chris R]
| planarcomputeRun-bol2001 is available locally within DCS at /dcs/emp/empublic/projects/planarcomputeRun-bol2001 |
| Download planarcomputeRun-bol2001.tar.gz Uncompressed, planarcomputeRun-bol2001 is 129.2 Kbytes (in 22 files). Your download will be smaller as it will be compressed. Help on extracting the files from the download. |
README |
1714 | 03:32 PM May 26 2001 | 09:53 AM Apr 02 2007 |
README.xml |
1034 | 06:11 PM Jan 12 2004 | 09:53 AM Apr 02 2007 |
Run.e |
143 | 06:14 PM Jan 12 2004 | 09:53 AM Apr 02 2007 |
circuit1.d |
13512 | 12:42 AM May 22 2001 | 09:53 AM Apr 02 2007 |
finish.e |
267 | 12:42 AM May 22 2001 | 09:53 AM Apr 02 2007 |
mono.html |
2615 | 03:59 PM May 07 2002 | 09:53 AM Apr 02 2007 |
monoauto.e |
2171 | 12:42 AM May 22 2001 | 09:53 AM Apr 02 2007 |
monotone1.d |
9170 | 09:09 PM Mar 27 2002 | 09:53 AM Apr 02 2007 |
monotone1.e |
10621 | 11:00 AM May 28 2001 | 09:53 AM Apr 02 2007 |
monotone1.s |
4003 | 10:52 AM May 28 2001 | 09:53 AM Apr 02 2007 |
newlabel.d |
4064 | 12:42 AM May 22 2001 | 09:53 AM Apr 02 2007 |
resetcircuit.e |
836 | 12:42 AM May 22 2001 | 09:53 AM Apr 02 2007 |
run |
44 | 12:42 AM May 22 2001 | 09:53 AM Apr 02 2007 |
screenshot.gif |
13085 | 06:06 PM Jan 12 2004 | 09:53 AM Apr 02 2007 |
trace.txt |
270 | 03:59 PM May 07 2002 | 09:53 AM Apr 02 2007 |
Docs/ |
4096 | 06:12 PM Jan 12 2004 | 09:58 AM Apr 02 2007 |
empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.
